Implementing fragments of ZFC within an r.e. Universe

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

Internet

https://scholarbank.nus.edu.sg/handle/10635/177524

Similar Items