On Languages which are Based on Non-Standard Arithmetic

Journal of Symbolic Logic 34 (3):516-517 (1969)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2270954

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,369

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

Selected papers of Abraham Robinson. Volume 2. Nonstandard analysis and philosophy. Edited and with an introduction by W. A. J. Luxemburg and S. Körner. Yale University Press, New Haven and London1979, xlv + 582 pp. - George B. Seligman. Biography of Abraham Robinson, pp. xi–xxx. A reprint of XLVII 197. - W. A. J. Luxemburg. Introduction to papers on nonstandard analysis and analysis, pp. xxxi–xxxix. - S. Körner. Introduction to papers on philosophy, pp. xli–xlv. - Abraham Robinson. Non-standard analysis, pp. 3–11. A reprint of XXXIV 292. - Abraham Robinson. On languages which are based on non-standard arithmetic, pp. 12–46. A reprint of XXXIV 516. - Abraham Robinson. On generalized limits and linear functionals, pp. 47–61. A reprint of XXXIV 292. - Abraham Robinson. On the theory of normal families, pp. 62–87. A reprint of XXXVII 215. - Allen R. Bernstein and Abraham Robinson. Solution of an invariant subspace problem of K. T. Smith and P. R. Halmos, pp. 88–98. A reprint of XXXIV 292. [REVIEW]Martin Davis - 1982 - Journal of Symbolic Logic 47 (1):203-210.
Abraham Robinson. On languages which are based on non-standard arithmetic.Nagoya mathematical journal, vol. 22 , pp.83–117. [REVIEW]James R. Geiser - 1969 - Journal of Symbolic Logic 34 (3):516-517.
Abraham Robinson. Algebraic function fields and non-standard arithmetic. Contributions to non-standard analysis, edited by W. A. J. Luxemburg and A. Robinson, Studies in logic and the foundations of mathematics, vol. 69, North-Holland Publishing Company, Amsterdam and London 1972, pp. 1–14. [REVIEW]Diana L. Dubrovsky - 1974 - Journal of Symbolic Logic 39 (2):339-340.
Abraham Robinson. Non-standard analysis. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 64 (1961), pp. 432–440; also Indagationes mathematicae, vol. 23 (1961), pp. 432-440. - Abraham Robinson. Topics in non-Archimedean mathematics. The theory of models, Proceedings of the 1963 International Symposium at Berkeley, edited by J. W. Addison, Leon Henkin, and Alfred Tarski, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 285–298. - Abraham Robinson. On generalized limits and linear functionals. Pacific journal of mathematics, vol. 14 (1964), pp. 269–283. - Alan R. Bernstein and Abraham Robinson. Solution of an invariant subspace problem of K. T. Smith and P. R. Halmos.Pacific journal of mathematics, vol. 16 (1966), pp. 421–431. - Abraham Robinson. Non-standard analysis.Studies in logic and the foundations of mathematics. North-Holland Publishing Company, Amsterdam1966, xi + 293 pp. [REVIEW]Gert Heinz Müller - 1969 - Journal of Symbolic Logic 34 (2):292-294.
Omega-inconsistency without cuts and nonstandard models.Andreas Fjellstad - 2016 - Australasian Journal of Logic 13 (5).
Robinson A.. Model theory and non-standard arithmetic. Infinitistic methods, Proceedings of the Symposium on Foundations of Mathematics, Warsaw, 2–9 September 1959, Państwowe Wydawnictwo Naukowe, Warsaw, and Pergamon Press, Oxford-London-New York-Paris, 1961, pp. 265–302. [REVIEW]William N. Reinhardt - 1970 - Journal of Symbolic Logic 35 (1):149-149.
Review: Abraham Robinson, Complete Theories. [REVIEW]Robert L. Vaught - 1960 - Journal of Symbolic Logic 25 (2):172-174.

Analytics

Added to PP
2015-02-05

Downloads
14 (#1,284,785)

6 months
3 (#1,481,767)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Deflationary Truth and Pathologies.Cezary Cieśliński - 2010 - Journal of Philosophical Logic 39 (3):325-337.
Full Satisfaction Classes, Definability, and Automorphisms.Bartosz Wcisło - 2022 - Notre Dame Journal of Formal Logic 63 (2):143-163.
The incompleteness theorems after 70 years.Henryk Kotlarski - 2004 - Annals of Pure and Applied Logic 126 (1-3):125-138.
Truth without standard models: some conceptual problems reloaded.Eduardo Barrio & Bruno Da Ré - 2017 - Journal of Applied Non-Classical Logics 28 (1):122-139.

View all 7 citations / Add more citations

References found in this work

No references found.

Add more references