A note on recursive models of set theories

DOI10.1305/NDJFL/1054837937MaRDI QIDQ1409311zbMATH OpenOpenAlexFDO

Authors Antonella Mancini, Domenico Zambella

Publication date 13 October 2003

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1305/ndjfl/1054837937

zbMATH Keywords

Kripke-Platek set theoryhereditarily finite setsrecursive modelsfragments of set theory

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45) Nonclassical and second-order set theories (03E70) Models of arithmetic and set theory (03C62)

Recommendations

• scientific article; zbMATH DE number 4039884
• scientific article; zbMATH DE number 3889522
• Fragments of Kripke-Platek set theory and the metamathematics of \(\alpha \)-recursion theory
• Implementing fragments of ZFC within an r.e. Universe
• A recursive model for arithmetic with weak induction

Cites work

• A recursive nonstandard model of normal open induction
• Bounded existential induction
• Foundation versus induction in Kripke-Platek set theory
• Introduction to axiomatic set theory

Cited in

(7)

• Amphi-ZF : axioms for Conway games
• scientific article; zbMATH DE number 4068856 (Why is no real title available?)
• scientific article; zbMATH DE number 4039884 (Why is no real title available?)
• scientific article; zbMATH DE number 7434531 (Why is no real title available?)
• Rudimentary recursion, gentle functions and provident sets
• scientific article; zbMATH DE number 3889522 (Why is no real title available?)
• A representation of recursively enumerable sets through Horn formulas in higher recursion theory

This page was built for publication: A note on recursive models of set theories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1409311)