Models of set theory with definable ordinals (Q1777270): Difference between revisions

@@ Property / cites work @@
+Q4075450
@@ Property / cites work: Q4075450 / rank @@
+Normal rank
@@ Property / cites work @@
+Model theory
@@ Property / cites work: Model theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573370
@@ Property / cites work: Q5573370 / rank @@
+Normal rank
@@ Property / cites work @@
+On Certain Elementary Extensions of Models of Set Theory
+Normal rank
@@ Property / cites work @@
+Undefinable Classes and Definable Elements in Models of Set Theory and Arithmetic
+Normal rank
@@ Property / cites work @@
+Counting models of set theory
@@ Property / cites work: Counting models of set theory / rank @@
+Normal rank
@@ Property / cites work @@
+On the Leibniz–Mycielski axiom in set theory
@@ Property / cites work: On the Leibniz–Mycielski axiom in set theory / rank @@
+Normal rank
@@ Property / cites work @@
+Leibnizian models of set theory
@@ Property / cites work: Leibnizian models of set theory / rank @@
+Normal rank
@@ Property / cites work @@
+Comparison of the axioms of local and universal choice
+Normal rank
@@ Property / cites work @@
+Large Models of Countable Height
@@ Property / cites work: Large Models of Countable Height / rank @@
+Normal rank
@@ Property / cites work @@
+Intermediate submodels and generic extensions in set theory
+Normal rank
@@ Property / cites work @@
+Q3852172
@@ Property / cites work: Q3852172 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5626664
@@ Property / cites work: Q5626664 / rank @@
+Normal rank
@@ Property / cites work @@
+Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers
+Normal rank
@@ Property / cites work @@
+Some applications of formalized consistency proofs
+Normal rank
@@ Property / cites work @@
+Set theory. An introduction to independence proofs
+Normal rank
@@ Property / cites work @@
+Consistency results about ordinal definability
@@ Property / cites work: Consistency results about ordinal definability / rank @@
+Normal rank
@@ Property / cites work @@
+The number of countable models
@@ Property / cites work: The number of countable models / rank @@
+Normal rank
@@ Property / cites work @@
+New set-theoretic axioms derived from a lean metamathematics
+Normal rank
@@ Property / cites work @@
+Axioms which imply GCH
@@ Property / cites work: Axioms which imply GCH / rank @@
+Normal rank
@@ Property / cites work @@
+On the Lebesgue measurability and the axiom of determinateness
+Normal rank
@@ Property / cites work @@
+Q5632569
@@ Property / cites work: Q5632569 / rank @@
+Normal rank
@@ Property / cites work @@
+Can you take Solovay's inaccessible away?
@@ Property / cites work: Can you take Solovay's inaccessible away? / rank @@
+Normal rank
@@ Property / cites work @@
+Forcing and Models of Arithmetic
@@ Property / cites work: Forcing and Models of Arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+A model of set-theory in which every set of reals is Lebesgue measurable
+Normal rank