BETH DEFINABILITY IN INFINITARY LANGUAGES

被引：6
|
作者：
GREGORY, J [1 ]
机构：
[1] UNIV MANITOBA,WINNIPEG R3T 2N2,MANITOBA,CANADA
来源：
JOURNAL OF SYMBOLIC LOGIC | 1974年 / 39卷 / 01期
关键词：
D O I：
10.2307/2272338
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
引用
收藏
页码：22 / 26
页数：5
相关论文
共 50 条
  • [1] BETH DEFINABILITY FOR INFINITARY FINITE-QUANTIFIER LANGUAGES
    GREGORY, J
    [J]. NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1972, 19 (02): : A329 - A329
  • [2] IMPLICIT DEFINABILITY AND INFINITARY LANGUAGES
    KUNEN, K
    [J]. JOURNAL OF SYMBOLIC LOGIC, 1968, 33 (03) : 446 - &
  • [3] WEAK DEFINABILITY IN INFINITARY LANGUAGES
    SHELAH, S
    [J]. JOURNAL OF SYMBOLIC LOGIC, 1973, 38 (03) : 399 - 404
  • [4] UNIFORM INDUCTIVE DEFINABILITY AND INFINITARY LANGUAGES
    NYBERG, AM
    [J]. JOURNAL OF SYMBOLIC LOGIC, 1976, 41 (01) : 109 - 120
  • [5] DEFINABILITY IN INFINITARY LANGUAGES AND INVARIANCE BY AUTOMORPHISMS
    Rodrigues, Alexandre A. M.
    de Miranda Filho, Ricardo C.
    de Souza, Edelcio G.
    [J]. REPORTS ON MATHEMATICAL LOGIC, 2010, 45 : 119 - 133
  • [6] WEAK DEFINABILITY FOR INFINITARY LANGUAGES - PRELIMINARY REPORT
    SHELAH, S
    [J]. NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1970, 17 (05): : 834 - &
  • [7] Combined Covers and Beth Definability
    Calvanese, Diego
    Ghilardi, Silvio
    Gianola, Alessandro
    Montali, Marco
    Rivkin, Andrey
    [J]. AUTOMATED REASONING, PT I, 2020, 12166 : 181 - 200
  • [8] Abstract Beth definability in institutions
    Petria, Marius
    Diaconescu, Razvan
    [J]. JOURNAL OF SYMBOLIC LOGIC, 2006, 71 (03) : 1002 - 1028
  • [9] Interpolation and Beth Definability in Default Logics
    Cassano, Valentin
    Fervari, Raul
    Areces, Carlos
    Castro, Pablo F.
    [J]. LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2019, 2019, 11468 : 675 - 691
  • [10] Beth definability, interpolation and language splitting
    Parikh, Rohit
    [J]. SYNTHESE, 2011, 179 (02) : 211 - 221
12345