Concerning the problem of axiomatizability of the field of real numbers in the weak second order logic

In Bar-Hillel, Yehoshua & [From Old Catalog], Essays on the Foundations of Mathematics. Jerusalem,: Magnes Press. pp. 269--286 (1961)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2271292

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 103,748

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Andrzej Mostowski. Concerning the problem of axiomatizability of the field of real numbers in the weak second order logic. Essays on the foundations of mathematics, dedicated to A. A. Fraenkel on his seventieth anniversary, edited by Y. Bar-Hillel, E. I. J. Poznanski, M. O. Rabin, and A. Robinson for The Hebrew University of Jerusalem, Magnes Press, Jerusalem 1961, and North-Holland Publishing Company, Amsterdam1962, pp. 269–286. [REVIEW]Raphael M. Robinson - 1967 - Journal of Symbolic Logic 32 (1):130-131.
Essays on the foundations of mathematics: dedicated to A. A. Fraenkel on his seventieth anniversary.Abraham Adolf Fraenkel & Yehoshua Bar-Hillel (eds.) - 1966 - Jerusalem: Magnes Press Hebrew University.
Foundations and Philosophy of Mathematics in Warsaw, the School of Andrzej Mostowski and Philosophy.Marcin Mostowski - 2018 - In Urszula Wybraniec-Skardowska & Ángel Garrido, The Lvov-Warsaw School. Past and Present. Cham, Switzerland: Springer- Birkhauser,. pp. 555-565.
Andrzej Mostowski. Recent results in set theory. Problems in the philosophy of mathematics, Proceedings of the International Colloquium in the Philosophy of Science, London, 1965, volume 1, edited by Imre Lakatos, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1967, pp. 82–96. - G. Kreisel, A. Robinson, L. Kalmár, and A. Mostowski. Discussion. Problems in the philosophy of mathematics, Proceedings of the International Colloquium in the Philosophy of Science, London, 1965, volume 1, edited by Imre Lakatos, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1967, pp. 97–108. - Andrzej Mostowski. O niektórych nowych wynikach meta-matematycznych dotyczących teorii mnogości . Polish with Russian and English summaries. Studia logica, vol. 20 , pp. 99–116. [REVIEW]T. Jech - 1972 - Journal of Symbolic Logic 37 (4):765-766.
Mostowski Andrzej. On various degrees of constructivism. Constructivity in mathematics, Proceedings of the colloquium held at Amsterdam, 1957, edited by Heyting A., Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1959, pp. 178–194. [REVIEW]George S. Boolos - 1970 - Journal of Symbolic Logic 35 (4):575-576.
Mostowski Andrzej. Sentences undecidable in formalized arithmetic. An exposition of the theory of Kurt Gödel. Studies in logic and the foundations of mathematics. North-Holland Publishing Company, Amsterdam 1952, VIII + 117 pp. [REVIEW]G. Hasenjaeger - 1954 - Journal of Symbolic Logic 19 (2):119-121.
A View of Revival of Mathematical Logic in Warsaw, 1945–1975.Victor W. Marek - 2018 - In Urszula Wybraniec-Skardowska & Ángel Garrido, The Lvov-Warsaw School. Past and Present. Cham, Switzerland: Springer- Birkhauser,. pp. 665-672.
Mostowski Andrzej. Concerning a problem of H. Scholz. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, Bd. 2 , S. 210–214. [REVIEW]W. Ackermann - 1959 - Journal of Symbolic Logic 24 (3):241-241.
Andrzej Mostowski and foundational studies.Andrzej Mostowski, Andrzej Ehrenfeucht, Wiktor Marek & Marian Srebrny (eds.) - 2008 - Amsterdam: IOS Press.

Analytics

Added to PP
2014-01-27

Downloads
21 (#1,080,572)

6 months
7 (#573,527)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Second-order logic and foundations of mathematics.Jouko Väänänen - 2001 - Bulletin of Symbolic Logic 7 (4):504-520.

Add more citations

References found in this work

No references found.

Add more references