{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,6]],"date-time":"2026-04-06T10:09:19Z","timestamp":1775470159077,"version":"3.50.1"},"reference-count":14,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1975,8,1]],"date-time":"1975-08-01T00:00:00Z","timestamp":176083200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Philos Logic"],"published-print":{"date-parts":[[1975,8]]},"DOI":"10.1007\/bf00262039","type":"journal-article","created":{"date-parts":[[2004,9,19]],"date-time":"2004-09-19T03:25:47Z","timestamp":1095564347000},"page":"253-267","source":"Crossref","is-referenced-by-count":24,"title":["Experimental logics and \u0394 inf2 sup0 - theories"],"prefix":"10.1007","volume":"4","author":[{"given":"R. G.","family":"Jeroslow","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[1975,8,1]]},"reference":[{"key":"BF00262039_CR1","doi-asserted-by":"crossref","first-page":"35","DOI":"10.4064\/fm-49-1-35-92","volume":"XLIV","author":"S. Feferman","year":"1960","unstructured":"S.Feferman, \u2018The Arithmetization of Metamathematics in a General Setting\u2019, Fundamenta Mathematicae XLIV (1960), 35\u201392.","journal-title":"Fundamenta Mathematicae"},{"key":"BF00262039_CR2","doi-asserted-by":"crossref","first-page":"493","DOI":"10.1007\/BF01565428","volume":"112","author":"G. Gentzen","year":"1936","unstructured":"G.Gentzen, \u2018Die Widerspruchsfreiheit der reinen Zahlentheorie\u2019, Mathematische Annalen 112 (1936), 493\u2013565. An English translation is in The Collected Papers Gerhard Gentzen, M.E. Szabo, editor, North-Holland Publishing Company, 1969, 338 pp.","journal-title":"Mathematische Annalen"},{"key":"BF00262039_CR3","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1007\/BF01700692","volume":"38","author":"K. G\u00f6del","year":"1931","unstructured":"K.G\u00f6del, \u2018Ueber formal unentscheidbare Satze der Principia Mathematica und verwanter Systeme\u2019, Monatschefte fur Mathematik und Physik 38 (1931), 173\u2013198.","journal-title":"Monatschefte fur Mathematik und Physik"},{"key":"BF00262039_CR4","doi-asserted-by":"crossref","first-page":"28","DOI":"10.2307\/2270580","volume":"30","author":"E.M. Gold","year":"1965","unstructured":"E.M.Gold, \u2018Limiting Recursion\u2019, The Journal of Symbolic Logic 30 (March 1965), 28\u201348.","journal-title":"The Journal of Symbolic Logic"},{"key":"BF00262039_CR5","doi-asserted-by":"crossref","first-page":"159","DOI":"10.2307\/2267044","volume":"14","author":"L. Henkin","year":"1949","unstructured":"L.Henkin, \u2018The Completeness of the First-Order Functional Calculus\u2019, The Journal of Symbolic Logic 14 (September 1949), 159\u2013166.","journal-title":"The Journal of Symbolic Logic"},{"key":"BF00262039_CR6","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1007\/BF01206605","volume":"95","author":"D. Hilbert","year":"1926","unstructured":"D.Hilbert, \u2018Uber das Unendliche\u2019, Mathematische Annalen 95 (1926), 161\u2013190.","journal-title":"Mathematische Annalen"},{"key":"BF00262039_CR7","doi-asserted-by":"crossref","unstructured":"R.G. Jeroslow, \u2018On Godel's Consistency Theorem\u2019, manuscript from the School of Mathematics, University of Minnesota, dated July, 1971, p. 72","DOI":"10.4064\/fm-72-1-17-40"},{"key":"BF00262039_CR8","unstructured":"R.G. Jeroslow, \u2018Two Theorems on Experimental Logics\u2019, Research Report 73-4, From the Department of Mathematics, Carnegie-Mellon University, distributed in February 1973. p. 11"},{"key":"BF00262039_CR9","volume-title":"Lectures on Modern Mathematics","author":"G. Kreisel","year":"1963\u201365","unstructured":"G.Kreisel, \u2018Mathematical Logic\u2019, in Lectures on Modern Mathematics, Vol. 3, (ed. by T.L.Saaty), Wiley and Sons, New York, 1963\u20131965."},{"key":"BF00262039_CR10","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1002\/malq.19680140702","volume":"14","author":"G. Kreisel","year":"1968","unstructured":"G.Kreisel and A.Levy, \u2018Reflection Principles and Their Use for Establishing the Complexity of Axiomatic Systems\u2019, Zeitschrift f. math. Logik und Grundlagen d. Math. 14 (1968), 97\u2013142.","journal-title":"Zeitschrift f. math. Logik und Grundlagen d. Math."},{"issue":"IV","key":"BF00262039_CR11","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1007\/BF02414017","volume":"XCVIII","author":"R. Magari","year":"1974","unstructured":"R.Magari, \u2018Su certe teorie non enumerabili (Sulle Limitazioni dei sistemi formali, I)\u2019, Ann. Mat. Pura Appl. (IV) XCVIII (1974), 119\u2013152.","journal-title":"Ann. Mat. Pura Appl."},{"key":"BF00262039_CR12","unstructured":"R. Magari, \u2018Significato e verita nell aritmetica planiana (Sulle limitazioni dei sistemi formali, II)\u2019, to appear in Ann. Mat. Pura Appl.; abstract has appeared in Accademia Nazionale dei Lincei, serie VIII, LIV, fasc. 6, Guigno, (1973), 903\u2013903."},{"key":"BF00262039_CR13","doi-asserted-by":"crossref","first-page":"49","DOI":"10.2307\/2270581","volume":"30","author":"H. Putnam","year":"1965","unstructured":"H.Putnam, \u2018Trial and Error Predicates and the Solution to a Problem of Mostowski\u2019, The Journal of Symbolic Logic 30 (March 1965), 49\u201357.","journal-title":"The Journal of Symbolic Logic"},{"key":"BF00262039_CR14","volume-title":"Theory of Recursive Functions and Effective Computability","author":"H. Rogers Jr.","year":"1967","unstructured":"H.RogersJr., Theory of Recursive Functions and Effective Computability, McGraw-Hill Book Company, New York, 1967, 457 pp."}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00262039.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00262039\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00262039","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,3]],"date-time":"2019-04-03T17:13:52Z","timestamp":1554311632000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00262039"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1975,8]]},"references-count":14,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1975,8]]}},"alternative-id":["BF00262039"],"URL":"https:\/\/doi.org\/10.1007\/bf00262039","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"value":"0022-3611","type":"print"},{"value":"1573-0433","type":"electronic"}],"subject":[],"published":{"date-parts":[[1975,8]]}}}