{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,2]],"date-time":"2026-03-02T11:19:29Z","timestamp":1772450369492,"version":"3.50.1"},"reference-count":26,"publisher":"Springer Science and Business Media LLC","issue":"7-8","license":[{"start":{"date-parts":[[2016,9,6]],"date-time":"2016-09-06T00:00:00Z","timestamp":1473120000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"name":"FWF-RFBR Joint Project \u201cDefinability and Computability\u201d","award":["I1238"],"award-info":[{"award-number":["I1238"]}]},{"DOI":"10.13039\/501100002428","name":"Austrian Science Fund (AT)","doi-asserted-by":"publisher","award":["P 24654 N 25"],"award-info":[{"award-number":["P 24654 N 25"]}],"id":[{"id":"10.13039\/501100002428","id-type":"DOI","asserted-by":"publisher"}]},{"name":"FWF-RFBR Joint Project \u201cDefinability and Computability\u201d","award":["I1238"],"award-info":[{"award-number":["I1238"]}]},{"DOI":"10.13039\/501100002428","name":"Austrian Science Fund (AT)","doi-asserted-by":"publisher","award":["P 24654 N 25"],"award-info":[{"award-number":["P 24654 N 25"]}],"id":[{"id":"10.13039\/501100002428","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Arch. Math. Logic"],"published-print":{"date-parts":[[2016,11]]},"DOI":"10.1007\/s00153-016-0501-z","type":"journal-article","created":{"date-parts":[[2016,9,6]],"date-time":"2016-09-06T10:59:29Z","timestamp":1473159569000},"page":"899-924","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Fragments of Kripke\u2013Platek set theory and the metamathematics of $$\\alpha $$ \u03b1 -recursion theory"],"prefix":"10.1007","volume":"55","author":[{"given":"Sy-David","family":"Friedman","sequence":"first","affiliation":[]},{"given":"Wei","family":"Li","sequence":"additional","affiliation":[]},{"given":"Tin Lok","family":"Wong","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,9,6]]},"reference":[{"issue":"1","key":"501_CR1","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1007\/BF01594179","volume":"114","author":"W Ackermann","year":"1937","unstructured":"Ackermann, W.: Die widerspruchsfreiheit der allgemeinen mengenlehre. Math. Ann. 114(1), 305\u2013315 (1937)","journal-title":"Math. Ann."},{"key":"501_CR2","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-11035-5","volume-title":"Admissible Sets and Structures","author":"J Barwise","year":"1975","unstructured":"Barwise, J.: Admissible Sets and Structures. Springer, Berlin (1975)"},{"issue":"3","key":"501_CR3","first-page":"47","volume":"40","author":"A Cantini","year":"1984","unstructured":"Cantini, A.: Nonextensional theories of predicative classes over PA. Rend. Sem. Mat. Univ. Politec. Torino 40(3), 47\u201379 (1984)","journal-title":"Rend. Sem. Mat. Univ. Politec. Torino"},{"issue":"3","key":"501_CR4","first-page":"721","volume":"2","author":"A Cantini","year":"1983","unstructured":"Cantini, A.: A note on the theory of admissible sets with $$\\in $$ \u2208 -induction restricted to formulas with one quantifier and related systems. Boll. Un. Mat. Ital. B 2(3), 721\u2013737 (1983)","journal-title":"Boll. Un. Mat. Ital. B"},{"key":"501_CR5","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1016\/0168-0072(90)90021-S","volume":"48","author":"CT Chong","year":"1990","unstructured":"Chong, C.T., Mourad, K.J.: The degree of a $$\\Sigma _n$$ \u03a3 n cut. Ann. Pure Appl. Log. 48, 227\u2013235 (1990)","journal-title":"Ann. Pure Appl. Log."},{"key":"501_CR6","doi-asserted-by":"crossref","unstructured":"Friedman, H.: Countable models of set theories. In: Mathias, A.R.D., Rogers, H. (eds.) Cambridge Summer School in Mathematical Logic. Lecture Notes in Mathematics, vol. 337, pp. 539\u2013573. Springer, Berlin, Heidelberg (1973)","DOI":"10.1007\/BFb0066789"},{"key":"501_CR7","first-page":"173","volume":"255","author":"SD Friedman","year":"1979","unstructured":"Friedman, S.D.: $$\\beta $$ \u03b2 -recursion theory. Trans. Am. Math. Soc. 255, 173\u2013200 (1979)","journal-title":"Trans. Am. Math. Soc."},{"issue":"2","key":"501_CR8","doi-asserted-by":"crossref","first-page":"450","DOI":"10.2307\/2275670","volume":"61","author":"MJ Groszek","year":"1996","unstructured":"Groszek, M.J., Mytilinaios, M.E., Slaman, T.A.: The Sacks density theorem and $$\\Sigma _2$$ \u03a3 2 -bounding. J. Symb. Log. 61(2), 450\u2013467 (1996)","journal-title":"J. Symb. Log."},{"key":"501_CR9","unstructured":"Jech, T.: Set Theory: The Third Millennium Edition, Revised and Expanded. Springer Monographs in Mathematics, 3rd edn. Springer, Berlin (2003)"},{"issue":"4","key":"501_CR10","doi-asserted-by":"crossref","first-page":"497","DOI":"10.1305\/ndjfl\/1193667707","volume":"48","author":"R Kaye","year":"2007","unstructured":"Kaye, R., Wong, T.L.: On interpretations of arithmetic and set theory. Notre Dame J. Form. Log. 48(4), 497\u2013510 (2007)","journal-title":"Notre Dame J. Form. Log."},{"key":"501_CR11","doi-asserted-by":"crossref","first-page":"405","DOI":"10.2307\/2372632","volume":"77","author":"SC Kleene","year":"1955","unstructured":"Kleene, S.C.: On the form of predicates in the theory of constructive ordinals (second paper). Am. J. Math. 77, 405\u2013428 (1955)","journal-title":"Am. J. Math."},{"key":"501_CR12","doi-asserted-by":"crossref","first-page":"415","DOI":"10.1016\/0003-4843(72)90007-1","volume":"4","author":"M Lerman","year":"1972","unstructured":"Lerman, M., Sacks, G.E.: Some minimal pairs of $$\\alpha $$ \u03b1 -recursively enumerable degrees. Ann. Math. Log. 4, 415\u2013442 (1972)","journal-title":"Ann. Math. Log."},{"issue":"1","key":"501_CR13","doi-asserted-by":"crossref","first-page":"194","DOI":"10.2307\/2274962","volume":"55","author":"RS Lubarsky","year":"1990","unstructured":"Lubarsky, R.S.: An introduction to $$\\gamma $$ \u03b3 -recursion theory (or what to do in $${\\rm KP}\\,-\\,$$ KP - foundation). J. Symb. Log. 55(1), 194\u2013206 (1990)","journal-title":"J. Symb. Log."},{"issue":"3\u20134","key":"501_CR14","first-page":"169","volume":"18","author":"W Maass","year":"1976","unstructured":"Maass, W.: On minimal pairs and minimal degrees in higher recursion theory. Arch. Math. Log. Grundlag. 18(3\u20134), 169\u2013186 (1976)","journal-title":"Arch. Math. Log. Grundlag."},{"issue":"1","key":"501_CR15","doi-asserted-by":"crossref","first-page":"38","DOI":"10.2307\/2275013","volume":"54","author":"M Mytilinaios","year":"1989","unstructured":"Mytilinaios, M.: Finite injury and $$\\Sigma _1$$ \u03a3 1 -induction. J. Symb. Log. 54(1), 38\u201349 (1989)","journal-title":"J. Symb. Log."},{"issue":"1","key":"501_CR16","doi-asserted-by":"crossref","first-page":"212","DOI":"10.2307\/2274439","volume":"53","author":"ME Mytilinaios","year":"1988","unstructured":"Mytilinaios, M.E., Slaman, T.A.: $$\\Sigma _2$$ \u03a3 2 -collection and the infinite injury priority method. J. Symb. Log. 53(1), 212\u2013221 (1988)","journal-title":"J. Symb. Log."},{"key":"501_CR17","doi-asserted-by":"crossref","unstructured":"Paris, J.B., Kirby, L.A.S.: $$\\Sigma _{n}$$ \u03a3 n -collection schemas in arithmetic. In: Logic Colloquium \u201977 (Proceedings of Conference on Wroc\u0142aw 1977), vol. 96 of Studies in Logic and the Foundations of Mathematics, pp. 199\u2013209. North-Holland (1978)","DOI":"10.1016\/S0049-237X(08)72003-2"},{"key":"501_CR18","doi-asserted-by":"crossref","unstructured":"Rathjen, M.: Fragments of Kripke\u2013Platek set theory with infinity. In: Aczel, P., Simmons, H., Wainer, S.S. (eds.) Proof Theory (Leeds, 1990), pp. 251\u2013274. Cambridge University Press, Cambridge (1993)","DOI":"10.1017\/CBO9780511896262.011"},{"issue":"3","key":"501_CR19","doi-asserted-by":"crossref","first-page":"954","DOI":"10.2307\/2275441","volume":"57","author":"M Rathjen","year":"1992","unstructured":"Rathjen, M.: A proof-theoretic characterization of the primitive recursive set functions. J. Symbol. Log. 57(3), 954\u2013969 (1992)","journal-title":"J. Symbol. Log."},{"issue":"1","key":"501_CR20","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1002\/malq.200710036","volume":"54","author":"M Rathjen","year":"2008","unstructured":"Rathjen, M.: The natural numbers in constructive set theory. MLQ Math. Log. Q. 54(1), 83\u201397 (2008)","journal-title":"MLQ Math. Log. Q."},{"key":"501_CR21","unstructured":"Ressayre, J.P.: Mod\u00e8les non standard et sous-syst\u00e8mes remarquables de $$\\rm {ZF}$$ ZF . In: Mod\u00e8les Non standard en Arithm\u00e9tique et th\u00e9orie des ensembles, vol. 22 of Publications Math\u00e9matiques de l\u2019Universit\u00e9 Paris VII, pp. 47\u2013147. Universit\u00e9 de Paris VII, U.E.R. de Math\u00e9matiques, Paris (1987)"},{"key":"501_CR22","doi-asserted-by":"crossref","first-page":"343","DOI":"10.1016\/0003-4843(72)90004-6","volume":"4","author":"GE Sacks","year":"1972","unstructured":"Sacks, G.E., Simpson, S.G.: The $$\\alpha $$ \u03b1 -finite injury method. Ann. Math. Log. 4, 343\u2013367 (1972)","journal-title":"Ann. Math. Log."},{"key":"501_CR23","first-page":"65","volume":"204","author":"RA Shore","year":"1975","unstructured":"Shore, R.A.: Splitting an $$\\alpha $$ \u03b1 -recursively enumerable set. Trans. Am. Math. Soc. 204, 65\u201377 (1975)","journal-title":"Trans. Am. Math. Soc."},{"issue":"1\u20132","key":"501_CR24","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1016\/0003-4843(76)90007-3","volume":"9","author":"RA Shore","year":"1976","unstructured":"Shore, R.A.: The recursively enumerable $$\\alpha $$ \u03b1 -degrees are dense. Ann. Math. Log. 9(1\u20132), 123\u2013155 (1976)","journal-title":"Ann. Math. Log."},{"issue":"5","key":"501_CR25","doi-asserted-by":"crossref","first-page":"409","DOI":"10.1002\/malq.19780242505","volume":"24","author":"RA Shore","year":"1978","unstructured":"Shore, R.A.: Some more minimal pairs of $$\\alpha $$ \u03b1 -recursively enumerable degrees. Z. Math. Log. Grundlag. Math. 24(5), 409\u2013418 (1978)","journal-title":"Z. Math. Log. Grundlag. Math."},{"issue":"8","key":"501_CR26","doi-asserted-by":"crossref","first-page":"2449","DOI":"10.1090\/S0002-9939-04-07294-6","volume":"132","author":"TAP Slaman","year":"2004","unstructured":"Slaman, T.A.P.: $$\\Sigma _n$$ \u03a3 n -bounding and $$\\Delta _n$$ \u0394 n -induction. Proc. Am. Math. Soc. 132(8), 2449\u20132456 (2004)","journal-title":"Proc. Am. Math. Soc."}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-016-0501-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00153-016-0501-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-016-0501-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,19]],"date-time":"2023-08-19T23:51:19Z","timestamp":1692489079000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00153-016-0501-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,9,6]]},"references-count":26,"journal-issue":{"issue":"7-8","published-print":{"date-parts":[[2016,11]]}},"alternative-id":["501"],"URL":"https:\/\/doi.org\/10.1007\/s00153-016-0501-z","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,9,6]]}}}