Material to categorize
- The Σ1-Definable Universal Finite Sequence.Joel David Hamkins & Kameryn J. Williams - 2022 - Journal of Symbolic Logic 87 (2):783-801.details
- Infinite Strings and Their Large Scale Properties.Bakh Khoussainov & Toru Takisaka - 2022 - Journal of Symbolic Logic 87 (2):585-625.details
- Identity Crisis Between Supercompactness and Vǒpenka’s Principle.Yair Hayut, Menachem Magidor & Alejandro Poveda - 2022 - Journal of Symbolic Logic 87 (2):626-648.details
- Algunos tópicos de Lógica matemática y los Fundamentos de la matemática.Franklin Galindo - manuscriptdetails
- Un teorema sobre el Modelo de Solovay.Franklin Galindo - 2020 - Divulgaciones Matematicas 21 (1-2): 42–46.details
- Tópicos de Ultrafiltros.Franklin Galindo - 2020 - Divulgaciones Matematicas 21 (1-2):54-77.details
- Dos Tópicos de Lógica Matemática y sus Fundamentos.Franklin Galindo - 2014 - Episteme NS: Revista Del Instituto de Filosofía de la Universidad Central de Venezuela 34 (1):41-66..details
- El Teorema de Completitud de Gödel, el Teorema del Colapso Transitivo de Mostowski y el Principio de Reflexión.Franklin Galindo - manuscriptdetails
- El Método de Forcing: Algunas aplicaciones y una aproximación a sus fundamentos metamatemáticos.Franklin Galindo - manuscriptdetails
- Algunas notas introductorias sobre la Teoría de Conjuntos.Franklin Galindo - 2019 - Apuntes Filosóficos: Revista Semestral de la Escuela de Filosofía 18 (55):201-232.details
- Fermat’s Last Theorem Proved in Hilbert Arithmetic. II. Its Proof in Hilbert Arithmetic by the Kochen-Specker Theorem with or Without Induction.Vasil Penchev - 2022 - Logic and Philosophy of Mathematics eJournal (Elsevier: SSRN) 14 (10):1-52.details
- On Categoricity in Successive Cardinals.Sebastien Vasey - 2020 - Journal of Symbolic Logic:1-19.details
- Closure Properties of Measurable Ultrapowers.Philipp Lücke & Sandra Müller - 2021 - Journal of Symbolic Logic 86 (2):762-784.details
- Tukey Order Among Ideals.Jialiang He, Michael Hrušák, Diego Rojas-Rebolledo & Sławomir Solecki - 2021 - Journal of Symbolic Logic 86 (2):855-870.details
- The Order of Reflection.Juan P. Aguilera - 2021 - Journal of Symbolic Logic 86 (4):1555-1583.details
- Bi-Interpretation in Weak Set Theories.Alfredo Roque Freire & Joel David Hamkins - 2021 - Journal of Symbolic Logic 86 (2):609-634.details
- Pseudo-Finite Sets, Pseudo-o-Minimality.Nadav Meir - 2021 - Journal of Symbolic Logic 86 (2):577-599.details
- Generic Coding with Help and Amalgamation Failure.Sy-David Friedman & Dan Hathaway - 2021 - Journal of Symbolic Logic 86 (4):1385-1395.details
- Relationships Between Computability-Theoretic Properties of Problems.Rod Downey, Noam Greenberg, Matthew Harrison-Trainor, Ludovic Patey & Dan Turetsky - 2022 - Journal of Symbolic Logic 87 (1):47-71.details
- Intrinsic Smallness.Justin Miller - 2021 - Journal of Symbolic Logic 86 (2):558-576.details
- Mitchell-Inspired Forcing, with Small Working Parts and Collections of Models of Uniform Size as Side Conditions, and Gap-One Simplified Morasses.Charles Morgan - 2022 - Journal of Symbolic Logic 87 (1):392-415.details
- Stably Measurable Cardinals.Philip D. Welch - 2021 - Journal of Symbolic Logic 86 (2):448-470.details
- Le Pascal de Léon Brunschvicg.Maria Vita Romeo - 2021 - Revue de Métaphysique et de Morale 3:321-336.details
- Level Theory, Part 1: Axiomatizing the Bare Idea of a Cumulative Hierarchy of Sets.Tim Button - 2021 - Bulletin of Symbolic Logic 27 (4):436-460.details
- Level Theory, Part 2: Axiomatizing the Bare Idea of a Potential Hierarchy.Tim Button - 2021 - Bulletin of Symbolic Logic 27 (4):461-484.details
- Most-Intersection of Countable Sets.Ahmet Çevik & Selçuk Topal - 2021 - Journal of Applied Non-Classical Logics 31 (3-4):343-354.details
- What the Tortoise Said to Achilles: Lewis Carroll’s Paradox in Terms of Hilbert Arithmetic.Vasil Penchev - 2021 - Logic and Philosophy of Mathematics eJournal (Elsevier: SSRN) 13 (22):1-32.details
- Reflection Principles and Second-Order Choice Principles with Urelements.Bokai Yao - 2022 - Annals of Pure and Applied Logic 173 (4):103073.details
- Reinterpreting the Universe-Multiverse Debate in Light of Inter-Model Inconsistency in Set Theory.Daniel Kuby - manuscriptdetails
- Reinhardt Cardinals and Iterates of V.Farmer Schlutzenberg - 2022 - Annals of Pure and Applied Logic 173 (2):103056.details
- The Isomorphism Relation of Theories with S-DOP in the Generalised Baire Spaces.Miguel Moreno - 2022 - Annals of Pure and Applied Logic 173 (2):103044.details
- Canonical Fragments of the Strong Reflection Principle.Gunter Fuchs - 2021 - Journal of Mathematical Logic 21 (3):2150023.details
- Controlling Cardinal Characteristics Without Adding Reals.Martin Goldstern, Jakob Kellner, Diego A. Mejía & Saharon Shelah - 2020 - Journal of Mathematical Logic 21 (3).details
- An Unpublished Theorem of Solovay on OD Partitions of Reals Into Two Non-OD Parts, Revisited.Ali Enayat & Vladimir Kanovei - 2020 - Journal of Mathematical Logic 21 (3):2150014.details
- The Weakness of the Pigeonhole Principle Under Hyperarithmetical Reductions.Benoit Monin & Ludovic Patey - 2020 - Journal of Mathematical Logic 21 (3):2150013.details
- Logic of Convex Order.Chenwei Shi & Yang Sun - 2021 - Studia Logica 109 (5):1019-1047.details
- Higher Dimensional Cardinal Characteristics for Sets of Functions.Corey Bacal Switzer - 2022 - Annals of Pure and Applied Logic 173 (1):103031.details
- Against ‘Interpretation’: Quantum Mechanics Beyond Syntax and Semantics.Raoni Wohnrath Arroyo & Gilson Olegario da Silva - forthcoming - Axiomathes:1-37.details
- A Philosophical Argument for the Beginning of Time.Laureano Luna & Jacobus Erasmus - 2020 - Prolegomena 19 (2):161-176.details
- Elusive Propositions.Gabriel Uzquiano - 2021 - Journal of Philosophical Logic 50 (4):705-725.details
- Thicket Density.Siddharth Bhaskar - 2021 - Journal of Symbolic Logic 86 (1):110-127.details
- Separating Diagonal Stationary Reflection Principles.Gunter Fuchs & Chris Lambie-Hanson - 2021 - Journal of Symbolic Logic 86 (1):262-292.details
- Recurrence and the Existence of Invariant Measures.Manuel J. Inselmann & Benjamin D. Miller - 2021 - Journal of Symbolic Logic 86 (1):60-76.details
- The Open and Clopen Ramsey Theorems in the Weihrauch Lattice.Alberto Marcone & Manlio Valenti - 2021 - Journal of Symbolic Logic 86 (1):316-351.details
- Modal Objectivity1.Clarke-Doane Justin - 2019 - Noûs:266-295.details
- A Characterization of Σ11-Reflecting Ordinals.J. P. Aguilera - 2021 - Annals of Pure and Applied Logic 172 (10):103009.details
- A Descriptive Main Gap Theorem.Francesco Mangraviti & Luca Motto Ros - 2020 - Journal of Mathematical Logic 21 (1).details
- On Negation for Non-classical Set Theories.S. Jockwich Martinez & G. Venturi - 2021 - Journal of Philosophical Logic 50 (3):549-570.details
- Criteria for Exact Saturation and Singular Compactness.Itay Kaplan, Nicholas Ramsey & Saharon Shelah - 2021 - Annals of Pure and Applied Logic 172 (9):102992.details
- Interview With a Set Theorist.Deborah Kant & Mirna Džamonja - 2019 - In Stefania Centrone, Deborah Kant & Deniz Sarikaya (eds.), Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts. Springer Verlag. pp. 3-26.details
|
Off-campus access
Using PhilPapers from home?
Create an account to enable off-campus access through your institution's proxy server.
Monitor this page
Be alerted of all new items appearing on this page. Choose how you want to monitor it:
Email
|
RSS feed
|
|