Forcing in Model Theory

, &
Journal of Symbolic Logic 40 (4):633-634 (1975)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2271854

Other Versions

No versions found

Links

PhilArchive



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

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

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.
Intuitionistic logic, model theory and forcing.Melvin Fitting - 1969 - Amsterdam,: North-Holland Pub. Co..
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.
On [math]-strongly measurable cardinals in [math] extensions.Navin Aksornthong, Takehiko Gappo, James Holland & Grigor Sargsyan - forthcoming - Journal of Mathematical Logic.
Selected Papers of Abraham Robinson.: Model Theory and Algebra.H. J. Keisler & A. Robinson - 1982 - Journal of Symbolic Logic 47 (1):197-203.
On ω-strongly measurable cardinals in ℙmax extensions.Navin Aksornthong, Takehiko Gappo, James Holland & Grigor Sargsyan - forthcoming - Journal of Mathematical Logic.

Analytics

Added to PP
2015-02-05

Downloads
38 (#592,348)

6 months
7 (#704,497)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Holism, language acquisition, and algebraic logic.Eli Dresner - 2002 - Linguistics and Philosophy 25 (4):419-452.
Sheaves of structures and generalized ultraproducts.David P. Ellerman - 1974 - Annals of Mathematical Logic 7 (2):163.
Completing theories by forcing.J. Barwise - 1970 - Annals of Mathematical Logic 2 (2):119.
Essential Forcing Generics.Stephanie Cawthorne & David Kueker - 2000 - Notre Dame Journal of Formal Logic 41 (1):41-52.
The model-companion of a class of structures.G. L. Cherlin - 1972 - Journal of Symbolic Logic 37 (3):546-556.

View all 8 citations / Add more citations

References found in this work

No references found.

Add more references