Fragments of Kripke–Platek set theory and the metamathematics of ? -recursion theory

10.1007/s00153-016-0501-z

Saved in:
Bibliographic Details
Main Authors: Friedman, S.-D, Li, W, Wong, T.L
Other Authors: MATHEMATICS
Format: Article
Published: Springer New York LLC 2020
Online Access:https://scholarbank.nus.edu.sg/handle/10635/179282
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: National University of Singapore