Transfinite recursion and computation in the iterative conception of set (Q510712): Difference between revisions

@@ Property / author @@
-Benjamin G. Rin
@@ Property / author: Benjamin G. Rin / rank @@
-Normal rank
@@ Property / author @@
+Benjamin G. Rin
@@ Property / author: Benjamin G. Rin / rank @@
+Normal rank
@@ 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.1007/s11229-014-0560-9
+Normal rank
@@ Property / OpenAlex ID @@
+W1998092208
@@ Property / OpenAlex ID: W1998092208 / rank @@
+Normal rank
@@ Property / cites work @@
+An Answer to Hellman's Question: ‘Does Category Theory Provide a Framework for Mathematical Structuralism?’†
+Normal rank
@@ Property / cites work @@
+Q3679172
@@ Property / cites work: Q3679172 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4103094
@@ Property / cites work: Q4103094 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4949915
@@ Property / cites work: Q4949915 / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematics and Bleak House
@@ Property / cites work: Mathematics and Bleak House / 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 @@
+Set theory. An introduction to large cardinals
@@ Property / cites work: Set theory. An introduction to large cardinals / rank @@
+Normal rank
@@ Property / cites work @@
+Q5704852
@@ Property / cites work: Q5704852 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3803101
@@ Property / cites work: Q3803101 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3093483
@@ Property / cites work: Q3093483 / rank @@
+Normal rank
@@ Property / cites work @@
+Set Theory
@@ Property / cites work: Set Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Levy and set theory
@@ Property / cites work: Levy and set theory / rank @@
+Normal rank
@@ Property / cites work @@
+Bernays and Set Theory
@@ Property / cites work: Bernays and Set Theory / rank @@
+Normal rank
@@ Property / cites work @@
+In Praise of Replacement
@@ Property / cites work: In Praise of Replacement / rank @@
+Normal rank
@@ Property / cites work @@
+Turing Computations On Ordinals
@@ Property / cites work: Turing Computations On Ordinals / rank @@
+Normal rank
@@ Property / cites work @@
+On reflection principles
@@ Property / cites work: On reflection principles / rank @@
+Normal rank
@@ Property / cites work @@
+Strong Logics of First and Second Order
@@ Property / cites work: Strong Logics of First and Second Order / rank @@
+Normal rank
@@ Property / cites work @@
+Q5596755
@@ Property / cites work: Q5596755 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5623672
@@ Property / cites work: Q5623672 / rank @@
+Normal rank
@@ Property / cites work @@
+Metarecursive sets
@@ Property / cites work: Metarecursive sets / rank @@
+Normal rank
@@ Property / cites work @@
+Ordinal machines and admissible recursion theory
@@ Property / cites work: Ordinal machines and admissible recursion theory / rank @@
+Normal rank
@@ Property / cites work @@
+Set theory. An introduction to independence proofs
+Normal rank
@@ Property / cites work @@
+Axiom schemata of strong infinity in axiomatic set theory
+Normal rank
@@ Property / cites work @@
+Q3499798
@@ Property / cites work: Q3499798 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4820366
@@ Property / cites work: Q4820366 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5588619
@@ Property / cites work: Q5588619 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4088821
@@ Property / cites work: Q4088821 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4040890
@@ Property / cites work: Q4040890 / rank @@
+Normal rank
@@ Property / cites work @@
+Church Without Dogma: Axioms for Computability
@@ Property / cites work: Church Without Dogma: Axioms for Computability / rank @@
+Normal rank
@@ Property / cites work @@
+Q4040892
@@ Property / cites work: Q4040892 / rank @@
+Normal rank
@@ Property / cites work @@
+On Computable Numbers, with an Application to the Entscheidungsproblem
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:510712