Journal of Symbolic Logic 60 (2):654-672 (1995)
| Abstract |
Universal theories with model completions are characterized. A new omitting types theorem is proved. These two results are used to prove the existence of a universal ℵ 0 -categorical partial order with an interesting embedding property. Other aspects of these results also are considered
|
| Keywords | No keywords specified (fix it) |
| Categories | (categorize this paper) |
| DOI | 10.2307/2275856 |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
PhilArchive copy
Upload a copy of this paper Check publisher's policy Papers currently archived: 71,199
External links
- From the Publisher via CrossRef (no proxy)
- projecteuclid.org
(no proxy) - projecteuclid.org [2] (no proxy)
- journals.cambridge.org (no proxy)
- jstor.org (no proxy)
- jstor.org [2] (no proxy)
- jstor.org [3] (no proxy)
- cambridge.org (no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
- Sign in / register and customize your OpenURL resolver..
- Configure custom resolver
References found in this work BETA
Model Theory.Michael Makkai, C. C. Chang & H. J. Keisler - 1991 - Journal of Symbolic Logic 56 (3):1096.
A Decidable Ehrenfeucht Theory with Exactly Two Hyperarithmetic Models.Robert C. Reed - 1991 - Annals of Pure and Applied Logic 53 (2):135-168.
Citations of this work BETA
No citations found.
Similar books and articles
Degree Spectra of Prime Models.Barbara F. Csima - 2004 - Journal of Symbolic Logic 69 (2):430 - 442.
Hanf Number of Omitting Type for Simple First-Order Theories.Saharon Shelah - 1979 - Journal of Symbolic Logic 44 (3):319-324.
Martin's Axiom, Omitting Types, and Complete Representations in Algebraic Logic.Tarek Sayed Ahmed - 2002 - Studia Logica 72 (2):285 - 309.
Omitting Types, Type Spectrums, and Decidability.Terrence Millar - 1983 - Journal of Symbolic Logic 48 (1):171-181.
A New Omitting Types Theorem for L(Q).Matt Kaufmann - 1979 - Journal of Symbolic Logic 44 (4):507-521.
Possible M-Diagrams of Models of Arithmetic.Andrew Arana - 2005 - In Stephen Simpson (ed.), Reverse Mathematics 2001.
On Certain Types and Models for Arithmetic.Andreas Blass - 1974 - Journal of Symbolic Logic 39 (1):151-162.
Omitting Types in Incomplete Theories.Enrique Casanovas & Rafel Farré - 1996 - Journal of Symbolic Logic 61 (1):236-245.
Analytics
Added to PP index
2009-01-28
Total views
9 ( #954,339 of 2,518,111 )
Recent downloads (6 months)
1 ( #408,577 of 2,518,111 )
2009-01-28
Total views
9 ( #954,339 of 2,518,111 )
Recent downloads (6 months)
1 ( #408,577 of 2,518,111 )
How can I increase my downloads?
Downloads
