{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T17:24:01Z","timestamp":1725902641827},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662553855"},{"type":"electronic","value":"9783662553862"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-662-55386-2_19","type":"book-chapter","created":{"date-parts":[[2017,6,28]],"date-time":"2017-06-28T11:24:53Z","timestamp":1498649093000},"page":"271-280","source":"Crossref","is-referenced-by-count":1,"title":["Concrete Mathematics. Finitistic Approach to Foundations"],"prefix":"10.1007","author":[{"given":"Marcin","family":"Mostowski","sequence":"first","affiliation":[]},{"given":"Marek","family":"Czarnecki","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,6,29]]},"reference":[{"key":"19_CR1","unstructured":"Aristotle: Physics (Circa 350 BC), http:\/\/classics.mit.edu\/Aristotle\/physics.html . English translation by Hardie, R.P. and Gaye, R.K"},{"key":"19_CR2","doi-asserted-by":"crossref","unstructured":"Cayley, A.: On the theory of groups, as depending on the symbolic equation $$\\theta ^n = 1$$ . In: Philosophical Magazine, vol. 7, pp. 40\u201347. Taylor & Francis, London (1854)","DOI":"10.1080\/14786445408647421"},{"key":"19_CR3","unstructured":"Chang, C.C., Keisler, H.J.: Model Theory, Studies in Logic and the Foundations of Mathematics Series, vol. 73. North-Holland, Amsterdam (1973)"},{"key":"19_CR4","unstructured":"Czarnecki, M.: Foundations of mathematics without actual infinity. Ph.D. thesis, University of Warsaw (2014)"},{"key":"19_CR5","series-title":"Lecture Notes in Mathematics","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0067135","volume-title":"Degrees of Unsolvability Structure and Theory","author":"RL Epstein","year":"1979","unstructured":"Epstein, R.L.: Degrees of Unsolvability Structure and Theory. Lecture Notes in Mathematics, 1st edn. Springer, Heidelberg (1979)","edition":"1"},{"key":"19_CR6","unstructured":"Gauss, C.F., Schumacher, H.C., Peters, C.A.F.: Briefwechsel zwischen C.F. Gauss und H.C. Schumacher, vol. 2 in Briefwechsel zwischen C.F. Gauss und H.C. Schumacher (1860)"},{"issue":"1","key":"19_CR7","doi-asserted-by":"crossref","first-page":"349","DOI":"10.1007\/BF01696781","volume":"37","author":"K G\u00f6del","year":"1930","unstructured":"G\u00f6del, K.: Die Vollst\u00e4ndigkeit der Axiome des logischen Funktionenkalk\u00fcls. Monatshefte f\u00fcr Mathematik und Physik 37(1), 349\u2013360 (1930). English translation in [9]","journal-title":"Monatshefte f\u00fcr Mathematik und Physik"},{"key":"19_CR8","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1007\/BF01700692","volume":"38","author":"K G\u00f6del","year":"1931","unstructured":"G\u00f6del, K.: \u00dcber Formal Unentscheidbare S\u00e4tze der Principia Mathematica und Verwandter Systeme, I. Monatshefte f\u00fcr Math.u.Physik 38, 173\u2013198 (1931). English translation in [10]","journal-title":"Monatshefte f\u00fcr Math.u.Physik"},{"key":"19_CR9","unstructured":"G\u00f6del, K.: The completeness of the axioms of the functional calculus of logic. In: van Heijenoort, J. (ed.) From Frege to G\u00f6del: A Source Book in Mathematical Logic, 1879\u20131931, pp. 582\u2013591. Harvard University Press (2002)"},{"key":"19_CR10","unstructured":"G\u00f6del, K.: On formally undecidable propositions of Principia mathematica and related systems i. In: van Heijenoort, J. (ed.) From Frege to G\u00f6del: A Source Book in Mathematical Logic, 1879\u20131931, pp. 596\u2013617. Harvard University Press (2002)"},{"key":"19_CR11","doi-asserted-by":"crossref","first-page":"28","DOI":"10.2307\/2270580","volume":"30","author":"EM Gold","year":"1965","unstructured":"Gold, E.M.: Limiting recursion. J. Symbolic Logic 30, 28\u201348 (1965)","journal-title":"J. Symbolic Logic"},{"key":"19_CR12","volume-title":"Concrete Mathematics: A Foundation for Computer Science","author":"RL Graham","year":"1994","unstructured":"Graham, R.L., Knuth, D.E., Patashnik, O.: Concrete Mathematics: A Foundation for Computer Science, 2nd edn. Addison-Wesley Longman Publishing Co., Inc., Boston (1994)","edition":"2"},{"key":"19_CR13","unstructured":"Hilbert, D.: On the infinite. In: van Heijenoort, J. (ed.) From Frege to G\u00f6del: A Source Book in Mathematical Logic, 1879\u20131931, pp. 367\u2013392. Harvard University Press (2002)"},{"key":"19_CR14","first-page":"33","volume":"173","author":"CGJ Jockusch","year":"1972","unstructured":"Jockusch, C.G.J., Soare, R.I.: Classes and degrees of theories. Trans. Am. Math. Soc. 173, 33\u201356 (1972)","journal-title":"Trans. Am. Math. Soc."},{"key":"19_CR15","series-title":"Graduate texts in mathematics","volume-title":"General Topology","author":"JL Kelley","year":"1955","unstructured":"Kelley, J.L.: General Topology. Graduate texts in mathematics. Van Nostrand, New York City (1955)"},{"key":"19_CR16","volume-title":"Introduction to Metamathematics","author":"SC Kleene","year":"1952","unstructured":"Kleene, S.C.: Introduction to Metamathematics. North-Holland, Amsterdam (1952)"},{"key":"19_CR17","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1515\/crll.1887.101.337","volume":"101","author":"L Kronecker","year":"1887","unstructured":"Kronecker, L.: \u00dcber den Zahlbegriff. Journal f\u00fcr die reine und angewandte Mathematik 101, 337\u2013355 (1887). English translation in [18]","journal-title":"Journal f\u00fcr die reine und angewandte Mathematik"},{"key":"19_CR18","unstructured":"Kronecker, L.: On the concept of number. In: Ewald, W.B. (ed.) From Kant to Hilbert: A Source Book in the Foundations of Mathematics, vol. 2, pp. 947\u2013955. OUP Oxford (2005)"},{"key":"19_CR19","doi-asserted-by":"crossref","first-page":"513","DOI":"10.1002\/1521-3870(200111)47:4<513::AID-MALQ513>3.0.CO;2-J","volume":"47","author":"M Mostowski","year":"2001","unstructured":"Mostowski, M.: On representing concepts in finite models. Math. Logic Q. 47, 513\u2013523 (2001)","journal-title":"Math. Logic Q."},{"key":"19_CR20","doi-asserted-by":"crossref","unstructured":"Mostowski, M.: On representing semantics in finite models. In: Rojszczak, A., Cachro, J., Kurczewski, G. (eds.) Philosophical Dimensions of Logic and Science, pp. 15\u201328. Kluwer Academic Publishers (2003)","DOI":"10.1007\/978-94-017-2612-2_2"},{"issue":"1\u20133","key":"19_CR21","first-page":"241","volume":"81","author":"M Mostowski","year":"2007","unstructured":"Mostowski, M.: Potential infinity and the church thesis. Fundamenta Informaticae 81(1\u20133), 241\u2013248 (2007)","journal-title":"Fundamenta Informaticae"},{"key":"19_CR22","unstructured":"Mostowski, M.: Limiting recursion, FM-representability, and hypercomputations. In: Logic and Theory of Algorithms, Fourth Conference on Computability in Europe, CiE 2008, Local Proceedings, 15\u201320 June 2008"},{"key":"19_CR23","first-page":"75","volume":"51","author":"M Mostowski","year":"2016","unstructured":"Mostowski, M.: Truth in the limit. Rep. Math. Logic 51, 75\u201389 (2016)","journal-title":"Rep. Math. Logic"},{"key":"19_CR24","doi-asserted-by":"crossref","first-page":"625","DOI":"10.2307\/2273760","volume":"46","author":"J Mycielski","year":"1981","unstructured":"Mycielski, J.: Analysis without actual infinity. J. Symbolic Logic 46, 625\u2013633 (1981)","journal-title":"J. Symbolic Logic"},{"key":"19_CR25","doi-asserted-by":"crossref","first-page":"49","DOI":"10.2307\/2270581","volume":"30","author":"H Putnam","year":"1965","unstructured":"Putnam, H.: Trial and error predicates and the solution to a problem of Mostowski. J. Symbolic Logic 30, 49\u201357 (1965)","journal-title":"J. Symbolic Logic"},{"key":"19_CR26","unstructured":"Russell, B.A.W., Whitehead, A.N.: Principia mathematica, vol. I.-III. Cambridge University Press, Cambridge (1910\u20131913)"},{"key":"19_CR27","doi-asserted-by":"crossref","first-page":"644","DOI":"10.2307\/1970028","volume":"69","author":"JR Shoenfield","year":"1959","unstructured":"Shoenfield, J.R.: On degrees of unsolvability. Ann. Math. 69, 644\u2013653 (1959)","journal-title":"Ann. Math."},{"issue":"2","key":"19_CR28","doi-asserted-by":"crossref","first-page":"349","DOI":"10.1017\/S0022481200028309","volume":"53","author":"SG Simpson","year":"1988","unstructured":"Simpson, S.G.: Partial realizations of Hilbert\u2019s program. J. Symb. Log. 53(2), 349\u2013363 (1988)","journal-title":"J. Symb. Log."},{"issue":"1","key":"19_CR29","first-page":"37","volume":"40","author":"MH Stone","year":"1936","unstructured":"Stone, M.H.: The theory of representation for boolean algebras. Trans. Am. Math. Soc. 40(1), 37\u2013111 (1936)","journal-title":"Trans. Am. Math. Soc."},{"issue":"9","key":"19_CR30","doi-asserted-by":"crossref","first-page":"524","DOI":"10.2307\/2026089","volume":"78","author":"WW Tait","year":"1981","unstructured":"Tait, W.W.: Finitism. J. Philos. 78(9), 524\u2013546 (1981)","journal-title":"J. Philos."},{"key":"19_CR31","unstructured":"van der Waerden, B.L.: Moderne Algebra: Unter Benutzung von Vorlesungen von E. Artin und E. Noether, vol. I.-II. Springer, Berlin (1930\u20131931)"}],"container-title":["Lecture Notes in Computer Science","Logic, Language, Information, and Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-55386-2_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,30]],"date-time":"2022-07-30T03:13:35Z","timestamp":1659150815000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-55386-2_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783662553855","9783662553862"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-55386-2_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}