Implementing fragments of ZFC within an r.e. Universe
type: Item
instance of: scholarly article
title: Implementing fragments of ZFC within an r.e. Universe
zbMATH Open document ID: 1444.03129
author: Éric Martin
author: Frank Stephan
publication date: 2018-09-28T00:00:00Z
Mathematics Subject Classification ID: 03C57
Mathematics Subject Classification ID: 03D45
Mathematics Subject Classification ID: 03E30
Mathematics Subject Classification ID: 03D25
Mathematics Subject Classification ID: 03C62
zbMATH DE Number: 6945507
zbMATH Keywords: recursively enumerable model
zbMATH Keywords: Friedberg numbering
zbMATH Keywords: axioms of Zermelo Fraenkel set theory
MaRDI profile type: Publication
OpenAlex ID: W2793334626
DOI: 10.1093/LOGCOM/EXX030
published in: Journal Of Logic And Computation
Recommended article: Q5477363
Recommended article: On the structure of classical realizability models of ZF
Recommended article: On the universal and existential fragments of the \(\mu\)-calculus
Recommended article: Q4417913
Recommended article: The cumulative hierarchy and the constructible universe of ZFA
Recommended article: Q4472184
Recommended article: Lifschitz realizability for intuitionistic Zermelo-Fraenkel set theory
Recommended article: Closed Fragments of Provability Logics of Constructive Theories
Recommended article: Q4424650
Recommended article: Universes over Frege structures
description: scientific article; zbMATH DE number 6945507