Journal of Symbolic Logic

[Omnibus Review]

Helmut Pfeiffer

Full-text is available via JSTOR, for JSTOR subscribers. Go to this article in JSTOR.

Article information

Source
J. Symbolic Logic, Volume 48, Issue 3 (1983), 876-877.

Dates
First available in Project Euclid: 6 July 2007

Permanent link to this document
https://projecteuclid.org/euclid.jsl/1183741351

JSTOR
links.jstor.org

Citation

Pfeiffer, Helmut. [Omnibus Review]. J. Symbolic Logic 48 (1983), no. 3, 876--877. https://projecteuclid.org/euclid.jsl/1183741351


Export citation

See also

  • Part II: Solomon Feferman. Systems of Predicative Analysis, II: Representations of Ordinals. J. Symbolic Logic, Volume 33, Issue 2 (1968), 193--220.

Reviewed Works

  • Solomon Feferman, Systems of Predicative Analysis, II: Representations of Ordinals.
  • Peter Aczel, Describing Ordinals Using Functionals of Transfinite Type.
  • Jane Bridge, A Simplification of the Bachmann Method for Generating Large Countable Ordinals.
  • W. Buchholz, J. Diller, G. H. Muller, Normalfunktionen und Konstruktive Systeme von Ordinalzahlen.
  • Wilfried Buchholz, Uber Teilsysteme von $\bar\Theta(|{g|})$.
  • Wilfried Buchholz, Kurt Schutte, Die Beziehungen Zwischen den Ordinalzahlsystemen $\Sigma$ und $\bar\Theta(\omega)$.