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

Be the first to leave a comment!

Similar Items