VARIETIES OF CLASS-THEORETIC POTENTIALISM (Q6131234): Difference between revisions

@@ Property / cites work @@
+The hyperuniverse program
@@ Property / cites work: The hyperuniverse program / rank @@
+Normal rank
@@ Property / cites work @@
+Q5883177
@@ Property / cites work: Q5883177 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3222180
@@ Property / cites work: Q3222180 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3531455
@@ Property / cites work: Q3531455 / rank @@
+Normal rank
@@ Property / cites work @@
+The Absolute Arithmetic Continuum and the Unification Of all Numbers Great and Small
+Normal rank
@@ Property / cites work @@
+Predicative foundations of arithmetic
@@ Property / cites work: Predicative foundations of arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Comparison of the axioms of local and universal choice
+Normal rank
@@ Property / cites work @@
+On the Innocence and Determinacy of Plural Quantification
+Normal rank
@@ Property / cites work @@
+Classes and truths in set theory
@@ Property / cites work: Classes and truths in set theory / rank @@
+Normal rank
@@ Property / cites work @@
+Open determinacy for class games
@@ Property / cites work: Open determinacy for class games / rank @@
+Normal rank
@@ Property / cites work @@
+THE EXACT STRENGTH OF THE CLASS FORCING THEOREM
@@ Property / cites work: THE EXACT STRENGTH OF THE CLASS FORCING THEOREM / rank @@
+Normal rank
@@ Property / cites work @@
+Kelley–Morse set theory does not prove the class Fodor principle
+Normal rank
@@ Property / cites work @@
+Set-theoretic blockchains
@@ Property / cites work: Set-theoretic blockchains / rank @@
+Normal rank
@@ Property / cites work @@
+Generalizations of the Kunen inconsistency
@@ Property / cites work: Generalizations of the Kunen inconsistency / rank @@
+Normal rank
@@ Property / cites work @@
+A simple maximality principle
@@ Property / cites work: A simple maximality principle / rank @@
+Normal rank
@@ Property / cites work @@
+THE SET-THEORETIC MULTIVERSE
@@ Property / cites work: THE SET-THEORETIC MULTIVERSE / rank @@
+Normal rank
@@ Property / cites work @@
+Structural connections between a forcing class and its modal logic
+Normal rank
@@ Property / cites work @@
+Pointwise definable models of set theory
@@ Property / cites work: Pointwise definable models of set theory / rank @@
+Normal rank
@@ Property / cites work @@
+THE MODAL LOGIC OF SET-THEORETIC POTENTIALISM AND THE POTENTIALIST MAXIMALITY PRINCIPLES
+Normal rank
@@ Property / cites work @@
+The modal logic of forcing
@@ Property / cites work: The modal logic of forcing / rank @@
+Normal rank
@@ Property / cites work @@
+THE Σ<sub>1</sub>-DEFINABLE UNIVERSAL FINITE SEQUENCE
+Normal rank
@@ Property / cites work @@
+Q2755496
@@ Property / cites work: Q2755496 / rank @@
+Normal rank
@@ Property / cites work @@
+CLASS FORCING, THE FORCING THEOREM AND BOOLEAN COMPLETIONS
+Normal rank
@@ Property / cites work @@
+Characterizations of pretameness and the Ord-cc
@@ Property / cites work: Characterizations of pretameness and the Ord-cc / rank @@
+Normal rank
@@ Property / cites work @@
+Plurals and Complexes
@@ Property / cites work: Plurals and Complexes / rank @@
+Normal rank
@@ Property / cites work @@
+Elementary embeddings and infinitary combinatorics
+Normal rank
@@ Property / cites work @@
+Q4382420
@@ Property / cites work: Q4382420 / rank @@
+Normal rank
@@ Property / cites work @@
+THE POTENTIAL HIERARCHY OF SETS
@@ Property / cites work: THE POTENTIAL HIERARCHY OF SETS / rank @@
+Normal rank
@@ Property / cites work @@
+A RECONSTRUCTION OF STEEL’S MULTIVERSE PROJECT
@@ Property / cites work: A RECONSTRUCTION OF STEEL’S MULTIVERSE PROJECT / rank @@
+Normal rank
@@ Property / cites work @@
+Q4106197
@@ Property / cites work: Q4106197 / rank @@
+Normal rank
@@ Property / cites work @@
+Consistency results about ordinal definability
@@ Property / cites work: Consistency results about ordinal definability / rank @@
+Normal rank
@@ Property / cites work @@
+Q4105670
@@ Property / cites work: Q4105670 / rank @@
+Normal rank
@@ Property / cites work @@
+Sets and Classes
@@ Property / cites work: Sets and Classes / rank @@
+Normal rank
@@ Property / cites work @@
+RELATIVE PREDICATIVITY AND DEPENDENT RECURSION IN SECOND-ORDER SET THEORY AND HIGHER-ORDER THEORIES
+Normal rank
@@ Property / cites work @@
+Can all things be counted?
@@ Property / cites work: Can all things be counted? / rank @@
+Normal rank
@@ Property / cites work @@
+Q3395521
@@ Property / cites work: Q3395521 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3464650
@@ Property / cites work: Q3464650 / rank @@
+Normal rank
@@ Property / cites work @@
+No elementary embedding from v into v is definable from parameters
+Normal rank
@@ Property / cites work @@
+Plural Quantification and Classes†
@@ Property / cites work: Plural Quantification and Classes† / rank @@
+Normal rank
@@ Property / cites work @@
+On elementary embeddings from an inner model to the universe
+Normal rank
@@ Property / cites work @@
+MINIMUM MODELS OF SECOND-ORDER SET THEORIES
@@ Property / cites work: MINIMUM MODELS OF SECOND-ORDER SET THEORIES / rank @@
+Normal rank