Interpreting second-order logic in the monadic theory of order
Journal of Symbolic Logic 48 (3):816-828 (1983)
| Abstract | Under a weak set-theoretic assumption we interpret second-order logic in the monadic theory of order | |||||||||
| 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,679 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesG. Aldo Antonelli & Richmond H. Thomason (2002). Representability in Second-Order Propositional Poly-Modal Logic. Journal of Symbolic Logic 67 (3):1039-1054.
Juha Kontinen & Jakub Szymanik (2011). Characterizing Definability of Second-Order Generalized Quantifiers. In L. Beklemishev & R. de Queiroz (eds.), Proceedings of the 18th Workshop on Logic, Language, Information and Computation, Lecture Notes in Artificial Intelligence 6642. Springer.
Peter Roeper (2004). First- and Second-Order Logic of Mass Terms. Journal of Philosophical Logic 33 (3):261-297.
J. Richard Büchi (1973). The Monadic Second Order Theory of All Countable Ordinals. New York,Springer.
A. P. Hazen (1997). Relations in Monadic Third-Order Logic. Journal of Philosophical Logic 26 (6):619-628.
Yuri Gurevich & Saharon Shelah (1983). Rabin's Uniformization Problem. Journal of Symbolic Logic 48 (4):1105-1119.
Yuri Gurevich, Menachem Magidor & Saharon Shelah (1983). The Monadic Theory of Ω12. Journal of Symbolic Logic 48 (2):387 - 398.
Yuri Gurevich & Saharon Shelah (1979). Modest Theory of Short Chains. II. Journal of Symbolic Logic 44 (4):491-502.
Yuri Gurevich & Saharon Shelah (1989). On the Strength of the Interpretation Method. Journal of Symbolic Logic 54 (2):305-323.
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.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads16 ( #74,648 of 549,070 )Recent downloads (6 months)2 ( #37,252 of 549,070 )How can I increase my downloads? |
My notes
Discussion
