Affiliation:
1. Department of Mathematics, University of California Los Angeles, Los Angeles, CA 90095-1555, USA
Abstract
Jullien's indecomposability theorem states that if a scattered countable linear order is indecomposable, then it is either indecomposable to the left, or indecomposable to the right. The theorem was shown by Montalbán to be a theorem of hyperarithmetic analysis. We identify the strength of the theorem relative to standard reverse mathematics markers. We show that it lies strictly between weak [Formula: see text] choice and [Formula: see text] comprehension.
Publisher
World Scientific Pub Co Pte Lt
Reference6 articles.
1. Studies in Logic and the Foundations of Mathematics;Fraïssé R.,2000
2. INDECOMPOSABLE LINEAR ORDERINGS AND HYPERARITHMETIC ANALYSIS
3. On the Π1
1
-separation principle
4. Pure and Applied Mathematics;Rosenstein J. G.,1982
5. Subsystems of Second Order Arithmetic
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献