Die Beziehungen Zwischen den OrdinalzahlsystemenΣ Und $$\bar \Theta \left( \omega \right)$$-Reference-Cited by-同舟云学术

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

Published:1975-09 Issue:3-4 Volume:17 Page:179-189
ISSN:0933-5846
Container-title:Archiv für Mathematische Logik und Grundlagenforschung
language:de
Short-container-title:Arch math Logik

Author:

Buchholz Wilfried,Schütte Kurt

Publisher

Springer Science and Business Media LLC

Subject

Logic,Philosophy

Link

http://link.springer.com/content/pdf/10.1007/BF02276806.pdf

Reference11 articles.

1. Bridge, J.: Some problems in mathematical logic. Systems of ordinal functions and ordinal notations. Dissertation Oxford 1972.

2. Buchholz, W.: Rekursive Bezeichnungssysteme für Ordinalzahlen auf der Grundlage der Feferman-Aczelschen NormalfunktionenΘ a . Dissertation München 1974.

3. Buchholz, W.: Normalfunktionen und konstruktive Systeme von Ordinalzahlen. Erscheint in Proof Theory Symposium Kiel 1974 Springer Lecture NOtes Bd. 500 (1975).

4. Levitz, H.: On a simplification of Takeuti's ordinal diagrams of finite order. Zeitschr. f. Math. Logik u. Grundl. d. Math.15, 141–154 (1969).

5. Levitz, H.: On the relationsship between Takeuti's ordinal diagramsO(n) und Schütte's system of ordinal notationsΣ(n). Intuitionism and Proof Theory, edited by J. Myhill. North Holland, Amsterdam 1970.

Cited by 9 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Pure Σ2-elementarity beyond the core;Annals of Pure and Applied Logic;2021-10

2. A Glimpse of $$ \sum_{3} $$-elementarity;The Legacy of Kurt Schütte;2020

3. A Survey on Ordinal Notations Around the Bachmann–Howard Ordinal;Outstanding Contributions to Logic;2017

4. A Survey on Ordinal Notations Around the Bachmann-Howard Ordinal;Advances in Proof Theory;2016

5. Ordinal arithmetic with simultaneously defined theta-functions;Mathematical Logic Quarterly;2011-03-07