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

Other Versions

reprint Howard, W. A. (1985) "A System of Abstract Constructive Ordinals". Journal of Symbolic Logic 50(1):243-244

Links

PhilArchive



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

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

W. A. Howard. A system of abstract constructive ordinals. The journal of symbolic logic, vol. 37 , pp. 355–374.Wilfried Buchholz - 1985 - Journal of Symbolic Logic 50 (1):243-244.
Topics in Mathematical Logic Characterisations of Small Constructive Ordinals ; Constructive Finite Number Classes.Diana Schmidt - 1972
On the Forms of Predicates in the Theory of Constructive Ordinals.S. C. Kleene - 1946 - Journal of Symbolic Logic 11 (4):127-127.
Wayne Richter. Extensions of the constructive ordinals. The journal of symbolic logic, vol. 30 , pp. 193–211. - Wayne Richter. Constructive transfinite number classes. Bulletin of the American Mathematical Society, vol. 73 , pp. 261–265. - Wayne Richter. Constructively accessible ordinal numbers. The journal of symbolic logic, vol. 33 , pp. 43–55.Gustav B. Hensel - 1971 - Journal of Symbolic Logic 36 (2):341-342.

Analytics

Added to PP
2009-01-28

Downloads
40 (#553,424)

6 months
4 (#1,232,162)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Epsilon substitution for $$\textit{ID}_1$$ ID 1 via cut-elimination.Henry Towsner - 2018 - Archive for Mathematical Logic 57 (5-6):497-531.
An extension of the omega-rule.Ryota Akiyoshi & Grigori Mints - 2016 - Archive for Mathematical Logic 55 (3-4):593-603.

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