Implementing fragments of ZFC within an r.e. Universe

DOI10.1093/LOGCOM/EXX030zbMATH Open1444.03129OpenAlexW2793334626MaRDI QIDQ4684351

Éric Martin, Frank Stephan

Publication date: 28 September 2018

Published in: Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/490cda6e5560e0099305d82f12b1f886a23ed896

zbMATH Keywords

Friedberg numberingrecursively enumerable modelaxioms of Zermelo Fraenkel set theory

Mathematics Subject Classification ID

Axiomatics of classical set theory and its fragments (03E30) Models of arithmetic and set theory (03C62) Recursively (computably) enumerable sets and degrees (03D25) Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45)

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Universes over Frege structures 👍 👎
• Lifschitz realizability for intuitionistic Zermelo-Fraenkel set theory 👍 👎
• On the universal and existential fragments of the \(\mu\)-calculus 👍 👎
• Closed Fragments of Provability Logics of Constructive Theories 👍 👎
• The cumulative hierarchy and the constructible universe of ZFA 👍 👎
• On the structure of classical realizability models of ZF 👍 👎

This page was built for publication: Implementing fragments of ZFC within an r.e. Universe

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