Formal definitions in the theory of ordinal numbers

Article Properties
Cite
Church, Alonzo, and S. Kleene. “Formal Definitions in the Theory of Ordinal Numbers”. Fundamenta Mathematicae, vol. 28, 1937, pp. 11-21, https://doi.org/10.4064/fm-28-1-11-21.
Church, A., & Kleene, S. (1937). Formal definitions in the theory of ordinal numbers. Fundamenta Mathematicae, 28, 11-21. https://doi.org/10.4064/fm-28-1-11-21
Church, Alonzo, and S. Kleene. “Formal Definitions in the Theory of Ordinal Numbers”. Fundamenta Mathematicae 28 (1937): 11-21. https://doi.org/10.4064/fm-28-1-11-21.
Church A, Kleene S. Formal definitions in the theory of ordinal numbers. Fundamenta Mathematicae. 1937;28:11-2.
Journal Category
Science
Mathematics
Citations
Title Journal Journal Categories Citations Publication Date
Towards a Logical Foundation of Randomized Computation: Doctoral Thesis Abstract

 KI - Künstliche Intelligenz
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
 2024
Computable Linear Orders and Limitwise Monotonic Functions Journal of Mathematical Sciences 2 2021
Turing oracle machines, online computing, and three displacements in computability theory Annals of Pure and Applied Logic
  • Technology: Technology (General): Industrial engineering. Management engineering: Applied mathematics. Quantitative methods
  • Science: Mathematics
  • Science: Mathematics
 25 2009
Integrating external deduction tools with ACL2 Journal of Applied Logic 9 2009
A Mechanical Analysis of Program Verification Strategies Journal of Automated Reasoning
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
 1 2008
Citations Analysis
Category Category Repetition
Science: Mathematics24
Science: Mathematics: Instruments and machines: Electronic computers. Computer science5
Philosophy. Psychology. Religion: Philosophy (General)3
History (General) and history of Europe: History (General)3
Social Sciences2
Technology: Technology (General): Industrial engineering. Management engineering: Applied mathematics. Quantitative methods2
Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software2
Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware2
The category Science: Mathematics 24 is the most commonly referenced area in studies that cite this article. The first research to cite this article was titled On notation for ordinal numbers and was published in 1938. The most recent citation comes from a 2024 study titled Towards a Logical Foundation of Randomized Computation: Doctoral Thesis Abstract. This article reached its peak citation in 2009, with 2 citations. It has been cited in 20 different journals, 5% of which are open access. Among related journals, the Transactions of the American Mathematical Society cited this research the most, with 4 citations. The chart below illustrates the annual citation trends for this article.
Citations used this article by year