A new system of proof-theoretic ordinal functions-Reference-Cited by-同舟云学术

A new system of proof-theoretic ordinal functions

Published:1986 Issue: Volume:32 Page:195-207
ISSN:0168-0072
Container-title:Annals of Pure and Applied Logic
language:en
Short-container-title:Annals of Pure and Applied Logic

Author:

Buchholz W.

Publisher

Elsevier BV

Subject

Logic

Reference6 articles.

1. W. Buchholz, An independence result for (Π11-CA) + BI, Ann. Pure Appl. Logic, to appear.

2. Provable wellorderings of formal theories for transfinitely iterated inductive definitions;Buchholz;J. Symbolic Logic,1978

3. Ein Ordinalzahlensystem für die beweistheoretische Abgrenzung der Π21-Separation und Bar-Induktion, Sitzungsberichte der Bayerischen Akademie der Wissenschaften;Buchholz;Math.-Naturw. Klasse,1983

4. ϱ-inaccessible ordinals, collapsing functions, and a recursive notation system;Jäger;Archiv f. math. Logik und Grundlagenf.,1984

5. Ordinals connected with formal theories for transfinitely iterated inductive definitions;Pohler;J. Symbolic Logic,1978

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

1. Admissible extensions of subtheories of second order arithmetic;Annals of Pure and Applied Logic;2024-07

2. Well ordering principles for iterated $$\Pi ^1_1$$-comprehension;Selecta Mathematica;2023-10-12

3. Type-theoretic approaches to ordinals;Theoretical Computer Science;2023-05

4. Ordinal analysis and the set existence property for intuitionistic set theories;Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences;2023-04-10

5. Tame and full strict-Π11 reflection: A proof-theoretic approach;Journal of Logic and Computation;2023-03-21