Publisher
Springer Science and Business Media LLC
Reference18 articles.
1. Bezem, M.A.: Strongly majorizable functionals of finite type: a model for bar recursion containing discontinuous functionals. J. Symb. Logic50, 652–660 (1985)
2. Bezem, M.A.: Bar recursion and functionals of finite type. Dissertation, Utrecht 1986
3. Feferman, S.: Theories of finite type. In: Barwise, J. (ed.) Handbook of mathematical logic, pp. 913–972. Amsterdam: North-Holland 1977
4. Feferman, S., Levy, A.: Independence results in set theory by Cohen's method II (abstract). Notices Am. Math. Soc.10, 593 (1963)
5. Friedrich, W.: Spielquantorinterpretation unstetiger Funktionale in der höheren Analysis. Arch. Math. Logic24, 73–99 (1984)
Cited by
16 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献