Review: Three papers on the reverse mathematics of Jullien's Indecomposability Theorem [Book Review]

Bulletin of Symbolic Logic 20 (3):366-368, (2014)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,612

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

The strength of Jullien's indecomposability theorem.Itay Neeman - 2008 - Journal of Mathematical Logic 8 (1):93-119.
Five papers on reverse mathematics and Ramsey-theoretic principles - C. T. Chong, Theodore A. Slaman, and Yue Yang, The metamathematics of Stable Ramsey’s Theorem for Pairs_. Journal of the American Mathematical Society, vol. 27 (2014), no. 3, pp. 863–892. - Manuel Lerman, Reed Solomon, and Henry Towsner, _Separating principles below Ramsey’s Theorem for Pairs_. Journal of Mathematical Logic, vol. 13 (2013), no. 2, 1350007, 44 pp. - Jiayi Liu, $RT_2^^2$ _does not imply WKL_ 0. Journal of Symbolic Logic, vol. 77 (2012), no. 2, pp. 609–620. - Lu Liu, _Cone avoiding closed sets_. Transactions of the American Mathematical Society, vol. 367 (2015), no. 3, pp. 1609–1630. - Wei Wang, _Some logically weak Ramseyan theorems. Advances in Mathematics, vol. 261 (2014), pp. 1–25. [REVIEW]Denis R. Hirschfeldt - 2016 - Bulletin of Symbolic Logic 22 (4):526-530.
On the Indecomposability of $\omega^{n}$.Jared R. Corduan & François G. Dorais - 2012 - Notre Dame Journal of Formal Logic 53 (3):373-395.
Necessary use of [image] induction in a reversal.Itay Neeman - 2011 - Journal of Symbolic Logic 76 (2):561 - 574.
Hindman’s theorem, ultrafilters, and reverse mathematics.Jeffry L. Hirst - 2004 - Journal of Symbolic Logic 69 (1):65-72.
Antonio Montalbán, Indecomposable linear orderings and hyperarithmetic analysis_. Journal of Mathematical Logic, vol. 6 (2006), no. 1, pp. 89–120. - Itay Neeman, _The strength of Jullien’s indecomposability theorem_. Journal of Mathematical Logic, vol. 8 (2008), no. 1, pp. 93–119. - Itay Neeman, _Necessary use of_ _induction in a reversal. Journal of Symbolic Logic, vol. 76 (2011), no. 2, pp. 561–574. [REVIEW]Henry Towsner - 2014 - Bulletin of Symbolic Logic 20 (3):366-368.
Indecomposability of ℝ and ℝ \ {0} in Constructive Reverse Mathematics.Iris Loeb - 2008 - Logic Journal of the IGPL 16 (3):269-273.
Nonstandard models in recursion theory and reverse mathematics.C. T. Chong, Wei Li & Yue Yang - forthcoming - Association for Symbolic Logic: The Bulletin of Symbolic Logic.
The strength of the tree theorem for pairs in reverse mathematics.Ludovic Patey - 2016 - Journal of Symbolic Logic 81 (4):1481-1499.
Reverse Mathematics 2001.Stephen G. Simpson - 2007 - Bulletin of Symbolic Logic 13 (1):106-109.

Analytics

Added to PP
2014-12-05

Downloads
7 (#1,405,758)

6 months
7 (#594,125)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references