On the strength of the interpretation method
Journal of Symbolic Logic 54 (2):305-323 (1989)
| Abstract | In spite of the fact that true arithmetic reduces to the monadic second-order theory of the real line, Peano arithmetic cannot be interpreted in the monadic second-order theory of the real line | |||||||||
| 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 articlesUlrich Kohlenbach (1999). On the No-Counterexample Interpretation. Journal of Symbolic Logic 64 (4):1491-1511.
Sergei Tupailo (2001). Realization of Analysis Into Explicit Mathematics. Journal of Symbolic Logic 66 (4):1848-1864.
Yuri Gurevich & Saharon Shelah (1983). Rabin's Uniformization Problem. Journal of Symbolic Logic 48 (4):1105-1119.
H. Jerome Keisler (2006). Nonstandard Arithmetic and Reverse Mathematics. Bulletin of Symbolic Logic 12 (1):100-125.
C. Ward Henson, Matt Kaufmann & H. Jerome Keisler (1984). The Strength of Nonstandard Methods in Arithmetic. Journal of Symbolic Logic 49 (4):1039-1058.
Yuri Gurevich, Menachem Magidor & Saharon Shelah (1983). The Monadic Theory of Ω12. Journal of Symbolic Logic 48 (2):387 - 398.
Yuri Gurevich & Saharon Shelah (1983). Interpreting Second-Order Logic in the Monadic Theory of Order. Journal of Symbolic Logic 48 (3):816-828.
Yuri Gurevich & Saharon Shelah (1979). Modest Theory of Short Chains. II. Journal of Symbolic Logic 44 (4):491-502.
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
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-01-28Total downloads0Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
