Výsledky vyhledávání - Mathematical logic and foundations Set theory Determinacy principles. msc*

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

Autoři: RATHJEN, MICHAEL

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

Témata: SET theory, MATHEMATICS, AGGREGATED data, MATHEMATICAL logic, ABSTRACT algebra

Determinacy of Wadge classes and subsystems of second order arithmetic.

Autoři: Nemoto, Takako

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

Témata: POLISH spaces (Mathematics), METRIC spaces, SET theory, MATHEMATICAL logic, MATHEMATICS

The stationary set splitting game.

Autoři: Larson, Paul B. Shelah, Saharon

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

Témata: MARTIN'S axiom, AXIOMATIC set theory, ORDINAL numbers, MAXIMA & minima, MATHEMATICAL logic

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

Autoři: JÄGER, GERHARD STEILA, SILVIA

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

Témata: FIXED point theory, AXIOMS, KRIPKE semantics, MONOTONE operators, ITERATIVE methods (Mathematics), INJECTIVE functions

Foundations of Software Science and Computation Structures

Autoři: Jean Goubault-Larrecq Barbara König

Resource Type: eBook.

Témata: 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

Autoři: Sy David Friedman David Schrittesser

Resource Type: eBook.

Témata: Measure theory, Baire spaces, Set theory, Geometry, Projective, Mathematical logic and foundations--Set theory -

Categories: MATHEMATICS / Measurement

Feferman on Foundations

Autoři: Gerhard Jäger Wilfried Sieg

Resource Type: eBook.

Témata: 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

Autoři: Christel Baier Ugo Dal Lago

Resource Type: eBook.

Témata: 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.

Autoři: Hamkins, Joel D. Woodin, W. Hugh

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

Témata: 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.

Autoři: SAQLAIN, Muhammad KUMAM, Poom KUMAM, Wiyada

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

Témata: 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

Autoři: Åsa Hirvonen Juha Kontinen Roman Kossak a další

Resource Type: eBook.

Témata: Set theory, Logic, Symbolic and mathematical, Model theory, Mathematics--Philosophy

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

Categoricity by convention.

Autoři: Murzi, Julien Topey, Brett

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

Témata: MODEL theory, MATHEMATICAL category theory, QUANTIFIERS (Linguistics), THEORY of knowledge, EPISTEMICS

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

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

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

Autoři: BEUTNER, RAVEN FINKBEINER, BERND

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

Témata: MULTIAGENT systems, LOGIC

The Computer-Aided Rough Patterns of Christopher Alexander.

Autoři: Cristobal Olave, Diana

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

Témata: ARCHITECTURAL practice, CHARTS, diagrams, etc.

Advances in Mathematical Logic

Autoři: Toshiyasu Arai Makoto Kikuchi Satoru Kuroda a další

Resource Type: eBook.

Témata: 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.

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

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

Autoři: Li, Shuhao Balaguer, Sandie David, Alexandre a další

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

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

Cybernetic Epistemology.

Autoři: Lindholm, Juho

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

Témata: CYBERNETICS, THEORY of knowledge, KNOWLEDGE representation (Information theory), PRAGMATISM, ONTOLOGY

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

Performative reference.

Autoři: Assadian, Bahram Sbardolini, Giorgio

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