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 条
  • [41] Epimorphisms Between Linear Orders
    Camerlo, Riccardo
    Carroy, Raphael
    Marcone, Alberto
    ORDER-A JOURNAL ON THE THEORY OF ORDERED SETS AND ITS APPLICATIONS, 2015, 32 (03): : 387 - 400
  • [42] ORIENTED AND NONORIENTED LINEAR ORDERS
    SZMIELEW, W
    BULLETIN DE L ACADEMIE POLONAISE DES SCIENCES-SERIE DES SCIENCES MATHEMATIQUES ASTRONOMIQUES ET PHYSIQUES, 1977, 25 (07): : 659 - 665
  • [43] Bounds on Orders of Linear Automata
    Muravev, N. V.
    MOSCOW UNIVERSITY MATHEMATICS BULLETIN, 2022, 77 (06) : 262 - 268
  • [44] THE COMPLEXITY OF DATALOG ON LINEAR ORDERS
    Grohe, Martin
    Schwandtner, Goetz
    LOGICAL METHODS IN COMPUTER SCIENCE, 2009, 5 (01)
  • [45] Negative Dense Linear Orders
    N. Kh. Kasymov
    R. N. Dadazhanov
    Siberian Mathematical Journal, 2017, 58 : 1015 - 1033
  • [46] ON COHESIVE POWERS OF LINEAR ORDERS
    Dimitrov, Rumen
    Harizanov, Valentina
    Morozov, Andrey
    Shafer, Paul
    Soskova, Alexandra A.
    Vatev, Stefan V.
    JOURNAL OF SYMBOLIC LOGIC, 2023, 88 (03) : 947 - 1004
  • [47] Embedding linear orders in grids
    Andrzej Ehrenfeucht
    Tero Harju
    Grzegorz Rozenberg
    Acta Informatica, 2006, 42 : 419 - 428
  • [48] Low scattered linear orders
    Frolov, Andrey
    Zubkov, Maxim
    JOURNAL OF LOGIC AND COMPUTATION, 2024,
  • [49] On extensions of constructive linear orders
    Kudaibergenov, KZ
    SIBERIAN MATHEMATICAL JOURNAL, 1999, 40 (03) : 539 - 540
  • [50] Noninterpretability of infinite linear orders
    Hodges, W
    Nies, A
    LOGIC COLLOQUIUM '95, 1998, 11 : 73 - 78
12345