On first-order sentences without finite models

被引：3
|
作者：
Djordjevic, M [1 ]
机构：
[1] Univ Uppsala, Dept Math, S-75106 Uppsala, Sweden
来源：
JOURNAL OF SYMBOLIC LOGIC | 2004年 / 69卷 / 02期
关键词：
D O I：
10.2178/jsl/1082418529
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
[No abstract available]
引用
收藏
页码：329 / 339
页数：11
相关论文
共 50 条
  • [1] Describing finite groups by short first-order sentences
    André Nies
    Katrin Tent
    Israel Journal of Mathematics, 2017, 221 : 85 - 115
  • [2] DESCRIBING FINITE GROUPS BY SHORT FIRST-ORDER SENTENCES
    Nies, Andre
    Tent, Katrin
    ISRAEL JOURNAL OF MATHEMATICS, 2017, 221 (01) : 85 - 115
  • [3] Polycyclic-by-finite groups and first-order sentences
    Lasserre, Clement
    JOURNAL OF ALGEBRA, 2013, 396 : 18 - 38
  • [4] On the Convergence of Probabilities of First-Order Sentences for Recursive Random Graph Models
    M. E. Zhukovskii
    Yu. A. Malyshkin
    Doklady Mathematics, 2020, 102 : 384 - 386
  • [5] On the Convergence of Probabilities of First-Order Sentences for Recursive Random Graph Models
    Zhukovskii, M. E.
    Malyshkin, Yu A.
    DOKLADY MATHEMATICS, 2020, 102 (02) : 384 - 386
  • [6] First-order sentences in random groups I: Universal sentences
    Kharlampovich, Olga
    Sklinos, Rizos
    JOURNAL FUR DIE REINE UND ANGEWANDTE MATHEMATIK, 2024, 2024 (815): : 173 - 227
  • [7] First-order logic and some existential sentences
    McLeod, Stephen K.
    DISPUTATIO-INTERNATIONAL JOURNAL OF PHILOSOPHY, 2011, 4 (31): : 255 - 270
  • [8] Separating classes of groups by first-order sentences
    Nies, A
    INTERNATIONAL JOURNAL OF ALGEBRA AND COMPUTATION, 2003, 13 (03) : 287 - 302
  • [9] SPECTRA OF FIRST-ORDER SENTENCES AND COMPUTATIONAL COMPLEXITY.
    Grandjean, Etienne
    1600, (13):
  • [10] First-order microcanonical transitions in finite mean-field models
    Antoni, M
    Ruffo, S
    Torcini, A
    EUROPHYSICS LETTERS, 2004, 66 (05): : 645 - 651
12345