A system of abstract constructive ordinals

Journal of Symbolic Logic 37 (2):355-374 (1972)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2272979

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,098

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: W. A. Howard, A System of Abstract Constructive Ordinals. [REVIEW]Wilfried Buchholz - 1985 - Journal of Symbolic Logic 50 (1):243-244.
Review: Akiko Kino, A Note on Constructive Ordinals. [REVIEW]Wayne Richter - 1968 - Journal of Symbolic Logic 33 (2):294-295.
Review: Hilary Putnam, Uniqueness Ordinals in Higher Constructive Number Classes. [REVIEW]Wayne Richter - 1966 - Journal of Symbolic Logic 31 (1):135-136.
Review: S. C. Kleene, On the Forms of Predicates in the Theory of Constructive Ordinals. [REVIEW]H. E. Vaughan - 1946 - Journal of Symbolic Logic 11 (4):127-127.
Review: S. C. Kleene, On the Forms of Predicates in the Theory of Constructive Ordinals (Second Paper). [REVIEW]Werner Markwald - 1956 - Journal of Symbolic Logic 21 (4):410-411.
Review: Wayne Richter, Extensions of the Constructive Ordinals; Wayne Richter, Constructive Transfinite Number Classes; Wayne Richter, Constructively Accessible Ordinal Numbers. [REVIEW]Gustav B. Hensel - 1971 - Journal of Symbolic Logic 36 (2):341-342.
Review: W. V. Quine, Hao Wang, On Ordinals. [REVIEW]Azriel Levy - 1968 - Journal of Symbolic Logic 33 (1):113-113.
Extensions of the constructive ordinals.Wayne Richter - 1965 - Journal of Symbolic Logic 30 (2):193-211.
Goodstein sequences for prominent ordinals up to the Bachmann–Howard ordinal.Michiel De Smet & Andreas Weiermann - 2012 - Annals of Pure and Applied Logic 163 (6):669-680.
Review: Nelson Goodman, W. V. Quine, Steps Toward a Constructive Nominalism. [REVIEW]Frederic B. Fitch - 1948 - Journal of Symbolic Logic 13 (1):49-50.

Analytics

Added to PP
2009-01-28

Downloads
33 (#500,650)

6 months
2 (#1,259,876)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

An extension of the omega-rule.Ryota Akiyoshi & Grigori Mints - 2016 - Archive for Mathematical Logic 55 (3-4):593-603.
Proof Theory as an Analysis of Impredicativity.Ryota Akiyoshi - 2012 - Journal of the Japan Association for Philosophy of Science 39 (2):93-107.
Epsilon substitution for $$\textit{ID}_1$$ ID 1 via cut-elimination.Henry Towsner - 2018 - Archive for Mathematical Logic 57 (5-6):497-531.

Add more citations

References found in this work

Formal systems for some branches of intuitionistic analysis.G. Kreisel - 1970 - Annals of Mathematical Logic 1 (3):229.

Add more references