One more aspect of forcing and omitting types
Journal of Symbolic Logic 41 (1):73-80 (1976)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,672 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesDavid Marker (1986). Omitting Types in o-Minimal Theories. Journal of Symbolic Logic 51 (1):63-74.
Per Lindström (1978). Omitting Uncountable Types and Extensions of Elementary Logic. Theoria 44 (3):152-156.
Matt Kaufmann (1979). A New Omitting Types Theorem for L(Q). Journal of Symbolic Logic 44 (4):507-521.
C. C. Chang (1967). Omitting Types of Prenex Formulas. Journal of Symbolic Logic 32 (1):61-74.
Tarek Sayed Ahmed (2002). Martin's Axiom, Omitting Types, and Complete Representations in Algebraic Logic. Studia Logica 72 (2):285 - 309.
Joram Hirschfeld (1980). Finite Forcing, Existential Types and Complete Types. Journal of Symbolic Logic 45 (1):93-102.
M. C. Laskowski & S. Shelah (1996). Forcing Isomorphism II. Journal of Symbolic Logic 61 (4):1305-1320.
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.
Enrique Casanovas & Rafel Farré (1996). Omitting Types in Incomplete Theories. Journal of Symbolic Logic 61 (1):236-245.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-01-28Total downloads2 ( #232,381 of 549,068 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
