- Substandard models of finite set theory.Laurence Kirby - 2010 - Mathematical Logic Quarterly 56 (6):631-642.details
|
|
The Formal Layer of {Brain and Mind} and Emerging Consciousness in Physical Systems.Jerzy Król & Andrew Schumann - forthcoming - Foundations of Science:1-30.details
|
|
Ontological Purity for Formal Proofs.Robin Martinot - 2024 - Review of Symbolic Logic 17 (2):395-434.details
|
|
Symmetric relations, symmetric theories, and Pythagrapheanism.Tim Button - 2022 - Philosophy and Phenomenological Research (3):583-612.details
|
|
Gaps, gluts, and theoretical equivalence.Carlo Nicolai - 2022 - Synthese 200 (5):1-22.details
|
|
Initial self-embeddings of models of set theory.Ali Enayat & Zachiri Mckenzie - 2021 - Journal of Symbolic Logic 86 (4):1584-1611.details
|
|
Szemerédi’s theorem: An exploration of impurity, explanation, and content.Patrick J. Ryan - 2023 - Review of Symbolic Logic 16 (3):700-739.details
|
|
Gaps, Gluts, and Theoretical Equivalence.Carlo Nicolai - manuscriptdetails
|
|
Level Theory, Part 3: A Boolean Algebra of Sets Arranged in Well-Ordered Levels.Tim Button - 2022 - Bulletin of Symbolic Logic 28 (1):1-26.details
|
|
On Logical and Scientific Strength.Luca Incurvati & Carlo Nicolai - forthcoming - Erkenntnis.details
|
|
On Morita equivalence and interpretability.Paul Anh Mceldowney - 2020 - Review of Symbolic Logic 13 (2):388-415.details
|
|
Incompleteness Via Paradox and Completeness.Walter Dean - 2020 - Review of Symbolic Logic 13 (3):541-592.details
|
|
Fragments of Kripke–Platek set theory and the metamathematics of $$\alpha $$ α -recursion theory.Sy-David Friedman, Wei Li & Tin Lok Wong - 2016 - Archive for Mathematical Logic 55 (7-8):899-924.details
|
|
Equivalences for Truth Predicates.Carlo Nicolai - 2017 - Review of Symbolic Logic 10 (2):322-356.details
|
|
On the Concept of Finitism.Luca Incurvati - 2015 - Synthese 192 (8):2413-2436.details
|
|
The strength of extensionality II—weak weak set theories without infinity.Kentaro Sato - 2011 - Annals of Pure and Applied Logic 162 (8):579-646.details
|
|
Amphi-ZF : axioms for Conway games.Michael Cox & Richard Kaye - 2012 - Archive for Mathematical Logic 51 (3-4):353-371.details
|
|
Finitary Set Theory.Laurence Kirby - 2009 - Notre Dame Journal of Formal Logic 50 (3):227-244.details
|
|
On interpretations of bounded arithmetic and bounded set theory.Richard Pettigrew - 2009 - Notre Dame Journal of Formal Logic 50 (2):141-152.details
|
|
Every countable model of set theory embeds into its own constructible universe.Joel David Hamkins - 2013 - Journal of Mathematical Logic 13 (2):1350006.details
|
|
Bounded finite set theory.Laurence Kirby - 2021 - Mathematical Logic Quarterly 67 (2):149-163.details
|
|
Constructive Ackermann's interpretation.Hanul Jeon - 2022 - Annals of Pure and Applied Logic 173 (5):103086.details
|
|
Bases for Structures and Theories I.Jeffrey Ketland - 2020 - Logica Universalis 14 (3):357-381.details
|
|
Does Choice Really Imply Excluded Middle? Part II: Historical, Philosophical, and Foundational Reflections on the Goodman–Myhill Result†.Neil Tennant - 2021 - Philosophia Mathematica 29 (1):28-63.details
|
|
Indivisible sets and well‐founded orientations of the Rado graph.Nathanael L. Ackerman & Will Brian - 2019 - Mathematical Logic Quarterly 65 (1):46-56.details
|
|
On positive local combinatorial dividing-lines in model theory.Vincent Guingona & Cameron Donnay Hill - 2019 - Archive for Mathematical Logic 58 (3-4):289-323.details
|
|
Truth in generic cuts.Richard Kaye & Tin Lok Wong - 2010 - Annals of Pure and Applied Logic 161 (8):987-1005.details
|
|
Rudimentary and arithmetical constructive set theory.Peter Aczel - 2013 - Annals of Pure and Applied Logic 164 (4):396-415.details
|
|