Publisher： Cambridge University Press
E-ISSN： 1943-5886|38|4|561-570
ISSN： 0022-4812
Source： The Journal of Symbolic Logic, Vol.38, Iss.4, 1973-12, pp. : 561-570
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
In this paper, Cohen's forcing technique is applied to some problems in model theory. Forcing has been used as a model-theoretic technique by several people, in particular, by A. Robinson in a series of papers [1], [10], [11]. Here forcing will be used to expand a family of structures in such a way that weak second-order embeddings are preserved. The forcing situation resembles that in Solovay's proof that for any theorem
Related content
Access to resources
Recommend
Computably categorical structures and expansions by constants
The Journal of Symbolic Logic, Vol. 64, Iss. 1, 1999-03 ,pp. :
Mutually algebraic structures and expansions by predicates
The Journal of Symbolic Logic, Vol. 78, Iss. 1, 2013-03 ,pp. :
Some remarks on generic structures
The Journal of Symbolic Logic, Vol. 74, Iss. 4, 2009-12 ,pp. :