Rank-initial embeddings of non-standard models of set theory (Q781504): Difference between revisions

@@ Property / cites work @@
+Fixed points of self-embeddings of models of arithmetic
+Normal rank
@@ Property / cites work @@
+Q4075450
@@ Property / cites work: Q4075450 / rank @@
+Normal rank
@@ Property / cites work @@
+Models of axiomatic theories admitting automorphisms
+Normal rank
@@ Property / cites work @@
+Power-like models of set theory
@@ Property / cites work: Power-like models of set theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4656800
@@ Property / cites work: Q4656800 / rank @@
+Normal rank
@@ Property / cites work @@
+Automorphisms of models of arithmetic: a unified view
+Normal rank
@@ Property / cites work @@
+ZFC PROVES THAT THE CLASS OF ORDINALS IS NOT WEAKLY COMPACT FOR DEFINABLE CLASSES
+Normal rank
@@ Property / cites work @@
+Iterated ultrapowers for the masses
@@ Property / cites work: Iterated ultrapowers for the masses / rank @@
+Normal rank
@@ Property / cites work @@
+Models and types of Peano's arithmetic
@@ Property / cites work: Models and types of Peano's arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+EVERY COUNTABLE MODEL OF SET THEORY EMBEDS INTO ITS OWN CONSTRUCTIBLE UNIVERSE
+Normal rank
@@ Property / cites work @@
+Automorphisms of recursively saturated models of arithmetic
+Normal rank
@@ Property / cites work @@
+Q4138726
@@ Property / cites work: Q4138726 / rank @@
+Normal rank
@@ Property / cites work @@
+Results on automorphisms of recursively saturated models of PA
+Normal rank
@@ Property / cites work @@
+A hierarchy of formulas in set theory
@@ Property / cites work: A hierarchy of formulas in set theory / rank @@
+Normal rank
@@ Property / cites work @@
+The strength of Mac Lane set theory
@@ Property / cites work: The strength of Mac Lane set theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q3792686
@@ Property / cites work: Q3792686 / rank @@
+Normal rank
@@ Property / cites work @@
+Toward model theory through recursive saturation
@@ Property / cites work: Toward model theory through recursive saturation / rank @@
+Normal rank
@@ Property / cites work @@
+Q5655359
@@ Property / cites work: Q5655359 / rank @@
+Normal rank