Funder
John Templeton Foundation
Reference30 articles.
1. A consistency proof of a system including Feferman's IDξ by Takeuti's reduction method;Arai;Tsukuba J. Math.,1987
2. On the relationships between ATR0 and IDˆ<ω;Avigad;J. Symbolic Logic,1996
3. Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies;Buchholz,1981
4. From hierarchy to well-foundedness;Flumini;Arch. Math. Logic,2014
5. Classes and truths in set theory;Fujimoto;Ann. Pure Appl. Logic,2012
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献