Proof theory and ordinal analysis-Reference-Cited by-同舟云学术

Proof theory and ordinal analysis

Published:1991-09 Issue:5-6 Volume:30 Page:311-376
ISSN:0933-5846
Container-title:Archive for Mathematical Logic
language:en
Short-container-title:Arch Math Logic

Author:

Pohlers W.

Publisher

Springer Science and Business Media LLC

Subject

Logic,Philosophy

Link

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

Reference39 articles.

1. Barwise, J.: Admissible sets and structures. Perspectives in Mathematical Logic. Berlin Heidelberg New York: Springer 1975

2. Lect. Notes Math., vol. 500;W. Buchholz,1975

3. Buchholz, W., Feferman, S., Pohlers, W., Sieg, W.: Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies. (Lect. Notes Math., vol. 807) Berlin Heidelberg New York: Springer 1981

4. Buchholz, W., Schütte, K.: Ein Ordinalzahlenbezeichnungssystem für die beweistheoretische Abgrenzung derΠ1/2-Separation und Bar-Induktion. Sitzungsber. Bayer. Akad. Wiss. Math.-Naturwiss. Kl. (1983)

5. Buchholz, W.: A new system of proof-theoretic ordinal functions. Ann. Pure Appl. Logic32, 195–207 (1986)

Cited by 18 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. Ordinal arithmetic based on Skolem hulling;Annals of Pure and Applied Logic;2007-02

4. Theories and Ordinals: Ordinal Analysis;Lecture Notes in Computer Science;2007

5. The Bachmann-Howard Structure in Terms of Σ1-Elementarity;Archive for Mathematical Logic;2006-06-15