THE CONSISTENCY OF THE AXIOM OF UNIVERSALITY FOR THE ORDERING OF CARDINALITIES

被引：0
|
作者：
FORTI, M
HONSELL, F
机构：
来源：
JOURNAL OF SYMBOLIC LOGIC | 1986年 / 51卷 / 02期
关键词：
D O I：
暂无
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
引用
收藏
页码：486 / 486
页数：1
相关论文
共 50 条
  • [31] A minimal axiom group for rough set based on quasi-ordering
    代建华
    陈卫东
    潘云鹤
    [J]. Journal of Zhejiang University-Science A(Applied Physics & Engineering), 2004, (07) : 62 - 67
  • [32] CONSISTENCY OF THE AXIOM OF COMPREHENSION IN THE INFINITE-VALUED PREDICATE LOGIC OF LUKASIEWICZ
    WHITE, RB
    [J]. JOURNAL OF PHILOSOPHICAL LOGIC, 1979, 8 (04) : 509 - 534
  • [33] The weak E P.-axiom and the way of the ordering axiome.
    Steck, M
    [J]. MATHEMATISCHE ANNALEN, 1940, 117 : 195 - 196
  • [34] Divvy: An ATP Meta-system Based on Axiom Relevance Ordering
    Roederer, Alex
    Puzis, Yury
    Sutcliffe, Geoff
    [J]. AUTOMATED DEDUCTION - CADE-22, 2009, 5663 : 157 - 162
  • [35] Minimal axiom group for rough set based on quasi-ordering
    Dai J.-H.
    Chen W.-D.
    Pan Y.-H.
    [J]. Journal of Zhejiang University-SCIENCE A, 2004, 5 (7): : 810 - 815
  • [36] Consistency between ordering and clustering methods for graphs
    Kawamoto, Tatsuro
    Ochi, Masaki
    Kobayashi, Teruyoshi
    [J]. PHYSICAL REVIEW RESEARCH, 2023, 5 (02):
  • [37] Efficient Sequential Consistency via Conflict Ordering
    Lin, Changhui
    Nagarajan, Vijay
    Gupta, Rajiv
    Rajaram, Bharghava
    [J]. ASPLOS XVII: SEVENTEENTH INTERNATIONAL CONFERENCE ON ARCHITECTURAL SUPPORT FOR PROGRAMMING LANGUAGES AND OPERATING SYSTEMS, 2012, : 273 - 285
  • [38] Operator ordering and consistency of the wave function of the Universe
    Kontoleon, N
    Wiltshire, DL
    [J]. PHYSICAL REVIEW D, 1999, 59 (06)
  • [39] THEORY OF CONSISTENCY OF ORDERING GENERALIZABLE TO TAILORED TESTING
    CLIFF, N
    [J]. PSYCHOMETRIKA, 1977, 42 (03) : 375 - 399
  • [40] Histogram arc consistency as a value ordering heuristic
    Liu, W
    Havens, WS
    [J]. ADVANCES IN ARTIFICIAL INTELLIGENCE, 2004, 3060 : 510 - 516
12345