Author:
Freund Anton,Rathjen Michael
Funder
John Templeton Foundation
Reference23 articles.
1. Mathematical problems in logic;Aczel,1966
2. Normal functors on linear orderings;Aczel;J. Symb. Log.,1967
3. Derivatives of normal functions and ω-models;Arai;Arch. Math. Log.,2018
4. On the relation between choice and comprehension principles in second order arithmetic;Cantini;J. Symb. Log.,1986
5. Systems of predicative analysis;Feferman;J. Symb. Log.,1964
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献