Publisher
Springer Science and Business Media LLC
Reference26 articles.
1. Barwise, J.: Admissible Sets and Structures. Springer, Berlin, 1975
2. Buchholz, W.: A simplified version of local predicativity. In: Aczel, Simmons, Wainer, (eds.), Leeds Proof Theory 1991, Cambridge University Press, Cambridge, 1993, pp. 115?147
3. Devlin, K.J.: Constructibility. Springer, Berlin, 1984
4. Drake, F.: Set Theory: An introduction to large cardinals. Amsterdam: North Holland, 1974
5. Feferman, S.: Systems of predicative analysis. J. Symbolic Logic 29, 1?30 (1964)
Cited by
29 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Modern perspectives in Proof Theory;Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences;2023-04-10
2. Wellfoundedness proof with the maximal distinguished set;Archive for Mathematical Logic;2022-08-24
3. Structural reflection, shrewd cardinals and the size of the continuum;Journal of Mathematical Logic;2022-02-05
4. Strong unfoldability, shrewdness and combinatorial consequences;P AM MATH SOC;2021-12-13
5. Pure Σ2-elementarity beyond the core;Annals of Pure and Applied Logic;2021-10