Compacts cleavability over linearly ordered spaces and over class of all linearly ordered spaces

被引：0
|
作者：
机构：
来源：
Vestn Mosk Univ Ser 1 Mat Mekh | / 3卷 / 81-83期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [41] Automata based verification over linearly ordered data domains
    Segoufin, Luc
    Torunczyk, Szymon
    28TH INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SCIENCE (STACS 2011), 2011, 9 : 81 - 92
  • [42] Perfect GO-spaces which have a perfect linearly ordered extension
    Shi, WX
    TOPOLOGY AND ITS APPLICATIONS, 1997, 81 (01) : 23 - 33
  • [43] SOME LIMITATIONS TOWARD EXTENDING SARKOVSKII THEOREM TO CONNECTED LINEARLY ORDERED SPACES
    BALDWIN, S
    HOUSTON JOURNAL OF MATHEMATICS, 1991, 17 (01): : 39 - 53
  • [44] Ordered reproducing Hilbert spaces over ℂ2
    Sheng Zhao Hou
    Jie Wang
    Acta Mathematica Sinica, English Series, 2008, 24 : 503 - 510
  • [45] Groups definable in ordered vector spaces over ordered division rings
    Eleiftheriou, Pantelis E.
    Starchenko, Sergei
    JOURNAL OF SYMBOLIC LOGIC, 2007, 72 (04) : 1108 - 1140
  • [46] Church synthesis on register automata over linearly ordered data domains
    Léo Exibard
    Emmanuel Filiot
    Ayrat Khalimov
    Formal Methods in System Design, 2022, 61 : 290 - 337
  • [47] Church Synthesis on Register Automata over Linearly Ordered Data Domains
    Exibard, Leo
    Filiot, Emmanuel
    Khalimov, Ayrat
    38TH INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SCIENCE (STACS 2021), 2021, 187
  • [48] Transitive pairwise comparison matrices over abelian linearly ordered groups
    Cavallo, Bice
    D'Apuzzo, Livia
    RECENT ADVANCES IN APPLIED MATHEMATICS, 2009, : 207 - +
  • [49] Linearly ordered topologies
    Sarmiento Sarmiento, Edilberto
    REVISTA CIENTIFICA, 2007, (09): : 199 - 206
  • [50] Church synthesis on register automata over linearly ordered data domains
    Exibard, Leo
    Filiot, Emmanuel
    Khalimov, Ayrat
    FORMAL METHODS IN SYSTEM DESIGN, 2022, 61 (2-3) : 290 - 337
12345