On countable chains having decidable monadic theory
Journal of Symbolic Logic 77 (2):593-608 (2012)
| 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 |
  Try with proxy. |
| Through your library | Configure |
Similar books and articlesAlexander Rabinovich & Amit Shomrat (2008). Selection in the Monadic Theory of a Countable Ordinal. Journal of Symbolic Logic 73 (3):783-816.
Shmuel Lifsches & Saharon Shelah (1997). Peano Arithmetic May Not Be Interpretable in the Monadic Theory of Linear Orders. Journal of Symbolic Logic 62 (3):848-872.
Yuri Gurevich & Saharon Shelah (1979). Modest Theory of Short Chains. II. Journal of Symbolic Logic 44 (4):491-502.
J. Richard Büchi (1973). The Monadic Second Order Theory of All Countable Ordinals. New York,Springer.
Thanases Pheidas & Karim Zahidi (2004). Elimination Theory for Addition and the Frobenius Map in Polynomial Rings. Journal of Symbolic Logic 69 (4):1006 - 1026.
Walter Hussak (2008). Decidable Cases of First-Order Temporal Logic with Functions. Studia Logica 88 (2):247 - 261.
Yuri Gurevich, Menachem Magidor & Saharon Shelah (1983). The Monadic Theory of Ω12. Journal of Symbolic Logic 48 (2):387 - 398.
James H. Schmerl (1980). Decidability and ℵ0-Categoricity of Theories of Partially Ordered Sets. Journal of Symbolic Logic 45 (3):585 - 611.
Marcus Kracht (2001). Syntax in Chains. Linguistics and Philosophy 24 (4):467-530.
Kerkko Luosto (2000). Hierarchies of Monadic Generalized Quantifiers. Journal of Symbolic Logic 65 (3):1241-1263.
Yuri Gurevich (1979). Modest Theory of Short Chains. I. Journal of Symbolic Logic 44 (4):481-490.
C. Cimadamore & J. P. Díaz Varela (2011). Monadic MV-Algebras Are Equivalent to Monadic ℓ-Groups with Strong Unit. Studia Logica 98 (1-2):175-201.
P. T. Bateman, C. G. Jockusch & A. R. Woods (1993). Decidability and Undecidability of Theories with a Predicate for the Primes. Journal of Symbolic Logic 58 (2):672-687.
Guram Bezhanishvili (1999). Varieties of Monadic Heyting Algebras Part II: Duality Theory. Studia Logica 62 (1):21-48.
Shmuel Lifsches & Saharon Shelah (1998). Uniformization and Skolem Functions in the Class of Trees. Journal of Symbolic Logic 63 (1):103-127.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2012-04-05Total downloads1 ( #274,921 of 549,113 )Recent downloads (6 months)1 ( #63,361 of 549,113 )How can I increase my downloads? |
My notes
Discussion
