DEFINABILITY IN NORMAL THEORIES

被引：0
|
作者：
BUCHI, JR
DANHOF, KJ
机构：
[1] PURDUE UNIV,LAFAYETTE,IN 47907
[2] SO ILLINOIS UNIV,CARBUNDALE,IL 62901
来源：
ISRAEL JOURNAL OF MATHEMATICS | 1973年 / 14卷 / 03期
关键词：
D O I：
暂无
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
引用
收藏
页码：248 / 256
页数：9
相关论文
共 50 条
  • [41] NONSTANDARD DEFINABILITY
    SMITH, ST
    ANNALS OF PURE AND APPLIED LOGIC, 1989, 42 (01) : 21 - 43
  • [42] DECIDABILITY OF DEFINABILITY
    Bodirsky, Manuel
    Pinsker, Michael
    Tsankov, Todor
    JOURNAL OF SYMBOLIC LOGIC, 2013, 78 (04) : 1036 - 1054
  • [43] Definability in Games
    Graedel, Erich
    COMPUTER SCIENCE LOGIC, 2010, 6247 : 19 - 21
  • [44] Definability and invariance
    Da Costa N.C.A.
    Rodrigues A.A.M.
    Studia Logica, 2007, 86 (1) : 1 - 30
  • [45] EQUATION DEFINABILITY
    DRABBE, J
    COMPTES RENDUS HEBDOMADAIRES DES SEANCES DE L ACADEMIE DES SCIENCES SERIE A, 1971, 273 (14): : 589 - &
  • [46] Definability and compression
    Afrati, F
    Leiss, H
    de Rougemont, M
    FUNDAMENTA INFORMATICAE, 2003, 56 (1-2) : 155 - 180
  • [47] Decidability of Definability
    Bodirsky, Manuel
    Pinsker, Michael
    Tsankov, Todor
    26TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2011), 2011, : 321 - 328
  • [48] ON THE DEFINABILITY OF PS(A)
    BALDWIN, JT
    SAMHAN, MA
    ALGEBRA UNIVERSALIS, 1986, 23 (03) : 254 - 261
  • [49] Circumscription and definability
    1600, Morgan Kaufmann Publ Inc, San Mateo, CA, USA (01):
  • [50] Definability and textures
    Diker, Murat
    INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, 2012, 53 (04) : 558 - 572
12345