Author:
Hirst Jeffry L.,Mummert Carl
Reference14 articles.
1. [1] Avigad, J., and S. Feferman, "Gödel's functional (`Dialectica') interpretation", pp. 337–405 in Handbook of Proof Theory, vol. 137 of Studies in Logic and the Foundations of Mathematics, North-Holland, Amsterdam, 1998.
2. [2] Feferman, S., Theories of Finite Type Related to Mathematical Practice, vol. 90 of Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Co., Amsterdam, 1977.
3. [3] Halmos, P. R., Finite-Dimensional Vector Spaces, 2d edition, Undergraduate Texts in Mathematics, Springer-Verlag, New York, 1974.
4. [4] Hirst, J. L., "Representations of reals in reverse mathematics", Bulletin of the Polish Academy of Sciences. Mathematics, vol. 55 (2007), pp. 303–16.
5. [5] Kleene, S. C., "Countable functionals", pp. 81–100 in Constructivity in Mathematics: Proceedings of the Colloquium Held at Amsterdam, 1957, edited by A Heyting, Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Co., Amsterdam, 1959.
Cited by
14 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献