Funder
Schweizerischer Nationalfonds zur Förderung der Wissenschaftlichen Forschung
Publisher
Springer Science and Business Media LLC
Reference25 articles.
1. Afshari, B., Rathjen, M.: A note on the theory of positive induction,
$${{\rm ID}}^\ast _1$$
ID
1
*
. Arch. Math. Logic 49, 275–281 (2010).
https://doi.org/10.1007/s00153-009-0168-9
2. Beeson, M.J.: Foundations of Constructive Mathematics: Metamathematical studies. Springer, Berlin (1985)
3. Buchholz, W., Feferman, S., Pohlers, W., Sieg, W.: Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies, volume 897 of Lecture Notes in Mathematics. Springer, Berlin (1981)
4. Bridge, J.: A simplification of the Bachmann method for generating large countable ordinals. J. Symb. Logic 40(2), 171–185 (1975)
5. Buchholz, W., Schütte, K.: Proof Theory of Impredicative Subsystems of Analysis, volume 2 of Studies in Proof Theory Monographs. Bibliopolis, Napoli (1988)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Reflecting and Unfolding;Thinking and Calculating;2022