On Fraisse's conjecture for linear orders of finite Hausdorff rank

被引：10

作者：

Marcone, Alberto ^{[1
]}

Montalban, Antonio ^{[2
]}

机构：

[1] Univ Udine, Dipartimento Matemat & Informat, I-33100 Udine, Italy

[2] Univ Chicago, Dept Math, Chicago, IL 60637 USA

来源：

ANNALS OF PURE AND APPLIED LOGIC | 2009年 / 160卷 / 03期

基金：

美国国家科学基金会;

关键词：

Reverse mathematics; Fraisse's conjecture; Hausdorff rank; Maximal order type; TRANSFINITE SEQUENCES; THEOREM; WELL;

D O I：

10.1016/j.apal.2009.01.007

中图分类号：

O29 [应用数学];

学科分类号：

070104 ;

摘要：

We prove that the maximal order type of the wqo of linear orders of finite Hausdorff. rank under embeddability is phi(2)(0), the first fixed point of the epsilon-function. We then show that Fraisse's conjecture restricted to linear orders of finite Hausdorff rank is provable in ACA(0)(+) + phi(2)(0) is well-ordered" and. over RCA(0) implies ACA(0)' + phi(2)(0) is well-ordered". (C) 2009 Elsevier B.V. All rights reserved.

引用

页码：355 / 367

页数：13

共 50 条

[1] WEAK WELL ORDERS AND FRAISSE'S CONJECTURE
Freund, Anton
Manca, Davide
[J]. JOURNAL OF SYMBOLIC LOGIC, 2023,
[2] Hausdorff Rank of Scattered Context-Free Linear Orders
Esik, Zoltan
Ivan, Szabolcs
[J]. LATIN 2012: THEORETICAL INFORMATICS, 2012, 7256 : 291 - 302
[3] Ehrenfeucht-Fraisse games on linear orders
Bissell-Siders, Ryan
[J]. Logic, Language, Information and Computation, Proceedings, 2007, 4576 : 72 - 82
[4] Vaught's conjecture for superstable theories of finite rank
Buechler, Steven
[J]. ANNALS OF PURE AND APPLIED LOGIC, 2008, 155 (03) : 135 - 172
[5] Fraisse's conjecture in Π11-comprehension
Montalban, Antonio
[J]. JOURNAL OF MATHEMATICAL LOGIC, 2017, 17 (02)
[6] EHRENFEUCHT-FRAiSSe GAMES ON A CLASS OF SCATTERED LINEAR ORDERS
Mwesigye, Feresiano
Truss, John Kenneth
[J]. JOURNAL OF SYMBOLIC LOGIC, 2020, 85 (01) : 37 - 60
[7] Equivalence between Fraisse's conjecture and Jullien's theorem
Montalbán, A
[J]. ANNALS OF PURE AND APPLIED LOGIC, 2006, 139 (1-3) : 1 - 42
[8] Vaught's conjecture for weakly -minimal theories of finite convexity rank
Kulpeshov, B. Sh.
[J]. IZVESTIYA MATHEMATICS, 2020, 84 (02) : 324 - 347
[9] On rank properties of endomorphisms of finite circular orders
Levi, I
Mitchell, JD
[J]. COMMUNICATIONS IN ALGEBRA, 2006, 34 (04) : 1237 - 1250
[10] A counterexample to Fishburn's conjecture on finite linear qualitative probability
Conder, M
Slinko, A
[J]. JOURNAL OF MATHEMATICAL PSYCHOLOGY, 2004, 48 (06) : 425 - 431

← 1 2 3 4 5 →