- Mad families, forcing and the Suslin Hypothesis.Miloš S. Kurilić - 2005 - Archive for Mathematical Logic 44 (4):499-512.details
|
|
Different similarities.Miloš S. Kurilić - 2015 - Archive for Mathematical Logic 54 (7-8):839-859.details
|
|
Radin forcing and its iterations.John Krueger - 2007 - Archive for Mathematical Logic 46 (3-4):223-252.details
|
|
Fat sets and saturated ideals.John Krueger - 2003 - Journal of Symbolic Logic 68 (3):837-845.details
|
|
Random World and Quantum Mechanics.Jerzy Król, Krzysztof Bielas & Torsten Asselmeyer-Maluga - 2023 - Foundations of Science 28 (2):575-625.details
|
|
Quantum Mechanics, Formalization and the Cosmological Constant Problem.Jerzy Król & Torsten Asselmeyer-Maluga - 2020 - Foundations of Science 25 (4):879-904.details
|
|
A Model for Spacetime II. The Emergence of Higher Dimensions and Field Theory/Strings Dualities.Jerzy Król - 2006 - Foundations of Physics 36 (12):1778-1800.details
|
|
Typed lambda-calculus in classical Zermelo-Frænkel set theory.Jean-Louis Krivine - 2001 - Archive for Mathematical Logic 40 (3):189-205.details
|
|
Identity, indiscernibility, and philosophical claims.Décio Krause & Antonio Mariano Nogueira Coelho - 2005 - Axiomathes 15 (2):191-210.details
|
|
On constructions with 2-cardinals.Piotr Koszmider - 2017 - Archive for Mathematical Logic 56 (7-8):849-876.details
|
|
What Are Structural Properties?†.Johannes Korbmacher & Georg Schiemer - 2018 - Philosophia Mathematica 26 (3):295-323.details
|
|
Axiomatic Theories of Partial Ground II: Partial Ground and Hierarchies of Typed Truth.Johannes Korbmacher - 2018 - Journal of Philosophical Logic 47 (2):193-226.details
|
|
The category of inner models.Peter Koepke - 2002 - Synthese 133 (1-2):275 - 303.details
|
|
A minimal Prikry-type forcing for singularizing a measurable cardinal.Peter Koepke, Karen Räsch & Philipp Schlicht - 2013 - Journal of Symbolic Logic 78 (1):85-100.details
|
|
Kurepa trees and Namba forcing.Bernhard König & Yasuo Yoshinobu - 2012 - Journal of Symbolic Logic 77 (4):1281-1290.details
|
|
Regular embeddings of the stationary tower and Woodin's Σ 2 2 maximality theorem.Richard Ketchersid, Paul B. Larson & Jindřich Zapletal - 2010 - Journal of Symbolic Logic 75 (2):711-727.details
|
|
(1 other version)Semistationary reection and weak square.Hiroshi Sakai - 2008 - Journal of Symbolic Logic 73 (1):181-192.details
|
|
The Bristol model: An abyss called a Cohen real.Asaf Karagila - 2018 - Journal of Mathematical Logic 18 (2):1850008.details
|
|
Ulm Classification of Analytic Equivalence Relations in Generic Universes.Vladimir Kanovei - 1998 - Mathematical Logic Quarterly 44 (3):287-303.details
|
|
The mathematical development of set theory from Cantor to Cohen.Akihiro Kanamori - 1996 - Bulletin of Symbolic Logic 2 (1):1-71.details
|
|
Counterexamples to countable-section Π 2 1 uniformization and Π 3 1 separation.Vladimir Kanovei & Vassily Lyubetsky - 2016 - Annals of Pure and Applied Logic 167 (3):262-283.details
|
|
A definable E 0 class containing no definable elements.Vladimir Kanovei & Vassily Lyubetsky - 2015 - Archive for Mathematical Logic 54 (5-6):711-723.details
|
|
(1 other version)Algebraic Structures of Mathematical Foundations.Robert Murray Jones - 2018 - Open Journal of Philosophy 8 (4):401-407.details
|
|
Stacking mice.Ronald Jensen, Ernest Schimmerling, Ralf Schindler & John Steel - 2009 - Journal of Symbolic Logic 74 (1):315-335.details
|
|
Full reflection at a measurable cardinal.Thomas Jech & Jiří Witzany - 1994 - Journal of Symbolic Logic 59 (2):615-630.details
|
|
On completely nonmeasurable unions.Szymon Żeberski - 2007 - Mathematical Logic Quarterly 53 (1):38-42.details
|
|
The class of neat reducts is not Boolean closed.Tarek Sayed Ahmed - 2008 - Bulletin of the Section of Logic 37 (1):51-61.details
|
|
Expressiveness and definability in circumscription.Francicleber Martins Ferreira & Ana Teresa Martins - 2011 - Manuscrito 34 (1):233-266.details
|
|
Cardinal characteristics, projective wellorders and large continuum.Vera Fischer, Sy David Friedman & Lyubomyr Zdomskyy - 2013 - Annals of Pure and Applied Logic 164 (7-8):763-770.details
|
|
Forcing with quotients.Michael Hrušák & Jindřich Zapletal - 2008 - Archive for Mathematical Logic 47 (7-8):719-739.details
|
|
Von Rimscha's Transitivity Conditions.Paul Howard, Jean E. Rubin & Adrienne Stanley - 2000 - Mathematical Logic Quarterly 46 (4):549-554.details
|
|
The Boolean Prime Ideal Theorem Plus Countable Choice Do Not Imply Dependent Choice.Paul Howard & Jean E. Rubin - 1996 - Mathematical Logic Quarterly 42 (1):410-420.details
|
|
Localizing the axioms.Athanassios Tzouvaras - 2010 - Archive for Mathematical Logic 49 (5):571-601.details
|
|
Representation of Functions and Total Antisymmetric Relations in Monadic Third Order Logic.M. Randall Holmes - 2019 - Journal of Philosophical Logic 48 (2):263-278.details
|
|
Making all cardinals almost Ramsey.Arthur W. Apter & Peter Koepke - 2008 - Archive for Mathematical Logic 47 (7-8):769-783.details
|
|
Restricted versions of the Tukey-Teichmüller theorem that are equivalent to the Boolean prime ideal theorem.R. E. Hodel - 2005 - Archive for Mathematical Logic 44 (4):459-472.details
|
|
Exclusion Principles as Restricted Permutation Symmetries.S. Tarzi - 2003 - Foundations of Physics 33 (6):955-979.details
|
|
Glimm-Effros for coanalytic equivalence relations.Greg Hjorth - 2009 - Journal of Symbolic Logic 74 (2):402-422.details
|
|
Indestructible strong compactness but not supercompactness.Arthur W. Apter, Moti Gitik & Grigor Sargsyan - 2012 - Annals of Pure and Applied Logic 163 (9):1237-1242.details
|
|
C(n)-cardinals.Joan Bagaria - 2012 - Archive for Mathematical Logic 51 (3-4):213-240.details
|
|
Ramsey-like cardinals.Victoria Gitman - 2011 - Journal of Symbolic Logic 76 (2):519 - 540.details
|
|
Direct Proofs of Lindenbaum Conditionals.René Gazzari - 2014 - Logica Universalis 8 (3-4):321-343.details
|
|
Does category theory provide a framework for mathematical structuralism?Geoffrey Hellman - 2003 - Philosophia Mathematica 11 (2):129-157.details
|
|
A taste of set theory for philosophers.Jouko Väänänen - 2011 - Journal of the Indian Council of Philosophical Research (2):143-163.details
|
|
Antichains of perfect and splitting trees.Paul Hein & Otmar Spinas - 2020 - Archive for Mathematical Logic 59 (3-4):367-388.details
|
|
Consecutive Singular Cardinals and the Continuum Function.Arthur W. Apter & Brent Cody - 2013 - Notre Dame Journal of Formal Logic 54 (2):125-136.details
|
|
The Iterative Conception of Set: a (Bi-)Modal Axiomatisation.J. P. Studd - 2013 - Journal of Philosophical Logic 42 (5):1-29.details
|
|
Pointwise definable models of set theory.Joel David Hamkins, David Linetsky & Jonas Reitz - 2013 - Journal of Symbolic Logic 78 (1):139-156.details
|
|
Generalizations of the Kunen inconsistency.Joel David Hamkins, Greg Kirmayer & Norman Lewis Perlmutter - 2012 - Annals of Pure and Applied Logic 163 (12):1872-1890.details
|
|
Abstraction in Fitch's Basic Logic.Eric Thomas Updike - 2012 - History and Philosophy of Logic 33 (3):215-243.details
|
|