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
关键词
D O I
10.1007/BF01709151
中图分类号
O1 [数学];
学科分类号
0701 ; 070101 ;
摘要
引用
收藏
页码:889 / 896
页数:8
相关论文
共 50 条
  • [41] SET-THEORETIC ANALYSIS OF PERIODIC RECTIFICATION
    KIVA, VN
    SERAFIMOV, LA
    ZHURNAL FIZICHESKOI KHIMII, 1976, 50 (01): : 54 - 57
  • [42] Set-Theoretic Solutions of the Pentagon Equation
    Ilaria Colazzo
    Eric Jespers
    Łukasz Kubat
    Communications in Mathematical Physics, 2020, 380 : 1003 - 1024
  • [43] The MacLane Problem on the Set-Theoretic Foundation for Category Theory. II
    V. K. Zakharov
    A. V. Mikhalev
    Journal of Mathematical Sciences, 2003, 114 (2) : 1067 - 1085
  • [44] On the theory of convergence and compactness for Beltrami equations with constraints of set-theoretic type
    T. V. Lomako
    Ukrainian Mathematical Journal, 2012, 63 : 1400 - 1414
  • [45] Set-Theoretic Solutions of the Pentagon Equation
    Colazzo, Ilaria
    Jespers, Eric
    Kubat, Lukasz
    COMMUNICATIONS IN MATHEMATICAL PHYSICS, 2020, 380 (02) : 1003 - 1024
  • [46] Combining algebraic and set-theoretic specifications
    Hintermeier, C
    Kirchner, H
    Mosses, PD
    RECENT TRENDS IN DATA TYPE SPECIFICATION, 1996, 1130 : 255 - 273
  • [47] Set-Theoretic Types for Polymorphic Variants
    Castagna, Giuseppe
    Petrucciani, Tommaso
    Nguyen, Kim
    ACM SIGPLAN NOTICES, 2016, 51 (09) : 378 - 391
  • [48] Set-theoretic Analysis of Nominative Data
    Skobelev, Volodymyr G.
    Ivanov, Ievgen
    Nikitchenko, Mykola
    COMPUTER SCIENCE JOURNAL OF MOLDOVA, 2015, 23 (03) : 270 - 288
  • [49] THE SOUSLIN NUMBER IN SET-THEORETIC TOPOLOGY
    SHAPIROVSKII, BE
    TOPOLOGY AND ITS APPLICATIONS, 1994, 57 (2-3) : 131 - 150
  • [50] A SET-THEORETIC APPROACH TO MIMO DETECTION
    Fink, Jochen
    Cavalcante, Renato L. G.
    Utkovski, Zoran
    Stanczak, Slawomir
    2022 IEEE INTERNATIONAL CONFERENCE ON ACOUSTICS, SPEECH AND SIGNAL PROCESSING (ICASSP), 2022, : 5328 - 5332