Church Alonzo and Kleene S. C.. Formal definitions in the theory of ordinal numbers. Fundamenta mathematicae, vol. 28 , pp. 11–21 [Book Review]

Journal of Symbolic Logic 2 (2):87-87 (1937)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2267378

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Review: Alonzo Church, S. C. Kleene, Formal Definitions in the Theory of Ordinal Numbers. [REVIEW]Barkley Rosser - 1937 - Journal of Symbolic Logic 2 (2):87-87.
Formal Definitions in the Theory of Ordinal Numbers.Alonzo Church & S. C. Kleene - 1937 - Journal of Symbolic Logic 2 (2):87-87.
Unvollständigkeit und Unentscheidbarkeit.Wolfgang Stegmüller - 1959 - Wien,: Springer.
Myhill John. A system which can define its own truth. Fundamenta mathematicae, vol. 37 , pp. 190–192.Alonzo Church - 1956 - Journal of Symbolic Logic 21 (3):319-319.
Hanf W.. On a problem of Erdös and Tarski. Fundamenta mathematicae, vol. 53 no. 3 , pp. 325–334.Monk D. and Scott D.. Additions to some results of Erdös and Tarski. Fundamenta mathematicae, vol. 53 no. 3 , pp. 335–343.Hajnal A.. Remarks on the theory of W. P. Hanf. Fundamenta mathematicae vol. 54 no. 1 , pp. 109–113. [REVIEW]Jean A. Larson - 1974 - Journal of Symbolic Logic 39 (2):332-332.
Łos J.. On the extending of models . Fundamenta mathematicae, vol. 42 , pp. 38–54.Łos J. and Suszko R.. On the extending of models . Common extensions. Fundamenta mathematicae, vol. 42 , pp. 343–347.Słomiński J.. On the extending of models . Extensions in equationally definable classes of algebras. Fundamenta mathematicae, vol. 43 , pp. 69–76.Łos J. and Suszko R.. On the extending of models . Infinite sums of models. Fundamenta mathematicae, vol. 44 , pp. 52–60. [REVIEW]H. Jerome Keisler - 1962 - Journal of Symbolic Logic 27 (1):93-95.
Mostowski Andrzej. Some impredicative definitions in the axiomatic set-theory. Fundamenta mathematicae, vol. 37 , pp. 111–124. [REVIEW]Th Skolem - 1951 - Journal of Symbolic Logic 16 (4):274-275.
Mostowski Andrzej Correction to the paper “Some impredicative definitions in the axiomatic set-theory.” Fundamenta mathematicae, vol. 38 , p. 238. [REVIEW]Th Skolem - 1953 - Journal of Symbolic Logic 18 (4):343-343.
Mycielski Jan and Steinhaus H.. A mathematical axiom contradicting the axiom of choice. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 10 , pp. 1–3.Mycielski Jan. On the axiom of determinateness. Fundamenta mathematicae, vol. 53 , pp. 205–224.Mycielski Jan and Świerczkowski S.. On the Lebesgue measurability and the axiom of determinateness. Fundamenta mathematicae, vol. 54 , pp. 67–71.Mycielski Jan. On the axiom of determinateness . Fundamenta mathematicae, vol. 59 , pp. 203–212. [REVIEW]James E. Baumgartner - 1971 - Journal of Symbolic Logic 36 (1):164-166.
Gaifman H.. Infinite Boolean polynomials I. Fundamenta mathematicae, vol. 54 , pp. 229–250. , p. 117.)Hales A. W.. On the non-existence of free complete Boolean algebras. Fundamenta mathematicae, vol. 54 , pp. 45–66. [REVIEW]Thomas Frayne - 1967 - Journal of Symbolic Logic 32 (1):131-132.
What are numbers?Zvonimir Šikić - 1996 - International Studies in the Philosophy of Science 10 (2):159-171.
Fuhrken G.. Skolem-type normal forms for first-order languages with a generalized quantifier. Fundamenta mathematicae, vol. 54 , pp. 291–302.Vaught R. L.. The completeness of logic with the added quantifier “there are uncountably many.” Fundamenta mathematicae, vol. 54 , pp. 303–304. [REVIEW]Pawel Zbierski - 1968 - Journal of Symbolic Logic 33 (1):121-122.
R. S. Lehman. On primitive recursive real numbers. Fundamenta mathematicae, vol. 49 , pp. 105–118.Paul Axt - 1962 - Journal of Symbolic Logic 27 (2):245-246.
Lévy A.. The independence of various definitions of finiteness. Fundamenta mathematicae, vol. 46 , pp. 1–13.Andrzej Mostowski - 1960 - Journal of Symbolic Logic 25 (2):179-179.
On notation for ordinal numbers.S. C. Kleene - 1938 - Journal of Symbolic Logic 3 (4):150-155.

Analytics

Added to PP
2016-06-30

Downloads
14 (#965,243)

6 months
2 (#1,232,442)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references