Implementing fragments of ZFC within an r.e. Universe
10.1093/logcom/exx030
Saved in:
Main Authors: | Martin E., Stephan F. |
---|---|
Other Authors: | MATHEMATICS |
Format: | Article |
Published: |
Oxford University Press
2020
|
Subjects: | |
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 |
Similar Items
-
Graphs realised by r.e. equivalence relations
by: Gavruskin, A., et al.
Published: (2014) -
Reductions between types of numberings
by: Herbert I., et al.
Published: (2020) -
Universal recursively enumerable sets of strings
by: Calude, C.S., et al.
Published: (2014) -
Highness, locally noncappability and nonboundings
by: Stephan, F., et al.
Published: (2014) -
Classical Theorems in Reverse Mathematics and Higher Recursion Theory
by: LI WEI
Published: (2013)