{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,1,31]],"date-time":"2024-01-31T00:08:26Z","timestamp":1706659706839},"reference-count":14,"publisher":"Duke University Press","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[2015,1,1]]},"DOI":"10.1215\/00294527-2835110","type":"journal-article","created":{"date-parts":[[2015,3,24]],"date-time":"2015-03-24T13:17:01Z","timestamp":1427203021000},"source":"Crossref","is-referenced-by-count":1,"title":["The Finitistic Consistency of Heck\u2019s Predicative Fregean System"],"prefix":"10.1215","volume":"56","author":[{"given":"Lu\u00eds","family":"Cruz-Filipe","sequence":"first","affiliation":[]},{"given":"Fernando","family":"Ferreira","sequence":"additional","affiliation":[]}],"member":"73","reference":[{"key":"1","doi-asserted-by":"publisher","unstructured":"[1] Burgess, J. P., \u201cOn a consistent subsystem of Frege\u2019s <i>Grundgesetze<\/i>,\u201d <i>Notre Dame Journal of Formal Logic<\/i>, vol. 39 (1998), pp. 274\u201378.","DOI":"10.1305\/ndjfl\/1039293068"},{"key":"2","unstructured":"[2] Burgess, J. P., <i>Fixing Frege<\/i>, Princeton Monographs in Philosophy, Princeton University Press, Princeton, 2005."},{"key":"3","doi-asserted-by":"publisher","unstructured":"[3] Burgess, J. P., and A. P. Hazen, \u201cPredicative logic and formal arithmetic,\u201d <i>Notre Dame Journal of Formal Logic<\/i>, vol. 39 (1998), pp. 1\u201317.","DOI":"10.1305\/ndjfl\/1039293068"},{"key":"4","doi-asserted-by":"publisher","unstructured":"[4] Buss, S. R., \u201cAn introduction to proof theory,\u201d pp. 1\u201378 in <i>Handbook of Proof Theory<\/i>, edited by S. R. Buss, vol. 137 of <i>Studies in Logic and the Foundations of Mathematics<\/i>, North-Holland, Amsterdam, 1998.","DOI":"10.1016\/S0049-237X(98)80016-5"},{"key":"5","doi-asserted-by":"publisher","unstructured":"[5] Ferreira, F., and G. Ferreira, \u201cInterpretability in Robinson\u2019s $\\mathsf{Q}$,\u201d <i>Bulletin of Symbolic Logic<\/i>, vol. 19 (2013), pp. 289\u2013317.","DOI":"10.2178\/bsl.1903010"},{"key":"6","doi-asserted-by":"publisher","unstructured":"[6] Ferreira, F., and K. F. Wehmeier, \u201cOn the consistency of the $\\Delta^{1}_{1}$-CA fragment of Frege\u2019s <i>Grundgesetze<\/i>,\u201d <i>Journal of Philosophical Logic<\/i>, vol. 31 (2002), pp. 301\u201311.","DOI":"10.1023\/A:1019919403797"},{"key":"7","unstructured":"[7] Frege, G., <i>Basic Laws of Arithmetic, Vols. I, II<\/i>, a translation of <i>Grundgesetze der Arithmetik<\/i>, translated and edited by P. A. Ebert and M. Rossberg with a foreword by C. Wright, Oxford University Press, Oxford, 2013."},{"key":"8","doi-asserted-by":"publisher","unstructured":"[8] Heck, R. G., Jr., \u201cThe consistency of predicative fragments of Frege\u2019s <i>Grundgesetze der Arithmetik<\/i>,\u201d <i>History and Philosophy of Logic<\/i>, vol. 17 (1996), pp. 209\u201320.","DOI":"10.1080\/01445349608837265"},{"key":"9","doi-asserted-by":"publisher","unstructured":"[9] Parsons, T., \u201cOn the consistency of the first-order portion of Frege\u2019s logical system,\u201d <i>Notre Dame Journal of Formal Logic<\/i>, vol. 28 (1987), pp. 161\u201368.","DOI":"10.1305\/ndjfl\/1093636853"},{"key":"10","doi-asserted-by":"publisher","unstructured":"[10] Schwichtenberg, H., \u201cProof theory: Some applications of cut-elimination,\u201d pp. 867\u201395 in <i>Handbook of Mathematical Logic<\/i>, edited by J. Barwise, vol. 90 of <i>Studies in Logic and the Foundations of Mathematics<\/i>, North-Holland, Amsterdam, 1977.","DOI":"10.1016\/S0049-237X(08)71122-4"},{"key":"11","doi-asserted-by":"crossref","unstructured":"[11] Tait, W. W., \u201cFinitism,\u201d <i>Journal of Philosophy<\/i>, vol. 78 (1981), pp. 524\u201346.","DOI":"10.2307\/2026089"},{"key":"12","unstructured":"[12] Takeuti, G., <i>Proof Theory<\/i>, 2nd edition, vol. 81 of <i>Studies in Logic and the Foundations of Mathematics<\/i>, North-Holland, Amsterdam, 1987."},{"key":"13","unstructured":"[13] Tarski, A., A. Mostowski, and R. M. Robinson, <i>Undecidable Theories<\/i>, Studies in Logic and the Foundations of Mathematics, North-Holland, Amsterdam, 1953."},{"key":"14","doi-asserted-by":"publisher","unstructured":"[14] Visser, A., \u201cThe predicative Fregean hierarchy,\u201d <i>Annals of Pure and Applied Logic<\/i>, vol. 160 (2009), pp. 129\u201353.","DOI":"10.1016\/j.apal.2009.02.001"}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1215\/00294527-2835110","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T20:58:27Z","timestamp":1706648307000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-56\/issue-1\/The-Finitistic-Consistency-of-Hecks-Predicative-Fregean-System\/10.1215\/00294527-2835110.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,1,1]]},"references-count":14,"journal-issue":{"issue":"1","published-online":{"date-parts":[[2015,1,1]]}},"URL":"https:\/\/doi.org\/10.1215\/00294527-2835110","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[2015,1,1]]}}}