Scott's interpolation theorem fails for lω1,ω
Journal of Symbolic Logic 39 (1):124 - 126 (1974)
| 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,701 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesMartin Otto (2000). An Interpolation Theorem. Bulletin of Symbolic Logic 6 (4):447-462.
Nobuyoshi Motoháshi (1977). A Remark on Scott's Interpolation Theorem for Lω1ω. Journal of Symbolic Logic 42 (1):63 -.
Jouko Väänänen (2008). The Craig Interpolation Theorem in Abstract Model Theory. Synthese 164 (3):401 - 420.
Ursula Gropp (1988). Coinductive Formulas and a Many-Sorted Interpolation Theorem. Journal of Symbolic Logic 53 (3):937-960.
Małgorzata Porębska (1986). Interpolation and Amalgamation Properties in Varieties of Equivalential Algebras. Studia Logica 45 (1):35 - 38.
Larisa L. Maksimova (1979). Interpolation Properties of Superintuitionistic Logics. Studia Logica 38 (4):419 - 428.
Nobuyoshi Motohashi (1979). A Remark on Africk's Paper on Scott's Interpolation Theorem for Lω1ω. Journal of Symbolic Logic 44 (1):32 -.
Hiroakira Ono (1986). Craig's Interpolation Theorem for the Intuitionistic Logic and its Extensions—a Semantical Approach. Studia Logica 45 (1):19 - 33.
Melvin Fitting (2002). Interpolation for First Order S5. Journal of Symbolic Logic 67 (2):621-634.
Henry Africk (1972). A Proof Theoretic Proof of Scott's General Interpolation Theorem. Journal of Symbolic Logic 37 (4):683-695.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-01-28Total downloads1 ( #274,830 of 549,093 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
