Iterations
Publisher
Springer Singapore
Reference24 articles.
1. Afshari, B., Rathjen, M.: Reverse mathematics and well-ordering principles: a pilot study. Ann. Pure Appl. Log. 160, 231–237 (2009)
2. Arai, T.: Derivatives of normal functions and $$\omega $$-models. Arch. Math. Log. 57, 649–664 (2017)
3. Arai, T.: Proof-theoretic strengths of the well ordering principles. Arch. Math. Log. 59, 257–275 (2020)
4. Avigad, J.: On the relationship between $${\rm ATR}_{0}$$ and $$\widehat{ID}_{<\omega }$$. Jour. Symb. Log. 61, 768–779 (1996)
5. Cantini, A.: On the relationship between choice and comprehension principles in second order arithmetic. Jour. Symb. Log. 52, 360–373 (1986)