Open Access
2008 Models Omitting Given Complete Types
Akito Tsuboi
Notre Dame J. Formal Logic 49(4): 393-399 (2008). DOI: 10.1215/00294527-2008-019

Abstract

We consider a problem of constructing a model that omits given complete types. We present two results. The first one is related to the Lopez-Escobar theorem and the second one is a version of Morley's omitting types theorem.

Citation

Download Citation

Akito Tsuboi. "Models Omitting Given Complete Types." Notre Dame J. Formal Logic 49 (4) 393 - 399, 2008. https://doi.org/10.1215/00294527-2008-019

Information

Published: 2008
First available in Project Euclid: 17 October 2008

zbMATH: 1180.03037
MathSciNet: MR2456655
Digital Object Identifier: 10.1215/00294527-2008-019

Subjects:
Primary: 03C50 , 03C52

Keywords: Hanf numbers , Lopez-Escobar theorem , Morley's theorem , omitting types

Rights: Copyright © 2008 University of Notre Dame

Vol.49 • No. 4 • 2008
Back to Top