INITIAL SELF-EMBEDDINGS OF MODELS OF SET THEORY (Q5021929): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W3193850043
@@ Property / OpenAlex ID: W3193850043 / rank @@
+Normal rank
@@ Property / cites work @@
+Fixed points of self-embeddings of models of arithmetic
+Normal rank
@@ Property / cites work @@
+Q5623691
@@ Property / cites work: Q5623691 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4075450
@@ Property / cites work: Q4075450 / rank @@
+Normal rank
@@ Property / cites work @@
+The Shoenfield absoluteness lemma
@@ Property / cites work: The Shoenfield absoluteness lemma / rank @@
+Normal rank
@@ Property / cites work @@
+Model theory.
@@ Property / cites work: Model theory. / rank @@
+Normal rank
@@ Property / cites work @@
+Largest initial segments pointwise fixed by automorphisms of models of set theory
+Normal rank
@@ Property / cites work @@
+Q4083423
@@ Property / cites work: Q4083423 / rank @@
+Normal rank
@@ Property / cites work @@
+End-extensions preserving power set
@@ Property / cites work: End-extensions preserving power set / rank @@
+Normal rank
@@ Property / cites work @@
+Q3215216
@@ Property / cites work: Q3215216 / rank @@
+Normal rank
@@ Property / cites work @@
+A model of second-order arithmetic satisfying AC but not DC
+Normal rank
@@ Property / cites work @@
+Fragments of Kripke-Platek set theory and the metamathematics of \(\alpha \)-recursion theory
+Normal rank
@@ Property / cites work @@
+What is the theory  without power set?
@@ Property / cites work: What is the theory without power set? / rank @@
+Normal rank
@@ Property / cites work @@
+EVERY COUNTABLE MODEL OF SET THEORY EMBEDS INTO ITS OWN CONSTRUCTIBLE UNIVERSE
+Normal rank
@@ Property / cites work @@
+Set Theory
@@ Property / cites work: Set Theory / rank @@
+Normal rank
@@ Property / cites work @@
+On interpretations of arithmetic and set theory
@@ Property / cites work: On interpretations of arithmetic and set theory / rank @@
+Normal rank
@@ Property / cites work @@
+Elementary extensions of models of set theory
@@ Property / cites work: Elementary extensions of models of set theory / rank @@
+Normal rank
@@ Property / cites work @@
+The interdependence of certain consequences of the axiom of choice
+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 @@
+Automorphisms of models of set theory and extensions of NFU
+Normal rank
@@ Property / cites work @@
+On the relative strengths of fragments of collection
+Normal rank
@@ Property / cites work @@
+Q3037419
@@ Property / cites work: Q3037419 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4893153
@@ Property / cites work: Q4893153 / rank @@
+Normal rank