Abstract
We prove some theorems of general model theory and give an example of a minimal modelM having an elementary extensionN such thatM andN realize the same types.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Baldwin, J., Lachlan, A.H.: On strongly minimal sets. Journal of Symbolic Logic36 (1971), 79–95.
Bell,J., Slomson,A.: Models and ultraproducts, an introduction. North Holland Publishing Company. Second Edition.
Flum, J.: Bemerkungen über Minimale Modelle. Archiv math. Logik15 (1972), 79–82.
Fuhrken, G.: Minimal- und Primmodelle. Archiv math. Logik9 (1963), 3–11.
Marcus, L.: A minimal prime model with an infinite set of indiscernibles. Israel J. of Math.11 (1972), 180–183.
Marcus, L.: On minimal models. A.M.S. Notices20 (1973), A-340.
Marcus, L.: Minimal models of theories of one function symbol. Israel J. of Math.18 (1974), 117–131
Author information
Authors and Affiliations
Additional information
This paper contains part of the author's doctoral thesis prepared at the Hebrew University under the guidance of Professor H. Gaifman.
Rights and permissions
About this article
Cite this article
Marcus, L. A type-open minimal model. Arch math Logik 17, 17–24 (1975). https://doi.org/10.1007/BF02280808
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02280808