From hierarchies to well-foundedness-Reference-Cited by-同舟云学术

From hierarchies to well-foundedness

Published:2014-08-12 Issue:7-8 Volume:53 Page:855-863
ISSN:0933-5846
Container-title:Archive for Mathematical Logic
language:en
Short-container-title:Arch. Math. Logic

Author:

Flumini Dandolo,Sato Kentaro

Publisher

Springer Science and Business Media LLC

Subject

Logic,Philosophy

Link

http://link.springer.com/content/pdf/10.1007/s00153-014-0392-9.pdf

Reference9 articles.

1. Feferman S.: Systems of predicative analysis. J. Symb. Log. 29, 1–30 (1964)

2. Feferman S., Jäger G.: Choice principles, the bar rule and autonomously iterated comprehension schemes in analysis. J. Symb. Log. 48, 63–70 (1983)

3. Jech T.: Set Theory, The Third Millennium Edition. Springer, Berlin (2003)

4. Logic and Theory Group (LTG), IAM, Universität Bern: Subsystems of second order arithmetic and set theory. http://www.ltg.unibe.ch/research/Subsystems . Accessed 28 May 2014

5. Marcone A., Montalbán A.: Veblen functions for computability theorists. J. Symb. Log. 76, 575–602 (2011)

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

1. Weak set theories in foundational debates;Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences;2023-04-10

2. A new model construction by making a detour via intuitionistic theories III: Ultrafinitistic proofs of conservations of Σ11 collection;Annals of Pure and Applied Logic;2023-03

3. Reflection algebras and conservation results for theories of iterated truth;Annals of Pure and Applied Logic;2022-05

4. ‘Sometime a paradox’, now proof: Yablo is not first order;Logic Journal of the IGPL;2020-10-28

5. Elementary inductive dichotomy: Separation of open and clopen determinacies with infinite alternatives;Annals of Pure and Applied Logic;2020-03