- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
A note on ordinal numbers and rings of formal power series
Archive for Mathematical Logic 33 (4):261-263 (1994)
Abstract
This article has no associated abstract. (fix it)Other Versions
No versions found
My notes
Similar books and articles
The Bachmann-Howard Structure in Terms of Σ1-Elementarity.Gunnar Wilken - 2006 - Archive for Mathematical Logic 45 (7):807-829.
Gaisi Takeuti and Akiko Kino. On hierarchies of predicates of ordinal numbers. Journal of the Mathematical Society of Japan, vol. 14 , pp. 199–232. - Akiko Kino and Gaisi Takeuti. A note on predicates of ordinal numbers. Journal of the Mathematical Society of Japan, vol. 14 , pp. 367–378. [REVIEW]Wayne Richter - 1968 - Journal of Symbolic Logic 33 (2):293-294.
Interpreting arithmetic in the first-order theory of addition and coprimality of polynomial rings.Javier Utreras - 2019 - Journal of Symbolic Logic 84 (3):1194-1214.
A note on Gentzen’s ordinal assignment.Annika Kanckos - 2019 - Archive for Mathematical Logic 58 (3-4):347-352.
Kino Akiko. A consistency-proof of a formal theory of Ackermann's ordinal numbers. Journal of the Mathematical Society of Japan, vol. 10 , pp. 287–303. [REVIEW]J. R. Guard - 1965 - Journal of Symbolic Logic 30 (3):392-392.
Rings of algebraic numbers in infinite extensions of $${\mathbb {Q}}$$ and elliptic curves retaining their rank.Alexandra Shlapentokh - 2009 - Archive for Mathematical Logic 48 (1):77-114.
A formal characterization of ordinal numbers.Nicholas J. De Lillo - 1973 - Notre Dame Journal of Formal Logic 14 (3):397-400.
A classification of the ordinal recursive functions.S. S. Wainer - 1970 - Archive for Mathematical Logic 13 (3-4):136-153.
Erratum: ``A formal characterization of ordinal numbers''.Nicholas J. De Lillo - 1974 - Notre Dame Journal of Formal Logic 15 (4):648-648.
Analytics
Added to PP
2013-11-23
Downloads
23 (#927,665)
6 months
4 (#1,233,928)
2013-11-23
Downloads
23 (#927,665)
6 months
4 (#1,233,928)
Historical graph of downloads
Citations of this work
Reverse mathematics, young diagrams, and the ascending chain condition.Kostas Hatzikiriakou & Stephen G. Simpson - 2017 - Journal of Symbolic Logic 82 (2):576-589.
References found in this work
Which set existence axioms are needed to prove the cauchy/peano theorem for ordinary differential equations?Stephen G. Simpson - 1984 - Journal of Symbolic Logic 49 (3):783-802.
Which set existence axioms are needed to prove the separable Hahn-Banach theorem?Douglas K. Brown & Stephen G. Simpson - 1986 - Annals of Pure and Applied Logic 31:123-144.
Ordinal numbers and the Hilbert basis theorem.Stephen G. Simpson - 1988 - Journal of Symbolic Logic 53 (3):961-974.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-667477cd97-wmc4m dc2