{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,3]],"date-time":"2022-04-03T01:25:22Z","timestamp":1648949122968},"reference-count":6,"publisher":"Cambridge University Press (CUP)","issue":"3","license":[{"start":{"date-parts":[[2014,3,12]],"date-time":"2014-03-12T00:00:00Z","timestamp":1394582400000},"content-version":"unspecified","delay-in-days":17724,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. symb. log."],"published-print":{"date-parts":[[1965,9]]},"abstract":"<jats:p>Although Peano's arithmetic can be developed in set theories, it can also be developed independently. This is also true for the theory of ordinal numbers. The author formalized the theory of ordinal numbers in logical systems <jats:bold><jats:italic>GLC<\/jats:italic><\/jats:bold> (in [2]) and <jats:italic><jats:bold>FLC<\/jats:bold><\/jats:italic> (in [3]). These logical systems which contain the concept of \u2018arbitrary predicates\u2019 or \u2018arbitrary functions\u2019 are of higher order than the first order predicate calculus with equality. In this paper we shall develop <jats:italic>the theory of ordinal numbers in the first order predicate calculus with equality<\/jats:italic> as an extension of Peano's arithmetic. This theory will prove to be easy to manage and fairly powerful in the following sense: If <jats:italic>A<\/jats:italic> is a sentence of the theory of ordinal numbers, then <jats:italic>A<\/jats:italic> is a theorem of our system if and only if the natural translation of <jats:italic>A<\/jats:italic> in set theory is a theorem of Zermelo-Fraenkel set theory. It will be treated as a natural extension of Peano's arithmetic. The latter consists of axiom schemata of primitive recursive functions and mathematical induction, while the theory of ordinal numbers consists of axiom schemata of primitive recursive functions of ordinal numbers (cf. [5]), of transfinite induction, of replacement and of cardinals. The latter three axiom schemata can be considered as extensions of mathematical induction.<\/jats:p><jats:p>In the theory of ordinal numbers thus developed, we shall construct a model of Zermelo-Fraenkel's set theory by following G\u00f6del's construction in [1]. Our intention is as follows: We shall define a relation \u03b1 \u2208 \u03b2 as a primitive recursive predicate, which corresponds to <jats:italic>F<\/jats:italic>\u2032 \u03b1 \u03b5 <jats:italic>F<\/jats:italic>\u2032 \u03b2 in [1]; G\u00f6del defined the constructible model \u0394 using the primitive notion \u03b5 in the universe or, in other words, using the whole set theory.<\/jats:p>","DOI":"10.2307\/2269620","type":"journal-article","created":{"date-parts":[[2006,5,6]],"date-time":"2006-05-06T20:29:40Z","timestamp":1146947380000},"page":"295-317","source":"Crossref","is-referenced-by-count":8,"title":["A formalization of the theory of ordinal numbers"],"prefix":"10.1017","volume":"30","author":[{"given":"Gaisi","family":"Takeuti","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2014,3,12]]},"reference":[{"key":"S0022481200055912_ref004","doi-asserted-by":"publisher","DOI":"10.2969\/jmsj\/01220119"},{"key":"S0022481200055912_ref003","doi-asserted-by":"publisher","DOI":"10.2969\/jmsj\/00910093"},{"key":"S0022481200055912_ref002","doi-asserted-by":"publisher","DOI":"10.2969\/jmsj\/00620196"},{"key":"S0022481200055912_ref001","volume-title":"The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory","author":"G\u00f6del","year":"1951"},{"key":"S0022481200055912_ref006","doi-asserted-by":"publisher","DOI":"10.2969\/jmsj\/01010106"},{"key":"S0022481200055912_ref005","doi-asserted-by":"publisher","DOI":"10.2969\/jmsj\/01420199"}],"container-title":["Journal of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0022481200055912","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,3]],"date-time":"2019-06-03T19:32:06Z","timestamp":1559590326000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0022481200055912\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1965,9]]},"references-count":6,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1965,9]]}},"alternative-id":["S0022481200055912"],"URL":"https:\/\/doi.org\/10.2307\/2269620","relation":{},"ISSN":["0022-4812","1943-5886"],"issn-type":[{"value":"0022-4812","type":"print"},{"value":"1943-5886","type":"electronic"}],"subject":[],"published":{"date-parts":[[1965,9]]}}}