Some undecidability results in strong algebraic languages
Journal of Symbolic Logic 49 (3):951-954 (1984)
| 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,664 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesJean-Marc Dewaele (2010). Emotions in Multiple Languages. Palgrave Macmillan.
Jacek Malinowski (1992). Strong Versus Weak Quantum Consequence Operations. Studia Logica 51 (1):113 - 123.
Gábor Sági (2000). A Completeness Theorem for Higher Order Logics. Journal of Symbolic Logic 65 (2):857-884.
Alfred Tarski (1968/2010). Undecidable Theories. Amsterdam, North-Holland Pub. Co..
W. J. Blok (1980). The Lattice of Modal Logics: An Algebraic Investigation. Journal of Symbolic Logic 45 (2):221-236.
Jean-Louis Duret (1986). Sur la Théorie Élémentaire Des Corps de Fonctions. Journal of Symbolic Logic 51 (4):948-956.
Carlos Areces, Patrick Blackburn & Maarten Marx (2001). Hybrid Logics: Characterization, Interpolation and Complexity. Journal of Symbolic Logic 66 (3):977-1010.
Gábor Sági & Saharon Shelah (2006). On Weak and Strong Interpolation in Algebraic Logics. Journal of Symbolic Logic 71 (1):104 - 118.
Miklós Erdélyi-Szabó (2000). Undecidability of the Real-Algebraic Structure of Models of Intuitionistic Elementary Analysis. Journal of Symbolic Logic 65 (3):1014-1030.
Andrej Nowik, Marion Scheepers & Tomasz Weiss (1998). The Algebraic Sum of Sets of Real Numbers with Strong Measure Zero Sets. Journal of Symbolic Logic 63 (1):301-324.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-01-28Total downloads1 ( #274,602 of 549,007 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
