Omitting uncountable types and extensions of Elementary logic
Theoria 44 (3):152-156 (1978)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | No categories specified (fix it) | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,664 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesJohn Gregory (1973). Uncountable Models and Infinitary Elementary Extensions. Journal of Symbolic Logic 38 (3):460-470.
Matt Kaufmann (1983). Blunt and Topless End Extensions of Models of Set Theory. Journal of Symbolic Logic 48 (4):1053-1073.
John E. Hutchinson (1976). Elementary Extensions of Countable Models of Set Theory. Journal of Symbolic Logic 41 (1):139-145.
Enrique Casanovas & Rafel Farré (1996). Omitting Types in Incomplete Theories. Journal of Symbolic Logic 61 (1):236-245.
Per Lindström (1969). On Extensions of Elementary Logic. Theoria 35 (1):1-11.
Tarek Sayed Ahmed (2002). Martin's Axiom, Omitting Types, and Complete Representations in Algebraic Logic. Studia Logica 72 (2):285 - 309.
Terrence Millar (1995). Model Completions and Omitting Types. Journal of Symbolic Logic 60 (2):654-672.
Tarek Sayed Ahmed (2005). Algebraic Logic, Where Does It Stand Today? Bulletin of Symbolic Logic 11 (4):465-516.
Ali Enayat (2001). Power-Like Models of Set Theory. Journal of Symbolic Logic 66 (4):1766-1782.
Andrés Villaveces (1999). Heights of Models of ZFC and the Existence of End Elementary Extensions II. Journal of Symbolic Logic 64 (3):1111-1124.
Kazimierz Swirydowicz (2008). There Exists an Uncountable Set of Pretabular Extensions of the Relevant Logic R and Each Logic of This Set is Generated by a Variety of Finite Height. Journal of Symbolic Logic 73 (4):1249-1270.
Matt Kaufmann (1984). Filter Logics on Ω. Journal of Symbolic Logic 49 (1):241-256.
C. C. Chang (1967). Omitting Types of Prenex Formulas. Journal of Symbolic Logic 32 (1):61-74.
Matt Kaufmann (1979). A New Omitting Types Theorem for L(Q). Journal of Symbolic Logic 44 (4):507-521.
Zofia Adamowicz (1976). One More Aspect of Forcing and Omitting Types. Journal of Symbolic Logic 41 (1):73-80.
Analytics
Monthly downloads |
Added to index2010-09-13Total downloads5 ( #160,204 of 549,005 )Recent downloads (6 months)1 ( #63,327 of 549,005 )How can I increase my downloads? |
My notes
Discussion
