Hostname: page-component-76fb5796d-r6qrq Total loading time: 0 Render date: 2024-04-28T09:27:32.157Z Has data issue: false hasContentIssue false
  • English
  • Français

Finite forcing, existential types and complete types

Published online by Cambridge University Press:  12 March 2014

Joram Hirschfeld
Joram Hirschfeld*
Affiliation:
Tel-Aviv University, Ramat-Aviv, Tel-Aviv, Israel
Get access Rights & Permissions [Opens in a new window]

Abstract

We use the spaces and n of complete types and of existential types to investigate various notions which appear in the theory of the algebraic structure of models.

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 45 , Issue 1 , March 1980 , pp. 93 - 102
Copyright
Copyright © Association for Symbolic Logic 1980

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[1]Barwise, J. and Robinson, A., Completing theories by forcing, Annals of Mathematical Logic, vol. 2(1970), pp. 119–142.CrossRefGoogle Scholar
[2]Chang, C. C. and Keisler, H. J., Model theory, North-Holland, Amsterdam, 1973.Google Scholar
[3]Hirschfeld, J. and Wheeler, W. H., Forcing, arithmetic and division rings, Springer-Verlag, Berlin and New York, 1975.CrossRefGoogle Scholar
[4]Rabin, M. O., Non standard models and independence of the induction axiom, Essays on the foundation of mathematics, The Magness Press at the Hebrew University, Jerusalem, 1966, pp. 266–288.Google Scholar
[5]Ryll-Nardzewski, C., On the categoricity in power ℵ0, Bulletin de l'Académie Polonaise des Sciences, Series des Sciences Mathématiques, Astronomiques et Physiques, vol. 7(1959), pp. 545–548.Google Scholar
[6]Saracino, D., The model companion for ℵ0 categorical theories, Proceedings of the American Mathematical Society, vol. 39(1973), pp. 591–598.Google Scholar