Implementing fragments of ZFC within an r.e. Universe

10.1093/logcom/exx030

Saved in:

Bibliographic Details
Main Authors:	Martin E., Stephan F.
Other Authors:	MATHEMATICS
Format:	Article
Published:	Oxford University Press 2020
Subjects:	axioms of Zermelo Fraenkel set theory (ZFC) Friedberg numbering Recursively enumerable model
Online Access:	https://scholarbank.nus.edu.sg/handle/10635/177524
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	National University of Singapore

id	sg-nus-scholar.10635-177524
record_format	dspace
spelling	sg-nus-scholar.10635-1775242024-04-25T01:32:18Z Implementing fragments of ZFC within an r.e. Universe Martin E. Stephan F. MATHEMATICS axioms of Zermelo Fraenkel set theory (ZFC) Friedberg numbering Recursively enumerable model 10.1093/logcom/exx030 Journal of Logic and Computation 28 1 30 2020-10-15T07:41:50Z 2020-10-15T07:41:50Z 2018 Article Martin E., Stephan F. (2018). Implementing fragments of ZFC within an r.e. Universe. Journal of Logic and Computation 28 (1) : 30. ScholarBank@NUS Repository. https://doi.org/10.1093/logcom/exx030 0955-792X https://scholarbank.nus.edu.sg/handle/10635/177524 Oxford University Press
institution	National University of Singapore
building	NUS Library
continent	Asia
country	Singapore Singapore
content_provider	NUS Library
collection	ScholarBank@NUS
topic	axioms of Zermelo Fraenkel set theory (ZFC) Friedberg numbering Recursively enumerable model
spellingShingle	axioms of Zermelo Fraenkel set theory (ZFC) Friedberg numbering Recursively enumerable model Martin E. Stephan F. Implementing fragments of ZFC within an r.e. Universe
description	10.1093/logcom/exx030
author2	MATHEMATICS
author_facet	MATHEMATICS Martin E. Stephan F.
format	Article
author	Martin E. Stephan F.
author_sort	Martin E.
title	Implementing fragments of ZFC within an r.e. Universe
title_short	Implementing fragments of ZFC within an r.e. Universe
title_full	Implementing fragments of ZFC within an r.e. Universe
title_fullStr	Implementing fragments of ZFC within an r.e. Universe
title_full_unstemmed	Implementing fragments of ZFC within an r.e. Universe
title_sort	implementing fragments of zfc within an r.e. universe
publisher	Oxford University Press
publishDate	2020
url	https://scholarbank.nus.edu.sg/handle/10635/177524
_version_	1800914447645016064

Implementing fragments of ZFC within an r.e. Universe

Similar Items