Search Results - Mathematical logic and foundations Set theory Determinacy principles. msc

Determinacy of Wadge classes and subsystems of second order arithmetic.

Authors: Nemoto, Takako

Source: Mathematical Logic Quarterly; Feb2009, Vol. 55 Issue 2, p154-176, 23p

Subject Terms: POLISH spaces (Mathematics), METRIC spaces, SET theory, MATHEMATICAL logic, MATHEMATICS

The stationary set splitting game.

Authors: Larson, Paul B. Shelah, Saharon

Source: Mathematical Logic Quarterly; Apr2008, Vol. 54 Issue 2, p187-193, 7p

Subject Terms: MARTIN'S axiom, AXIOMATIC set theory, ORDINAL numbers, MAXIMA & minima, MATHEMATICAL logic

ABOUT SOME FIXED POINT AXIOMS AND RELATED PRINCIPLES IN KRIPKE–PLATEK ENVIRONMENTS.

Authors: JÄGER, GERHARD STEILA, SILVIA

Source: Journal of Symbolic Logic; Jun2018, Vol. 83 Issue 2, p642-668, 27p

Subject Terms: FIXED point theory, AXIOMS, KRIPKE semantics, MONOTONE operators, ITERATIVE methods (Mathematics), INJECTIVE functions

Foundations of Software Science and Computation Structures

Authors: Jean Goubault-Larrecq Barbara König

Resource Type: eBook.

Subjects: Software engineering--Congresses, Computer software--Congresses

Categories: MATHEMATICS / Logic, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Programming / General, COMPUTERS / Hardware / General, MATHEMATICS / Discrete Mathematics

Projective Measure Without Projective Baire

Authors: Sy David Friedman David Schrittesser

Resource Type: eBook.

Subjects: Measure theory, Baire spaces, Set theory, Geometry, Projective, Mathematical logic and foundations--Set theory -

Categories: MATHEMATICS / Measurement

Feferman on Foundations

Authors: Gerhard Jäger Wilfried Sieg

Resource Type: eBook.

Subjects: Logic, Symbolic and mathematical

Categories: MATHEMATICS / Logic, COMPUTERS / Computer Science, PHILOSOPHY / Logic

Foundations of Software Science and Computation Structures : 21st International Conference, FOSSACS 2018, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings

Authors: Christel Baier Ugo Dal Lago

Resource Type: eBook.

Subjects: Computer software--Congresses, Software engineering--Congresses

Categories: COMPUTERS / Computer Science, BUSINESS & ECONOMICS / Careers / General, COMPUTERS / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Architecture, COMPUTERS / Software Development & Engineering / General, MATHEMATICS / Discrete Mathematics

The Necessary Maximality Principle for c. c. c. forcing is equiconsistent with a weakly compact cardinal.

Authors: Hamkins, Joel D. Woodin, W. Hugh

Source: Mathematical Logic Quarterly; Sep2005, Vol. 51 Issue 5, p493-498, 6p

Subject Terms: CARDINAL numbers, TRANSFINITE numbers, AXIOMATIC set theory, AXIOMS, SET theory, MATHEMATICS

OPTIMIZING AGRICULTURAL DECISION-MAKING WITH INTEGRATED MCDM-MCDA METHODS: A CASE STUDY ON CROP ECONOMICS.

Authors: SAQLAIN, Muhammad KUMAM, Poom KUMAM, Wiyada

Source: Yugoslav Journal of Operations Research; 2025, Vol. 35 Issue 4, p857-874, 18p

Subject Terms: MULTIPLE criteria decision making, AGRICULTURAL economics, MACHINE learning, INVESTMENT risk, FARM management, SUSTAINABILITY, FUZZY sets

Logic Without Borders : Essays on Set Theory, Model Theory, Philosophical Logic and Philosophy of Mathematics

Authors: Åsa Hirvonen Juha Kontinen Roman Kossak et al.

Resource Type: eBook.

Subjects: Set theory, Logic, Symbolic and mathematical, Model theory, Mathematics--Philosophy

Categories: PHILOSOPHY / Logic, MATHEMATICS / Logic, PHILOSOPHY / General, PHILOSOPHY / Epistemology

Categoricity by convention.

Authors: Murzi, Julien Topey, Brett

Source: Philosophical Studies; Oct2021, Vol. 178 Issue 10, p3391-3420, 30p

Subject Terms: MODEL theory, MATHEMATICAL category theory, QUANTIFIERS (Linguistics), THEORY of knowledge, EPISTEMICS

2021 NORTH AMERICAN ANNUAL MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC.

Source: Bulletin of Symbolic Logic; Sep2021, Vol. 27 Issue 3, p298-330, 33p

The Computer-Aided Rough Patterns of Christopher Alexander.

Authors: Cristobal Olave, Diana

Source: Nexus Network Journal: Architecture & Mathematics; Mar2021, Vol. 23 Issue 1, p113-128, 16p

Subject Terms: ARCHITECTURAL practice, CHARTS, diagrams, etc.

2018 NORTH AMERICAN ANNUAL MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC Western Illinois University, Macomb, IL, USA May 16–19, 2018.

Source: Bulletin of Symbolic Logic; Dec2018, Vol. 24 Issue 4, p493-525, 33p

Scenario-based verification of real-time systems using Uppaal.

Authors: Li, Shuhao Balaguer, Sandie David, Alexandre et al.

Source: Formal Methods in System Design; Dec2010, Vol. 37 Issue 2/3, p200-264, 65p

Subject Terms: MACHINE theory, UNITS of time, CONFIRMATION (Logic), METHODOLOGY, SYNCHRONIZATION, MATHEMATICAL invariants, ITERATIVE methods (Mathematics), PRODUCT attributes, SEMANTICS

Cybernetic Epistemology.

Authors: Lindholm, Juho

Source: Acta Baltica Historiae et Philosophiae Scientiarum; Spring2023, Vol. 11 Issue 1, p3-51, 49p

Subject Terms: CYBERNETICS, THEORY of knowledge, KNOWLEDGE representation (Information theory), PRAGMATISM, ONTOLOGY

People: DEWEY, John, 1859-1952, PEIRCE, Charles S. (Charles Sanders), 1839-1914

2015 NORTH AMERICAN ANNUAL MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC University of Illinois at Urbana-Champaign Urbana, IL, USA March 25–28, 2015.

Source: Bulletin of Symbolic Logic; Sep2015, Vol. 21 Issue 3, p344-365, 22p

Subject Terms: MEETINGS

Company/Entity: ASSOCIATION for Symbolic Logic

People: BECKER, Veronica, CUMMINGS, James, IMMERMAN, Neil

More on regular and decomposable ultrafilters in ZFC.

Authors: Lipparini, Paolo

Source: Mathematical Logic Quarterly; Aug2010, Vol. 56 Issue 4, p340-374, 35p

Subject Terms: ULTRAFILTERS (Mathematics), MATHEMATICAL analysis, TOPOLOGICAL spaces, MODEL theory, ALGEBRAIC functions

Souslin quasi-orders and bi-embeddability of uncountable structures.

Authors: Andretta, Alessandro Ros, Luca Motto

Source: Memoirs of the American Mathematical Society; 5/30/2022, Vol. 277 Issue 1365, p1-204, 204p

Questions as information types.

Authors: Ciardelli, Ivano

Source: Synthese; Jan2018, Vol. 195 Issue 1, p321-365, 45p

Subject Terms: DEPENDENCY (Psychology), LOGIC, SEMANTICS, SURFACE of the earth, MECHANICS (Physics)