Author:
Afshari Bahareh,Rathjen Michael
Publisher
Springer Science and Business Media LLC
Reference15 articles.
1. Aczel, P.: The Strength of Martin-Löf’s Type Theory with One Universe. Technical report, Department of Philosophy, University of Helsinki (1977)
2. Afshari B.: Relative Computability and the Proof-Theoretic Strengths of Some Theories. PhD thesis. University of Leeds, UK (2008)
3. Buchholz W., Feferman S., Pohlers W., Sieg W.: Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies Theories. Springer-Verlag, Berlin, Heidelberg (1981)
4. Cantini, A.: A Note on a Predicatively Reducible Theory of Elementary Iterated Induction. Bollettino U.M.I 413–430 (1985)
5. Cantini A.: On the relation between choice and comprehension principles in second order arithmetic. J. Symb. Log. 51, 360–373 (1986)
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献