MODEL-THEORETIC PROOF OF A PARTITION THEOREM

被引：0
|
作者：
SIMPSON, SG
机构：
来源：
NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY | 1970年 / 17卷 / 06期
关键词：
D O I：
暂无
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
引用
收藏
页码：964 / &
相关论文
共 50 条
  • [21] Compositionality and model-theoretic interpretation
    Hendriks H.
    Journal of Logic, Language and Information, 2001, 10 (1) : 29 - 48
  • [22] A MODEL-THEORETIC ANALYSIS OF KNOWLEDGE
    FAGIN, R
    HALPERN, JY
    VARDI, MY
    JOURNAL OF THE ACM, 1991, 38 (02) : 382 - 428
  • [23] ON MODEL-THEORETIC CONNECTED GROUPS
    Gismatullin, Jakub
    JOURNAL OF SYMBOLIC LOGIC, 2024, 89 (01) : 50 - 79
  • [24] A MODEL-THEORETIC CRITERION OF ONTOLOGY
    BACON, J
    SYNTHESE, 1987, 71 (01) : 1 - 18
  • [25] WHAT IS THE MODEL-THEORETIC ARGUMENT
    ANDERSON, DL
    JOURNAL OF PHILOSOPHY, 1993, 90 (06): : 311 - 322
  • [26] On model-theoretic tree properties
    Chernikov, Artem
    Ramsey, Nicholas
    JOURNAL OF MATHEMATICAL LOGIC, 2016, 16 (02)
  • [27] A model-theoretic interpretation of science
    Ruttkamp, E
    SOUTH AFRICAN JOURNAL OF PHILOSOPHY-SUID-AFRIKAANSE TYDSKRIF VIR WYSBEGEERTE, 1997, 16 (01): : 31 - 36
  • [28] A purely model-theoretic proof of the exponential succinctness gap between CTL+ and CTL
    Lange, Martin
    INFORMATION PROCESSING LETTERS, 2008, 108 (05) : 308 - 312
  • [29] Model-Theoretic Properties of ω-Automatic Structures
    Abu Zaid, Faried
    Graedel, Erich
    Kaiser, Lukasz
    Pakusa, Wied
    THEORY OF COMPUTING SYSTEMS, 2014, 55 (04) : 856 - 880
  • [30] A Model-Theoretic Framework for Grammaticality Judgements
    Duchier, Denys
    Prost, Jean-Philippe
    Thi-Bich-Hanh Dao
    FORMAL GRAMMAR, 2011, 5591 : 17 - 30
12345