{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T21:40:02Z","timestamp":1706650802226},"reference-count":14,"publisher":"Duke University Press","issue":"4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[1995,10,1]]},"DOI":"10.1305\/ndjfl\/1040136911","type":"journal-article","created":{"date-parts":[[2003,2,25]],"date-time":"2003-02-25T21:20:16Z","timestamp":1046208016000},"source":"Crossref","is-referenced-by-count":0,"title":["The Contribution of Zygmunt Ratajczyk to the Foundations of Arithmetic"],"prefix":"10.1215","volume":"36","author":[{"given":"Roman","family":"Murawski","sequence":"first","affiliation":[]}],"member":"73","reference":[{"key":"1","unstructured":"\u201cOn extendability of uncountable nonstandard models of ZF to models of KM,\" abstract, <i>The Journal of Symbolic Logic<\/i>, vol. 42 (1977), p. 466."},{"key":"2","unstructured":"\u201cOn sentences provable in impredicative extensions of theories,\" <i>Dissertationes Mathematic\u00e6<\/i>, vol. 178 (1979), pp. 1\u201344. Zbl 0427.03041 MR 81g:03062"},{"key":"3","doi-asserted-by":"crossref","unstructured":"\u201cOn the number of expansions of the models of ZFC-set theory to models of KM-theory of classes,\" pp. 317\u2013333 in <i>Logic Colloquium '78<\/i>, edited by M. Boffa, D. van Dalen, and K. McAloon, North-Holland, Amsterdam, 1979. Zbl 0445.03028 MR 83j:03056","DOI":"10.1016\/S0049-237X(08)71632-X"},{"key":"4","doi-asserted-by":"publisher","unstructured":"\u201cA characterization of expandability of models for ZF to models for KM,\" <i>Fundamenta Mathematic\u00e6<\/i>, vol. 113 (1981), pp. 9\u201319. Zbl 0478.03015 MR 83b:03041","DOI":"10.4064\/fm-113-1-9-19"},{"key":"5","doi-asserted-by":"publisher","unstructured":"\u201cSatisfaction classes and combinatorial sentences independent from PA,\" <i>Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik<\/i>, vol. 28 (1982), pp. 149\u2013165. Zbl 0522.03043 MR 83j:03097","DOI":"10.1002\/malq.19820280804"},{"key":"6","unstructured":"\u201cNote on submodels for A$_2$,\" pp. 265\u2013280 in <i>Open Days in Model Theory and Set Theory<\/i>, edited by W. Guzicki, W. Marek, A. Pelc and C. Rauszer, Leeds, 1983."},{"key":"7","unstructured":"\u201cTraces of models on initial segments,\" abstract, <i>The Journal of Symbolic Logic<\/i>, vol. 50 (1985), pp. 273\u2013274."},{"key":"8","doi-asserted-by":"crossref","unstructured":"\u201cA combinatorial analysis of functions provably recursive in $I\\Sigma_{n}$,\" <i>Fundamenta Mathematic\u00e6<\/i>, vol. 130 (1988), pp. 191\u2013213. Zbl 0659.03036 MR 90d:03126","DOI":"10.4064\/fm-130-3-191-213"},{"key":"9","doi-asserted-by":"publisher","unstructured":"\u201cFunctions provably total in $I^{-}\\Sigma_{n}$,\" <i>Fundamenta Mathematic\u00e6<\/i>, vol. 133 (1989), pp. 81\u201395. Zbl 0703.03018 MR 91k:03140","DOI":"10.4064\/fm-133-1-81-95"},{"key":"10","doi-asserted-by":"crossref","unstructured":"(with H. Kotlarski) \u201cInductive full satisfaction classes,\" <i>Annals of Pure and Applied Logic<\/i>, vol. 47 (1990), pp. 199\u2013223. Zbl 0708.03014 MR 92b:03058","DOI":"10.1016\/0168-0072(90)90035-Z"},{"key":"11","doi-asserted-by":"crossref","unstructured":"(with H. Kotlarski) \u201cMore on induction in the language with a satisfaction class,\" <i>Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik<\/i>, vol. 36 (1990), pp. 441\u2013454. Zbl 0723.03033 MR 92b:03059","DOI":"10.1002\/malq.19900360509"},{"key":"12","unstructured":"\u201cThe Frege systems in the language of clauses,\" abstract, <i>The Journal of Symbolic Logic<\/i>, vol. 56 (1991), p. 1140."},{"key":"13","doi-asserted-by":"crossref","unstructured":"\u201cArithmetical transfinite induction and hierarchies of functions,\" <i>Fundamenta Mathematic\u00e6<\/i>, vol. 141 (1992), pp. 1\u201320. Zbl 0809.03043 MR 93i:03081","DOI":"10.4064\/fm-141-1-1-20"},{"key":"14","doi-asserted-by":"crossref","unstructured":"\u201cSubsystems of true arithmetic and hierarchies of functions,\" <i>Annals of Pure and Applied Logic<\/i>, vol. 64 (1993), pp. 95\u2013152. Zbl 0802.03036 MR 94f:03068","DOI":"10.1016\/0168-0072(93)90031-8"}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1305\/ndjfl\/1040136911","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T21:12:36Z","timestamp":1706649156000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-36\/issue-4\/The-Contribution-of-Zygmunt-Ratajczyk-to-the-Foundations-of-Arithmetic\/10.1305\/ndjfl\/1040136911.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,10,1]]},"references-count":14,"journal-issue":{"issue":"4","published-online":{"date-parts":[[1995,10,1]]}},"URL":"https:\/\/doi.org\/10.1305\/ndjfl\/1040136911","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[1995,10,1]]}}}