Recursively Saturated Models of Set Theory (Q3902995): Difference between revisions

@@ label / en / label / en @@
+Recursively Saturated Models of Set Theory
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.2307/2042160
@@ Property / full work available at URL: https://doi.org/10.2307/2042160 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W4238331523
@@ Property / OpenAlex ID: W4238331523 / rank @@
+Normal rank
@@ Property / title @@
+Recursively Saturated Models of Set Theory (English)
@@ Property / title: Recursively Saturated Models of Set Theory (English) / rank @@
+Normal rank
@@ Property / cites work @@
+Q4075450
@@ Property / cites work: Q4075450 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4110995
@@ Property / cites work: Q4110995 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4165374
@@ Property / cites work: Q4165374 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5509676
@@ Property / cites work: Q5509676 / rank @@
+Normal rank
@@ Property / cites work @@
+Comparison of the axioms of local and universal choice
+Normal rank
@@ Property / cites work @@
+Global and local choice functions
@@ Property / cites work: Global and local choice functions / rank @@
+Normal rank
@@ Property / cites work @@
+A Generalized Kleene-Moschovakis Theorem
@@ Property / cites work: A Generalized Kleene-Moschovakis Theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Q5642550
@@ Property / cites work: Q5642550 / rank @@
+Normal rank
@@ Property / cites work @@
+Elementary induction on abstract structures
@@ Property / cites work: Elementary induction on abstract structures / rank @@
+Normal rank
@@ Property / cites work @@
+Models with compactness properties relative to an admissible language
+Normal rank
@@ Property / cites work @@
+A guide to the identification of admissible sets above structures
+Normal rank
@@ Property / cites work @@
+Toward model theory through recursive saturation
@@ Property / cites work: Toward model theory through recursive saturation / rank @@
+Normal rank