Transfinite recursion and computation in the iterative conception of set
type: Item
instance of: scholarly article
title: Transfinite recursion and computation in the iterative conception of set
zbMATH Open document ID: 1369.03117
published in: Synthese
publication date: 2017-02-14T00:00:00Z
Mathematics Subject Classification ID: 03E30
Mathematics Subject Classification ID: 03E10
Mathematics Subject Classification ID: 03A05
Mathematics Subject Classification ID: 03D10
Mathematics Subject Classification ID: 03D60
zbMATH DE Number: 6684158
zbMATH Keywords: set theory
zbMATH Keywords: infinity
zbMATH Keywords: recursion
zbMATH Keywords: replacement
zbMATH Keywords: iterative conception
zbMATH Keywords: transfinite computation
zbMATH Keywords: ordinal Turing machine
zbMATH Keywords: Kreisel
author: Benjamin G. Rin
MaRDI profile type: Publication
full work available at URL: s11229-014-0560-9
OpenAlex ID: W1998092208
cites work: An Answer to Hellman's Question: ‘Does Category Theory Provide a Framework for Mathematical Structuralism?’†
cites work: Q3679172
cites work: Q4103094
cites work: Q4949915
cites work: Mathematics and Bleak House
cites work: Slim models of Zermelo set theory
cites work: Set theory. An introduction to large cardinals
cites work: Q5704852
cites work: Q3803101
cites work: Q3093483
cites work: Set Theory
cites work: Levy and set theory
cites work: Bernays and Set Theory
cites work: In Praise of Replacement
cites work: Turing Computations On Ordinals
cites work: On reflection principles
cites work: Strong Logics of First and Second Order
cites work: Q5596755
cites work: Q5623672
cites work: Metarecursive sets
cites work: Ordinal machines and admissible recursion theory
cites work: Set theory. An introduction to independence proofs
cites work: Axiom schemata of strong infinity in axiomatic set theory
cites work: Q3499798
cites work: Q4820366
cites work: Q5588619
cites work: Q4088821
cites work: Q4040890
cites work: Church Without Dogma: Axioms for Computability
cites work: Q4040892
cites work: On Computable Numbers, with an Application to the Entscheidungsproblem
DOI: 10.1007/S11229-014-0560-9
description: scientific article; zbMATH DE number 6684158