Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Bibliography
Shepherdson, J. C. Inner Models for Set Theory, J.S.L. v16 (1951) pp. 161–190, v17 (1952) pp. 225–237, v18 (1953) pp. 145–167.
Yessenin-Volpin, A. S. Le programme ultra-intuitioniste des fondements des mathematiques, Infinitistic Methods, Warsawa (1961) pp. 201–223.
Yessenin-Volpin, A. S. The Ultra-intuitionistic Criticism and the Antitraditional Program for the Foundation of Mathematics, Intuitionism and Proof Theory, North Holland (1970) pp. 3–45.
Yessenin-Volpin, A. S. On the Ultraintuitionistic Justification of the Zermelo-Fraenkel System, I (in Russian), deposited with VINITI in 1969 and available from them in Xerox form (450 pp.).
Yessenin-Volpin, A. S. On the Main Problem in the Foundations of Mathematics, to appear in the Boston University Colloquium for the Philosophy of Science.
Kleene, S. C. Introduction to Metamathematics 1952, D. Van Nostrand Company, Inc., New York, Toronto, 550 pp.
Specker E. Dualität, Dialectica, 1958, 12, pp. 451–465.
Specker E. The Axiom of Choice in Quine's New Foundations for Mathematical Logic, Acad. USA, 1953, 39, pp. 972–975.
Quine, W.V.O. New Foundations for Mathematical Logic, Am, Math. Monthly, 1937, 44, pp. 70–80
Jensen, Ronald Björn, On the consistency of a slight (?) modification of Quine's New Foundations, Synthese, 1968, 19, no. 1–2, pp. 250–263.
Yessenin-Volpin, A.S. On an Explanation of an Anti-traditional Paradox, 6th International Congress of Logic, Methodology and Philosophy of Science, Hannover, August 22–August 29, 1979, Abstracts [sec. 1, pp. 78–81].
Editor information
Rights and permissions
Copyright information
© 1981 Springer-Verlag
About this paper
Cite this paper
Yessenin-Volpin, A.S. (1981). About infinity, finiteness and finitization (in connection with the foundations of mathematics). In: Richman, F. (eds) Constructive Mathematics. Lecture Notes in Mathematics, vol 873. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0090740
Download citation
DOI: https://doi.org/10.1007/BFb0090740
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-10850-4
Online ISBN: 978-3-540-38759-6
eBook Packages: Springer Book Archive