Fragments of Kripke–Platek set theory and the metamathematics of ? -recursion theory
10.1007/s00153-016-0501-z
Saved in:
| Main Authors: | , , |
|---|---|
| Other Authors: | |
| 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 |
| id |
sg-nus-scholar.10635-179282 |
|---|---|
| record_format |
dspace |
| spelling |
sg-nus-scholar.10635-1792822024-04-17T03:02:23Z Fragments of Kripke–Platek set theory and the metamathematics of ? -recursion theory Friedman, S.-D Li, W Wong, T.L MATHEMATICS 10.1007/s00153-016-0501-z Archive for Mathematical Logic 55 43684 899-924 2020-10-23T02:43:46Z 2020-10-23T02:43:46Z 2016 Article Friedman, S.-D, Li, W, Wong, T.L (2016). Fragments of Kripke–Platek set theory and the metamathematics of ? -recursion theory. Archive for Mathematical Logic 55 (43684) : 899-924. ScholarBank@NUS Repository. https://doi.org/10.1007/s00153-016-0501-z 0933-5846 https://scholarbank.nus.edu.sg/handle/10635/179282 Attribution 4.0 International http://creativecommons.org/licenses/by/4.0/ Springer New York LLC Unpaywall 20201031 |
| institution |
National University of Singapore |
| building |
NUS Library |
| continent |
Asia |
| country |
Singapore Singapore |
| content_provider |
NUS Library |
| collection |
ScholarBank@NUS |
| description |
10.1007/s00153-016-0501-z |
| author2 |
MATHEMATICS |
| author_facet |
MATHEMATICS Friedman, S.-D Li, W Wong, T.L |
| format |
Article |
| author |
Friedman, S.-D Li, W Wong, T.L |
| spellingShingle |
Friedman, S.-D Li, W Wong, T.L Fragments of Kripke–Platek set theory and the metamathematics of ? -recursion theory |
| author_sort |
Friedman, S.-D |
| title |
Fragments of Kripke–Platek set theory and the metamathematics of ? -recursion theory |
| title_short |
Fragments of Kripke–Platek set theory and the metamathematics of ? -recursion theory |
| title_full |
Fragments of Kripke–Platek set theory and the metamathematics of ? -recursion theory |
| title_fullStr |
Fragments of Kripke–Platek set theory and the metamathematics of ? -recursion theory |
| title_full_unstemmed |
Fragments of Kripke–Platek set theory and the metamathematics of ? -recursion theory |
| title_sort |
fragments of kripke–platek set theory and the metamathematics of ? -recursion theory |
| publisher |
Springer New York LLC |
| publishDate |
2020 |
| url |
https://scholarbank.nus.edu.sg/handle/10635/179282 |
| _version_ |
1800914548678459392 |