Generic Theories as a Method for Approximating Elementary Theories

被引：0
|
作者：
A. G. Myasnikov
V. N. Remeslennikov
机构：
[1] Omsk State Technical University,
[2] Omsk Branch of Sobolev Institute ofMathematics,undefined
来源：
Algebra and Logic | 2015年 / 53卷
关键词：
Generic Theory; Abelian Group; Partial Order; Boolean Algebra; Cayley Graph;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：512 / 519
页数：7
相关论文
共 50 条
  • [41] THEORIES OF BOOLEAN-ALGEBRA PROVIDED WITH DISTINGUISHED IDEALS .1. ELEMENTARY THEORIES
    TOURAILLE, A
    JOURNAL OF SYMBOLIC LOGIC, 1987, 52 (04) : 1027 - 1043
  • [42] On-shell recursion relations for generic theories
    Cheung, Clifford
    JOURNAL OF HIGH ENERGY PHYSICS, 2010, (03):
  • [43] GENERIC COMPLEXITY OF FIRST-ORDER THEORIES
    Rybalov, A. N.
    SIBERIAN ELECTRONIC MATHEMATICAL REPORTS-SIBIRSKIE ELEKTRONNYE MATEMATICHESKIE IZVESTIYA, 2011, 8 : 168 - 178
  • [44] FLRW-cosmology in generic gravity theories
    Gurses, Metin
    Heydarzade, Yaghoub
    EUROPEAN PHYSICAL JOURNAL C, 2020, 80 (11):
  • [45] Energy in generic higher curvature gravity theories
    Deser, S
    Tekin, B
    PHYSICAL REVIEW D, 2003, 67 (08):
  • [46] GENERIC THEORIES FOR SERIES OF FINITE ABELIAN GROUPS
    Mishchenko, A. A.
    Remeslennikov, V. N.
    Treier, A. V.
    ALGEBRA AND LOGIC, 2015, 53 (06) : 471 - 480
  • [47] Effective field theories on solitons of generic shapes
    Gudnason, Sven Bjarke
    Nitta, Muneto
    PHYSICS LETTERS B, 2015, 747 : 173 - 177
  • [48] A Generic Framework for Implicate Generation Modulo Theories
    Echenim, Mnacho
    Peltier, Nicolas
    Sellami, Yanis
    AUTOMATED REASONING, IJCAR 2018, 2018, 10900 : 279 - 294
  • [49] Generic bidirectional typing for dependent type theories
    Felicissimo, Thiago
    PROGRAMMING LANGUAGES AND SYSTEMS, PT I, ESOP 2024, 2024, 14576 : 143 - 170
  • [50] Generic f(R) theories and classicality of their scalarons
    Gannouji, Radouane
    Sami, M.
    Thongkool, I.
    PHYSICS LETTERS B, 2012, 716 (02) : 255 - 259
12345