Rudimentary recursion, gentle functions and provident sets (Q2345391): Difference between revisions

@@ Property / author @@
-Adrian R. D. Mathias
@@ Property / author: Adrian R. D. Mathias / rank @@
-Normal rank
@@ Property / author @@
+Adrian R. D. Mathias
@@ Property / author: Adrian R. D. Mathias / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2078719364
@@ Property / OpenAlex ID: W2078719364 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3929732
@@ Property / cites work: Q3929732 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4085724
@@ Property / cites work: Q4085724 / rank @@
+Normal rank
@@ Property / cites work @@
+The fine structure of the constructible hierarchy
@@ Property / cites work: The fine structure of the constructible hierarchy / rank @@
+Normal rank
@@ Property / cites work @@
+Slim models of Zermelo set theory
@@ Property / cites work: Slim models of Zermelo 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 @@
+Provident sets and rudimentary set forcing
@@ Property / cites work: Provident sets and rudimentary set forcing / rank @@
+Normal rank
@@ Property / cites work @@
+Unordered pairs in the set theory of Bourbaki 1949
+Normal rank
@@ Property / cites work @@
+Reconsidering Ordered Pairs
@@ Property / cites work: Reconsidering Ordered Pairs / rank @@
+Normal rank
@@ Property / cites work @@
+A converse of the Barwise completeness theorem
@@ Property / cites work: A converse of the Barwise completeness theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Fine Structure
@@ Property / cites work: Fine Structure / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2345391