Review: W. A. Howard, A System of Abstract Constructive Ordinals [Book Review]

Journal of Symbolic Logic 50 (1):243-244 (1985)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



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

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.
Review: Wilfried Buchholz, Notation Systems for Infinitary Derivations ; Wilfried Buchholz, Explaining Gentzen's Consistency Proof within Infinitary Proof Theory ; Sergei Tupailo, Finitary Reductions for Local Predicativity, I: Recursively Regular Ordinals. [REVIEW]Toshiyasu Arai - 2002 - Bulletin of Symbolic Logic 8 (3):437-439.
Review: Wilfried Buchholz, An Intuitionistic Fixed Point Theory. [REVIEW]Erik Palmgren - 2001 - Bulletin of Symbolic Logic 7 (3):391-392.
Review: Wilfried Buchholz, Wolfram Pohlers, Wilfried Sieg, Iterated Inductive Definitions and Subsystems of Analysis. [REVIEW]Helmut Pfeiffer - 1994 - Journal of Symbolic Logic 59 (2):668-670.
A System of Abstract Constructive Ordinals.W. A. Howard - 1985 - Journal of Symbolic Logic 50 (1):243-244.
A system of abstract constructive ordinals.W. A. Howard - 1972 - Journal of Symbolic Logic 37 (2):355-374.
S. Feferman and W. Sieg Inductive definitions and subsystems of analysis. Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies, by Wilfried Buchholz, Solomon Feferman, Wolfram Pohlers, and Wilfried Sieg. Lecture notes in mathematics, vol. 897, Springer-Verlag, Berlin, Heidelberg, and New York, 1981, pp. 16–77. - Solomon Feferman and Wilfried Sieg. Proof theoretic equivalences between classical and constructive theories for analysis. Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies, by Wilfried Buchholz, Solomon Feferman, Wolfram Pohlers, and Wilfried Sieg. Lecture notes in mathematics, vol. 897, Springer-Verlag, Berlin, Heidelberg, and New York, 1981, pp. 78–142. - Solomon Feferman. Iterated inductive fixed-point theories: application to Hancock's conjecture. Patras logic symposion, Proceedings of the logic symposion held at Patras, Greece, August 18–22, 1980, edited by George Metakides, Studies in logic. [REVIEW]Helmut Pfeiffer - 1994 - Journal of Symbolic Logic 59 (2):668-670.
Wilfried Buchholz. An intuitionistic fixed point theory. Archive for mathematical logic, vol. 37 no. 1 , pp. 21–27. [REVIEW]Erik Palmgren - 2001 - Bulletin of Symbolic Logic 7 (3):391-392.
Grigori Mints, Sergei Tupailo, and Wilfried Buchholz. Epsilon substitution method for elementary analysis. Archive for mathematical logic, vol. 35 , pp. 103–130. [REVIEW]Ulrich Kohlenbach - 2000 - Bulletin of Symbolic Logic 6 (3):356-357.
Review: Akiko Kino, A Note on Constructive Ordinals. [REVIEW]Wayne Richter - 1968 - Journal of Symbolic Logic 33 (2):294-295.

Analytics

Added to PP
2013-11-02

Downloads
11 (#351,772)

6 months
3 (#1,723,834)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references