On the axiom of union

被引：0
|
作者：
Greg Oman
机构：
[1] Ohio University,Department of Mathematics
来源：
Archive for Mathematical Logic | 2010年 / 49卷
关键词：
Axiom of union; Transitive closure; Inaccessible cardinal; Primary: 03E30; Secondary: 03E35;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
In this paper, we study the union axiom of ZFC. After a brief introduction, we sketch a proof of the folklore result that union is independent of the other axioms of ZFC. In the third section, we prove some results in the theory T:= ZFC minus union. Finally, we show that the consistency of T plus the existence of an inaccessible cardinal proves the consistency of ZFC.
引用
收藏
页码：283 / 289
页数：6
相关论文
共 50 条
  • [41] STRONG ANALOGS OF MARTIN AXIOM IMPLY AXIOM-R
    BEAUDOIN, RE
    JOURNAL OF SYMBOLIC LOGIC, 1987, 52 (01) : 216 - 218
  • [42] Lippmann's axiom and Lebesgue's axiom are equivalent to the Lotschnittaxiom
    Pambuccian, Victor
    Schacht, Celia
    BEITRAGE ZUR ALGEBRA UND GEOMETRIE-CONTRIBUTIONS TO ALGEBRA AND GEOMETRY, 2019, 60 (04): : 733 - 748
  • [43] Lippmann’s axiom and Lebesgue’s axiom are equivalent to the Lotschnittaxiom
    Victor Pambuccian
    Celia Schacht
    Beiträge zur Algebra und Geometrie / Contributions to Algebra and Geometry, 2019, 60 : 733 - 748
  • [44] Axiom vis: An axiom-oriented ontology visualization tool
    Zhou, Jian
    Wang, Xin
    Feng, Zhiyong
    Communications in Computer and Information Science, 2014, 480 : 156 - 166
  • [45] SAVAGES INDEPENDENCE AXIOM AND THE VONNEUMANN-MORGENSTERN SUBSTITUTION AXIOM
    BORGLIN, A
    NATIONALOKONOMISK TIDSSKRIFT, 1992, 130 (02): : 267 - 275
  • [46] INDEPENDENCE OF AXIOM OF DEPENDENT CHOICES FROM COUNTABLE AXIOM OF CHOICE
    JENSEN, RB
    JOURNAL OF SYMBOLIC LOGIC, 1966, 31 (02) : 294 - &
  • [47] THE URYSOHN AXIOM AND THE COMPLETELY HAUSDORFF AXIOM IN L-TOPOLOGICAL SPACES
    Shi, F. G.
    Chen, P.
    IRANIAN JOURNAL OF FUZZY SYSTEMS, 2010, 7 (01): : 33 - 45
  • [48] On Axiom A + no-cycles
    冯庆富
    张勇
    NortheasternMathematicalJournal, 2002, (02) : 175 - 177
  • [49] AVOIDING AXIOM OF CHOICE
    OSOFSKY, BL
    AMERICAN MATHEMATICAL MONTHLY, 1975, 82 (03): : 308 - 309
  • [50] The AXIOM Software Layers
    Alvarez, Carlos
    Ayguade, Eduard
    Bueno, Javier
    Filgueras, Antonio
    Jimenez-Gonzalez, Daniel
    Martorell, Xavier
    Navarro, Nacho
    Theodoropoulos, Dimitris
    Pnevmatikatos, Dionisios N.
    Scordino, Claudio
    Gai, Paolo
    Catani, Davide
    Segura, Carlos
    Fernandez, Carles
    Oro, David
    Saeta, Javier Rodriguez
    Passera, Pierluigi
    Pomella, Alberto
    Rizzo, Antonio
    Giorgi, Roberto
    2015 EUROMICRO CONFERENCE ON DIGITAL SYSTEM DESIGN (DSD), 2015, : 117 - 124
12345