Cofinalities of linear orders

被引：0

作者：

Gitik, M ^{[1
]}

Löwe, B ^{[1
]}

机构：

[1] Tel Aviv Univ, Raymond & Beverly Sackler Fac Exact Sci, Sch Math Sci, IL-69978 Tel Aviv, Israel

来源：

ORDER-A JOURNAL ON THE THEORY OF ORDERED SETS AND ITS APPLICATIONS | 1999年 / 16卷 / 02期

关键词：

linear orders; cofinal sequences; regular cardinals; Axiom of Choice; consistency strength;

D O I：

10.1023/A:1006323303118

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

We investigate whether the existence of long linear orders can be proved without the Axiom of Choice. This question has two different answers depending on its formalization.

引用

页码：105 / 111

页数：7

共 50 条

[31] Linear Orders in the Pushdown Hierarchy
Braud, Laurent
Carayol, Arnaud
AUTOMATA, LANGUAGES AND PROGRAMMING, PT II, 2010, 6199 : 88 - +
[32] Antichains in products of linear orders
Goldstern, M
Shelah, S
ORDER-A JOURNAL ON THE THEORY OF ORDERED SETS AND ITS APPLICATIONS, 2002, 19 (03): : 213 - 222
[33] Linear extensions and shelling orders
Bolognini, Davide
Sentinelli, Paolo
BULLETIN OF THE LONDON MATHEMATICAL SOCIETY, 2023, 55 (06) : 2718 - 2731
[34] Bounds on Orders of Linear Automata
N. V. Muravev
Moscow University Mathematics Bulletin, 2022, 77 : 262 - 268
[35] DECIDABLE DISCRETE LINEAR ORDERS
MOSES, M
JOURNAL OF SYMBOLIC LOGIC, 1988, 53 (02) : 531 - 539
[36] Linear orders in NIP structures
Simon, Pierre
ADVANCES IN MATHEMATICS, 2022, 395
[37] Cohesive Powers of Linear Orders
Dimitrov, Rumen
Harizanov, Valentina
Morozov, Andrey
Shafer, Paul
Soskova, Alexandra
Vatev, Stefan
COMPUTING WITH FORESIGHT AND INDUSTRY, CIE 2019, 2019, 11558 : 168 - 180
[38] On extensions of constructive linear orders
K. Z. Kudaîbergenov
Siberian Mathematical Journal, 1999, 40 : 539 - 540
[39] Orthogonal Countable Linear Orders
Christian Delhommé
Order, 2019, 36 : 159 - 197
[40] Quantum linear Galois orders
Futorny, Vyacheslav
Schwarz, Joao
COMMUNICATIONS IN ALGEBRA, 2019, 47 (12) : 5361 - 5369

← 1 2 3 4 5 →