Author:
De Smet Michiel,Weiermann Andreas
Publisher
Springer Berlin Heidelberg
Reference14 articles.
1. Afshari, B.: Relative Computability and the Proof-theoretic Strength of some Theories. PhD thesis, School of Mathematics, University of Leeds (2009)
2. Bigorajska, T., Kotlarski, H.: A partition theorem for α-large sets. Fund. Math. 160(1), 27–37 (1999)
3. Bigorajska, T., Kotlarski, H.: Some combinatorics involving ξ-large sets. Fund. Math. 175(2), 119–125 (2002)
4. Bigorajska, T., Kotlarski, H.: Partitioning α-large sets: some lower bounds. Trans. Amer. Math. Soc. 358(11), 4981–5001 (2006) (electronic)
5. Buchholz, W.: An intuitionistic fixed point theory. Arch. Math. Logic 37(1), 21–27 (1997)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献