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

INDEFINITENESS IN SEMI-INTUITIONISTIC SET THEORIES: ON A CONJECTURE OF FEFERMAN.

Authors: RATHJEN, MICHAEL

Source: Journal of Symbolic Logic; Jun2016, Vol. 81 Issue 2, p742-754, 13p

Subject Terms: SET theory, MATHEMATICS, AGGREGATED data, MATHEMATICAL logic, ABSTRACT algebra

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

HYPERATL: A LOGIC FOR HYPERPROPERTIES IN MULTI-AGENT SYSTEMS.

Authors: BEUTNER, RAVEN FINKBEINER, BERND

Source: Logical Methods in Computer Science (LMCS); 2023, Vol. 19 Issue 2, p1-44, 44p

Subject Terms: MULTIAGENT systems, LOGIC

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.

Advances in Mathematical Logic

Authors: Toshiyasu Arai Makoto Kikuchi Satoru Kuroda et al.

Resource Type: eBook.

Subjects: Mathematical logic, Computer arithmetic and logic units, Computer science—Mathematics, Logic, Mathematics—Philosophy

Categories: MATHEMATICS / Logic, COMPUTERS / Computer Science, COMPUTERS / Logic Design, MATHEMATICS / Applied, MATHEMATICS / History & Philosophy, PHILOSOPHY / Logic

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

Performative reference.

Authors: Assadian, Bahram Sbardolini, Giorgio

Source: Synthese; Aug2023, Vol. 202 Issue 2, p1-18, 18p