- Radin forcing and its iterations.John Krueger - 2007 - Archive for Mathematical Logic 46 (3-4):223-252.details
|
|
The category of inner models.Peter Koepke - 2002 - Synthese 133 (1-2):275 - 303.details
|
|
Incompatible Ω-Complete Theories.Peter Koellner & W. Hugh Woodin - 2009 - Journal of Symbolic Logic 74 (4):1155 - 1170.details
|
|
Kurepa trees and Namba forcing.Bernhard König & Yasuo Yoshinobu - 2012 - Journal of Symbolic Logic 77 (4):1281-1290.details
|
|
The mathematical development of set theory from Cantor to Cohen.Akihiro Kanamori - 1996 - Bulletin of Symbolic Logic 2 (1):1-71.details
|
|
Mathematical Knowledge : Motley and Complexity of Proof.Akihiro Kanamori - 2013 - Annals of the Japan Association for Philosophy of Science 21:21-35.details
|
|
Mathematical proof theory in the light of ordinal analysis.Reinhard Kahle - 2002 - Synthese 133 (1/2):237 - 255.details
|
|
Constructibilidad relativizada y el Axioma de elección.Franklin Galindo & Carlos Di Prisco - 2010 - Mixba'al. Revista Metropolitana de Matemáticas 1 (1):23-40.details
|
|
Canonical measure assignments.Steve Jackson & Benedikt Löwe - 2013 - Journal of Symbolic Logic 78 (2):403-424.details
|
|
The axiom of real Blackwell determinacy.Daisuke Ikegami, David de Kloet & Benedikt Löwe - 2012 - Archive for Mathematical Logic 51 (7-8):671-685.details
|
|
Global singularization and the failure of SCH.Radek Honzik - 2010 - Annals of Pure and Applied Logic 161 (7):895-915.details
|
|
Objectivity over objects: A case study in theory formation.Kai Hauser - 2001 - Synthese 128 (3):245 - 285.details
|
|
Generalized Löb’s Theorem. Strong Reflection Principles and Large Cardinal Axioms.Jaykov Foukzon - 2013 - Advances in Pure Mathematics (3):368-373.details
|
|
Ipotesi del Continuo.Claudio Ternullo - 2017 - Aphex 16.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
|
|
What is the theory without power set?Victoria Gitman, Joel David Hamkins & Thomas A. Johnstone - 2016 - Mathematical Logic Quarterly 62 (4-5):391-406.details
|
|
Strange ultrafilters.Moti Gitik - 2019 - Archive for Mathematical Logic 58 (1-2):35-52.details
|
|
Ramsey-like cardinals.Victoria Gitman - 2011 - Journal of Symbolic Logic 76 (2):519 - 540.details
|
|
Distinct volume subsets via indiscernibles.William Gasarch & Douglas Ulrich - 2019 - Archive for Mathematical Logic 58 (3-4):469-483.details
|
|
Mathematics and Set Theory:数学と集合論.Sakaé Fuchino - 2018 - Journal of the Japan Association for Philosophy of Science 46 (1):33-47.details
|
|
Easton’s theorem and large cardinals.Sy-David Friedman & Radek Honzik - 2008 - Annals of Pure and Applied Logic 154 (3):191-208.details
|
|
Strong tree properties for small cardinals.Laura Fontanella - 2013 - Journal of Symbolic Logic 78 (1):317-333.details
|
|
Strong tree properties for two successive cardinals.Laura Fontanella - 2012 - Archive for Mathematical Logic 51 (5-6):601-620.details
|
|
Richard Tieszen. After Gödel. Platonism and Rationalism in Mathematics and Logic.Dagfinn Føllesdal - 2016 - Philosophia Mathematica 24 (3):405-421.details
|
|
A co-analytic maximal set of orthogonal measures.Vera Fischer & Asger Törnquist - 2010 - Journal of Symbolic Logic 75 (4):1403-1414.details
|
|
On arbitrary sets and ZFC.José Ferreirós - 2011 - Bulletin of Symbolic Logic 17 (3):361-393.details
|
|
Presentation to the panel, “does mathematics need new axioms?” Asl 2000 meeting, urbana il, June 5, 2000.Solomon Feferman - unknowndetails
|
|
Is the Continuum Hypothesis a definite mathematical problem?Solomon Feferman - manuscriptdetails
|
|
Regularity and Hyperreal Credences.Kenny Easwaran - 2014 - Philosophical Review 123 (1):1-41.details
|
|
The strong reflecting property and Harrington's Principle.Yong Cheng - 2015 - Mathematical Logic Quarterly 61 (4-5):329-340.details
|
|
Large Cardinals, Inner Models, and Determinacy: An Introductory Overview.P. D. Welch - 2015 - Notre Dame Journal of Formal Logic 56 (1):213-242.details
|
|
More on regular and decomposable ultrafilters in ZFC.Paolo Lipparini - 2010 - Mathematical Logic Quarterly 56 (4):340-374.details
|
|
Failures of SCH and Level by Level Equivalence.Arthur W. Apter - 2006 - Archive for Mathematical Logic 45 (7):831-838.details
|
|
Guessing models and generalized Laver diamond.Matteo Viale - 2012 - Annals of Pure and Applied Logic 163 (11):1660-1678.details
|
|
Diagonal Prikry extensions.James Cummings & Matthew Foreman - 2010 - Journal of Symbolic Logic 75 (4):1383-1402.details
|
|
Mathematical explanation: Problems and prospects.Paolo Mancosu - 2001 - Topoi 20 (1):97-117.details
|
|
Some naturalistic reflections on set theoretic method.Penelope J. Maddy - 2001 - Topoi 20 (1):17-27.details
|
|
Proper forcing and remarkable cardinals.Ralf-Dieter Schindler - 2000 - Bulletin of Symbolic Logic 6 (2):176-184.details
|
|
Operational set theory and small large cardinals.Solomon Feferman with with R. L. Vaught - manuscriptdetails
|
|
Rank-into-rank hypotheses and the failure of GCH.Vincenzo Dimonte & Sy-David Friedman - 2014 - Archive for Mathematical Logic 53 (3-4):351-366.details
|
|
Laver’s results and low-dimensional topology.Patrick Dehornoy - 2016 - Archive for Mathematical Logic 55 (1-2):49-83.details
|
|
A covering lemma for L(ℝ).Daniel W. Cunningham - 2002 - Archive for Mathematical Logic 41 (1):49-54.details
|
|
Easton’s theorem in the presence of Woodin cardinals.Brent Cody - 2013 - Archive for Mathematical Logic 52 (5-6):569-591.details
|
|
The prospects for mathematical logic in the twenty-first century.Samuel R. Buss, Alexander S. Kechris, Anand Pillay & Richard A. Shore - 2001 - Bulletin of Symbolic Logic 7 (2):169-196.details
|
|
Large cardinals and definable well-orders on the universe.Andrew D. Brooke-Taylor - 2009 - Journal of Symbolic Logic 74 (2):641-654.details
|
|
Indestructibility of Vopěnka’s Principle.Andrew D. Brooke-Taylor - 2011 - Archive for Mathematical Logic 50 (5-6):515-529.details
|
|
Virtual modality. [REVIEW]William Boos - 2003 - Synthese 136 (3):435 - 491.details
|
|
Forking in short and tame abstract elementary classes.Will Boney & Rami Grossberg - 2017 - Annals of Pure and Applied Logic 168 (8):1517-1551.details
|
|
Forcing Indestructibility of Set-Theoretic Axioms.Bernhard König - 2007 - Journal of Symbolic Logic 72 (1):349 - 360.details
|
|
On colimits and elementary embeddings.Joan Bagaria & Andrew Brooke-Taylor - 2013 - Journal of Symbolic Logic 78 (2):562-578.details
|
|