On Model-Completeness

Theoria 30 (3):183-196 (1964)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 103,190

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Projective model completeness.George S. Sacerdote - 1974 - Journal of Symbolic Logic 39 (1):117-123.
Categoricity and generalized model completeness.G. Ahlbrandt & John T. Baldwin - 1988 - Archive for Mathematical Logic 27 (1):1-4.
Model completeness and direct power.Kazem Taghva - 1989 - Mathematical Logic Quarterly 36 (1):3-9.
Model completeness results for elliptic and abelian functions.Ricardo Bianconi - 1991 - Annals of Pure and Applied Logic 54 (2):121-136.
Model completeness of the new strongly minimal sets.Kitty Holland - 1999 - Journal of Symbolic Logic 64 (3):946-962.
Homogenizable structures and model completeness.Ove Ahlman - 2016 - Archive for Mathematical Logic 55 (7-8):977-995.

Analytics

Added to PP
2010-09-13

Downloads
60 (#369,610)

6 months
3 (#1,066,589)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Strongly minimal Steiner systems I: Existence.John Baldwin & Gianluca Paolini - 2021 - Journal of Symbolic Logic 86 (4):1486-1507.
Über eine verallgemeinerung der robinsonschen modellvervollständigung I.Klaus Kaiser - 1969 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 15 (1-3):37-48.
Omitting types of prenex formulas.C. C. Chang - 1967 - Journal of Symbolic Logic 32 (1):61-74.
Constructing ω-stable structures: model completeness.John T. Baldwin & Kitty Holland - 2004 - Annals of Pure and Applied Logic 125 (1-3):159-172.

View all 16 citations / Add more citations