INDEPENDENCE OF 2 SET-THEORETIC STATEMENTS IN THE THEORY OF SUMMATION

被引：0
|
作者：
MALYKHIN, VI [1 ]
KHOLSHCHEVNIKOVA, NN [1 ]
机构：
[1] MOSCOW MACHINE INSTRUMENT INST,MOSCOW,USSR
来源：
MATHEMATICAL NOTES | 1980年 / 28卷 / 5-6期
关键词：
D O I：
10.1007/BF01709151
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
引用
收藏
页码：889 / 896
页数：8
相关论文
共 50 条
  • [31] Set-theoretic Types for Erlang
    Schimpf, Albert
    Wehr, Stefan
    Bieniusa, Annette
    PROCEEDINGS OF THE 2022 34TH SYMPOSIUM ON IMPLEMENTATION AND APPLICATION OF FUNCTIONAL LANGUAGES, IFL 2022, 2022,
  • [32] SET-THEORETIC STRUCTURE MODELING
    CONANT, RC
    INTERNATIONAL JOURNAL OF GENERAL SYSTEMS, 1981, 7 (01) : 93 - 107
  • [33] SET-THEORETIC REALISM AND ARITHMETIC
    KREMER, M
    PHILOSOPHICAL STUDIES, 1991, 64 (03) : 253 - 271
  • [34] Information-theoretic and set-theoretic similarity
    Cazzanti, Luca
    Gupta, Maya R.
    2006 IEEE INTERNATIONAL SYMPOSIUM ON INFORMATION THEORY, VOLS 1-6, PROCEEDINGS, 2006, : 1836 - +
  • [35] APPLICATIONS OF A SET-THEORETIC LEMMA
    GRUENHAGE, G
    PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 1984, 92 (01) : 133 - 140
  • [36] A SET-THEORETIC SEMANTICS FOR CLEAR
    SANNELLA, DT
    ACTA INFORMATICA, 1984, 21 (05) : 443 - 472
  • [37] Set-Theoretic and Type-Theoretic Ordinals Coincide
    de Jong, Tom
    Kraus, Nicolai
    Forsberg, Fredrik Nordvall
    Xu, Chuangjie
    2023 38TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, LICS, 2023,
  • [38] The Buddhist conditional in set-theoretic terms
    Galloway, B
    JOURNAL OF INDIAN PHILOSOPHY, 1996, 24 (06) : 649 - 658
  • [39] Set-theoretic pluralism and the Benacerraf problem
    Justin Clarke-Doane
    Philosophical Studies, 2020, 177 : 2013 - 2030
  • [40] Mechanism Design with Set-Theoretic Beliefs
    Chen, Jing
    Micali, Silvio
    2011 IEEE 52ND ANNUAL SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE (FOCS 2011), 2011, : 87 - 96
12345