A note on recursive models of set theories
type: Item
instance of: scholarly article
title: A note on recursive models of set theories
zbMATH Open document ID: 1031.03062
author: Antonella Mancini
author: Domenico Zambella
published in: Notre Dame Journal of Formal Logic
publication date: 2003-10-13T00:00:00Z
Mathematics Subject Classification ID: 03D45
Mathematics Subject Classification ID: 03C57
Mathematics Subject Classification ID: 03E70
Mathematics Subject Classification ID: 03C62
zbMATH DE Number: 1990932
zbMATH Keywords: recursive models
zbMATH Keywords: fragments of set theory
zbMATH Keywords: Kripke-Platek set theory
zbMATH Keywords: hereditarily finite sets
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1305/ndjfl/1054837937
OpenAlex ID: W2038389784
cites work: A recursive nonstandard model of normal open induction
cites work: Introduction to axiomatic set theory
cites work: Bounded existential induction
cites work: Foundation versus induction in Kripke-Platek set theory
DOI: 10.1305/NDJFL/1054837937
description: scientific article; zbMATH DE number 1990932