- No Elementary Embedding from V into V is Definable from Parameters.Akira Suzuki - 1999 - Journal of Symbolic Logic 64 (4):1591-1594.details
|
|
Modal Logic.Patrick Blackburn, Maarten de Rijke & Yde Venema - 2001 - Studia Logica 76 (1):142-148.details
|
|
Parts of Classes.David K. Lewis - 1991 - Mind 100 (3):394-397.details
|
|
Relative predicativity and dependent recursion in second-order set theory and higher-order theories.Sato Kentaro - 2014 - Journal of Symbolic Logic 79 (3):712-732.details
|
|
The potential hierarchy of sets.Øystein Linnebo - 2013 - Review of Symbolic Logic 6 (2):205-228.details
|
|
On the Innocence and Determinacy of Plural Quantification.Salvatore Florio & Øystein Linnebo - 2016 - Noûs 50 (3):565–583.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
|
|
The set-theoretic multiverse.Joel David Hamkins - 2012 - Review of Symbolic Logic 5 (3):416-449.details
|
|
Classes and truths in set theory.Kentaro Fujimoto - 2012 - Annals of Pure and Applied Logic 163 (11):1484-1523.details
|
|
Pointwise definable models of set theory.Joel David Hamkins, David Linetsky & Jonas Reitz - 2013 - Journal of Symbolic Logic 78 (1):139-156.details
|
|
The absolute arithmetic continuum and the unification of all numbers great and small.Philip Ehrlich - 2012 - Bulletin of Symbolic Logic 18 (1):1-45.details
|
|
Class and Membership.Kit Fine - 2005 - Journal of Philosophy 102 (11):547-572.details
|
|
Sets, properties, and unrestricted quantification.Øystein Linnebo - 2006 - In Agustín Rayo & Gabriel Uzquiano (eds.), Absolute generality. New York: Oxford University Press. pp. 149--178.details
|
|
Plurals and complexes.Keith Hossack - 2000 - British Journal for the Philosophy of Science 51 (3):411-443.details
|
|
On elementary embeddings from an inner model to the universe.J. Vickers & P. D. Welch - 2001 - Journal of Symbolic Logic 66 (3):1090-1116.details
|
|
Sets and classes.Charles Parsons - 1974 - Noûs 8 (1):1-12.details
|
|
Elementary embeddings and infinitary combinatorics.Kenneth Kunen - 1971 - Journal of Symbolic Logic 36 (3):407-413.details
|
|
A simple maximality principle.Joel David Hamkins - 2003 - Journal of Symbolic Logic 68 (2):527-550.details
|
|
Predicative foundations of arithmetic.Solomon Feferman & Geoffrey Hellman - 1995 - Journal of Philosophical Logic 24 (1):1 - 17.details
|
|
Can All Things Be Counted?Chris Scambler - 2021 - Journal of Philosophical Logic 50 (5):1079-1106.details
|
|
The σ1-definable universal finite sequence.Joel David Hamkins & Kameryn J. Williams - 2022 - Journal of Symbolic Logic 87 (2):783-801.details
|
|
The exact strength of the class forcing theorem.Victoria Gitman, Joel David Hamkins, Peter Holy, Philipp Schlicht & Kameryn J. Williams - 2020 - Journal of Symbolic Logic 85 (3):869-905.details
|
|
A reconstruction of steel’s multiverse project.Penelope Maddy & Toby Meadows - 2020 - Bulletin of Symbolic Logic 26 (2):118-169.details
|
|
The modal logic of set-theoretic potentialism and the potentialist maximality principles.Joel David Hamkins & Øystein Linnebo - 2022 - Review of Symbolic Logic 15 (1):1-35.details
|
|
Predicativism about Classes.Kentaro Fujimoto - 2019 - Journal of Philosophy 116 (4):206-229.details
|
|
Minimum models of second-order set theories.Kameryn J. Williams - 2019 - Journal of Symbolic Logic 84 (2):589-620.details
|
|
Set-theoretic blockchains.Miha E. Habič, Joel David Hamkins, Lukas Daniel Klausner, Jonathan Verner & Kameryn J. Williams - 2019 - Archive for Mathematical Logic 58 (7-8):965-997.details
|
|
Characterizations of pretameness and the Ord-cc.Peter Holy, Regula Krapf & Philipp Schlicht - 2018 - Annals of Pure and Applied Logic 169 (8):775-802.details
|
|
Class forcing, the forcing theorem and Boolean completions.Peter Holy, Regula Krapf, Philipp Lücke, Ana Njegomir & Philipp Schlicht - 2016 - Journal of Symbolic Logic 81 (4):1500-1530.details
|
|
Consistency results about ordinal definability.Kenneth McAloon - 1971 - Annals of Mathematical Logic 2 (4):449.details
|
|
The hyperuniverse program.Tatiana Arrigoni & Sy-David Friedman - 2013 - Bulletin of Symbolic Logic 19 (1):77-96.details
|
|
Plural quantification and classes.Gabriel Uzquiano - 2003 - Philosophia Mathematica 11 (1):67-81.details
|
|