On notation for ordinal numbers

Journal of Symbolic Logic 3 (4):150-155 (1938)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2267778

Other Versions

reprint Kleene, S. C. (1939) "On Notation for Ordinal Numbers". Journal of Symbolic Logic 4(2):93-94

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,290

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

Kleene S. C.. On notation for ordinal numbers.Rózsa Péter - 1939 - Journal of Symbolic Logic 4 (2):93-94.
Church Alonzo and Kleene S. C.. Formal definitions in the theory of ordinal numbers. Fundamenta mathematicae, vol. 28 , pp. 11–21. [REVIEW]Barkley Rosser - 1937 - Journal of Symbolic Logic 2 (2):87-87.
S. C. Kleene. General recursive functions of natural numbers. Mathematische Annalen, Bd. 112 , S. 727–742.Rózsa Péter - 1937 - Journal of Symbolic Logic 2 (1):38-38.
S. C. Kleene. General recursive functions of natural numbers. Mathematische Annalen, Bd. 112 (1935–1936), S. 727–742.S. C. Kleene - 1937 - Journal of Symbolic Logic 2 (1):38-38.
Kleene S. C.. On the interpretation of intuitionistic number theory. [REVIEW]Andkzej Mostowski - 1947 - Journal of Symbolic Logic 12 (3):91-93.
Kleene S. C.. Permutability of inferences in Gentzen's calculi LK and LJ. Two papers on the predicate calculus, by Kleene S. C. , lithographed, Providence 1952, pp. 1–26.Kleene S. C.. Finite axiomatizability of theories in the predicate calculus using additional predicate symbols. Two papers on the predicate calculus, by Kleene S. C. , lithographed, Providence 1952, pp. 27–66.Kleene S. C.. Bibliography. Two papers on the predicate calculus, by Kleene S. C. , lithographed, Providence 1952, pp. 67–68.Craig William. On axiomatizability within a system. [REVIEW]Robert McNaughton - 1954 - Journal of Symbolic Logic 19 (1):62-63.
S. C. Kleene. An addendum. The journal of symbolic logic, vol. 28 no. 2 , pp. 154–156.T. Thacher Robinson - 1964 - Journal of Symbolic Logic 29 (3):146.

Analytics

Added to PP
2009-01-28

Downloads
288 (#93,394)

6 months
12 (#277,123)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Mereology.Achille C. Varzi - 2016 - Stanford Encyclopedia of Philosophy.
Semantical analysis of weak Kleene logics.Roberto Ciuni & Massimiliano Carrara - 2019 - Journal of Applied Non-Classical Logics 29 (1):1-36.
Computability and recursion.Robert I. Soare - 1996 - Bulletin of Symbolic Logic 2 (3):284-321.

View all 122 citations / Add more citations

References found in this work

On Computable Numbers, with an Application to the Entscheidungsproblem.Alan Turing - 1936 - Proceedings of the London Mathematical Society 42 (1):230-265.

Add more references