Die Beziehungen Zwischen den OrdinalzahlsystemenΣ Und $$\bar \Theta \left( \omega \right)$$

&
Archive for Mathematical Logic 17 (3-4):179-189 (1975)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1007/bf02276806

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,247

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

Wilfried Buchholz and Kurt Schütte. Proof theory of impredicative subsystems of analysis. Studies in proof theory. Bibliopolis, Naples1988, 122 pp. [REVIEW]Gerhard Jäger - 1991 - Journal of Symbolic Logic 56 (1):332-333.
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.
Über Teilsysteme von $$\bar \Theta $$.Wilfried Buchholz - 1977 - Archive for Mathematical Logic 18 (1):85-98.
A functorial property of the Aczel-Buchholz-Feferman function.Andreas Weiermann - 1994 - Journal of Symbolic Logic 59 (3):945-955.
Ein starker Normalisationssatz für die bar-rekursiven Funktionale.Helmut Vogel - 1977 - Archive for Mathematical Logic 18 (1):81-84.
Contributions to Mathematical Logic. H. Arnold Schmidt, Kurt Schütte, Ernst Jochen Thiele. [REVIEW]Arthur Skidmore - 1970 - Philosophy of Science 37 (4):623-625.
Über die mit dem Bar-Rekursor vom Typ 0 definierbaren Ordinalzahlen.H. Vogel - 1978 - Archive for Mathematical Logic 19 (1):165-173.
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.
Über das Verhältnis zwischen intuitionistischer und klassischer Arithmetik.Gerhard Gentzen - 1974 - Archive for Mathematical Logic 16 (3-4):119-132.

Analytics

Added to PP
2020-12-03

Downloads
3 (#1,850,594)

6 months
3 (#1,470,822)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Well-ordering proofs for Martin-Löf type theory.Anton Setzer - 1998 - Annals of Pure and Applied Logic 92 (2):113-159.
Pure Σ2-elementarity beyond the core.Gunnar Wilken - 2021 - Annals of Pure and Applied Logic 172 (9):103001.

Add more citations

References found in this work

No references found.

Add more references