ϱ-inaccessible ordinals, collapsing functions and a recursive notation system-Reference-Cited by-同舟云学术

ϱ-inaccessible ordinals, collapsing functions and a recursive notation system

Published:1984-12 Issue:1 Volume:24 Page:49-62
ISSN:0933-5846
Container-title:Archiv für Mathematische Logik und Grundlagenforschung
language:en
Short-container-title:Arch math Logik

Author:

Jäger Gerhard

Publisher

Springer Science and Business Media LLC

Subject

Logic,Philosophy

Link

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

Reference10 articles.

1. Bachmann, H.: Die Normalfunktionen und das Problem der ausgezeichneten Folgen von Ordinalzahlen. Vierteljahresschrift der Naturforschenden Gesellschaft Zürich 95 (1950).

2. Lectures Notes in Mathematics;W. Buchholz,1975

3. Buchholz, W.: The Ωμ+1-rule. In: Buchholz, W., Feferman, S., Pohlers, W., Sieg, W.: Iterated inductive definitions and subsystems of analysis. Lecture Notes in Mathematics, Vol. 897. Berlin, Heidelberg, New York: Springer 1981.

4. Buchholz, W.: Ordinal analysis of IDv. In: Buchholz, W., Feferman, S., Pohlers, W., Sieg, S.: Iterated inductive definitions and subsystems of analysis. Lecture Notes in Mathematics, Vol. 897. Berlin, Heidelberg, New York: Springer 1981

5. Buchholz, W.: Collapsing functions. München (1982) (to appear).

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

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

2. Collapsing functions based on recursively large ordinals: A well-ordering proof for KPM;Archive for Mathematical Logic;1994-01

3. A NOTATION SYSTEM FOR ORDINAL USING Ψ-FUNCTIONS ON INACCESSIBLE MAHLO NUMBERS;Zeitschrift für Mathematische Logik und Grundlagen der Mathematik;1992

4. Proof-theoretic analysis of KPM;Archive for Mathematical Logic;1991-09

5. Proof theory and ordinal analysis;Archive for Mathematical Logic;1991-09