Completeness and persistence in the theory of models

Mathematical Logic Quarterly 2 (1-4):15-26 (1956)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19560020103

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

Completeness and Persistence in the Theory of Models.Abraham Robinson - 1960 - Journal of Symbolic Logic 25 (2):170-171.
Robinson Abraham. Completeness and persistence in the theory of models. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 2 , pp. 15–26. [REVIEW]W. Peremans - 1960 - Journal of Symbolic Logic 25 (2):170-171.
Review: Abraham Robinson, Relative Model-Completeness and the Elmination of Quantifiers. [REVIEW]G. Hasenjaeger - 1962 - Journal of Symbolic Logic 27 (2):229-230.
Reviews. Selected papers of Abraham Robinson. Volume 1. Model theory and algebra. Edited and with an introduction by H. J. Keisler. Yale University Press, New Haven and London 1979, xxxvii + 694 pp. George B. Selioman. Biography of Abraham Robinson, pp. xiii–xxxii. H. J. Keisler. Introduction, pp. xxxiii–xxxvii. Abraham Robinson. On the application of symbolic logic to algebra, pp. 3–11. A reprint of XVIII 182. Abraham Robinson. Recent developments in model theory, pp. 12–31. A reprint of XL 269. Abraham Robinson. On the construction of models, pp. 32–42. A reprint of XL 506. Abraham Robinson, Metamathematical problems, pp. 43–59. , pp. 500–516.) Abraham Robinson. Model theory as a framework for algebra, pp. 60–83. Abraham Robinson. A result on consistency and its application to the theory of definition, pp. 87–98. A reprint of XXV 174. Abraham Robinson. Ordered structures and related concepts, pp. 99–104. A reprint of XXV 170. [REVIEW]John T. Baldwin - 1982 - Journal of Symbolic Logic 47 (1):197-203.
Abraham Robinson. Forcing in model theory. Symposia mathematica, vol. 5, Istituto Nazionale di Alta Matematica, Academic Press, London and New York 1971, pp. 69–82. - Jon Barwise and Abraham Robinson. Completing theories by forcing. Annals of mathematical logic, vol. 2 no. 2 , pp. 119–142. - Abraham Robinson. Infinite forcing in model theory. Proceedings of the Second Scandinavian Logic Symposium, edited by J. E. Fenstad, Studies in logic and the foundations of mathematics, vol. 63, North-Holland Publishing Company, Amsterdam and London 1971, pp. 317–340. - Abraham Robinson. Forcing in model theory. Actes du Congrès International des Mathematiciens 1970, Gauthier-Villars, Paris 1971, Vol. 1, pp. 245–250. [REVIEW]H. Jerome Keisler - 1975 - Journal of Symbolic Logic 40 (4):633-634.
On Some Completeness Theorems in Modal Logic.D. Makinson - 1966 - Mathematical Logic Quarterly 12 (1):379-384.
Analytic completeness theorem for absolutely continuous biprobability models.Radosav S. Đorđević - 1992 - Mathematical Logic Quarterly 38 (1):241-246.
Robinson Abraham. Relative model-completeness and the elimination of quantifiers. Englisch, mit englischem, deutschem und französischem Zusammenfassung. Ebd., S. 190–203; auch ebd., S. 394–407.Robinson Abraham. Relative model-completeness and the elimination of quantifiers. Eine Abkürzung desselben. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2. Auflage, Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, S. 155–159. [REVIEW]G. Hasenjaeger - 1962 - Journal of Symbolic Logic 27 (2):229-230.
The ∀ n∃‐Completeness of Zermelo‐Fraenkel Set Theory.Daniel Gogol - 1978 - Mathematical Logic Quarterly 24 (19-24):289-290.

Analytics

Added to PP
2013-11-24

Downloads
71 (#297,685)

6 months
14 (#237,383)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Graphschemata und rekursive funktionen.von Rózsa Péter - 1958 - Dialectica 12 (3‐4):373-393.
Finite and Infinite Model Theory-A Historical Perspective.John Baldwin - 2000 - Logic Journal of the IGPL 8 (5):605-628.

Add more citations

References found in this work

On predicates in algebraically closed fields.Abraham Robinson - 1954 - Journal of Symbolic Logic 19 (2):103-114.

Add more references