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 条

[1] GENERIC THEORIES AS A METHOD FOR APPROXIMATING ELEMENTARY THEORIES
Myasnikov, A. G.
Remeslennikov, V. N.
ALGEBRA AND LOGIC, 2015, 53 (06) : 512 - 519
[2] ELEMENTARY INTUITIONISTIC THEORIES
SMORYNSKI, C
JOURNAL OF SYMBOLIC LOGIC, 1973, 38 (01) : 102 - 134
[3] ELEMENTARY THEORIES OF GROUPS
ERSHOV, YL
DOKLADY AKADEMII NAUK SSSR, 1972, 203 (06): : 1240 - &
[4] Generic trivializations of geometric theories
Berenstein, Alexander
Vassiliev, Evgueni
MATHEMATICAL LOGIC QUARTERLY, 2014, 60 (4-5) : 289 - 303
[5] GENERIC EXPANSIONS OF GEOMETRIC THEORIES
Jalili, Somaye
Pourmahdian, Massoud
Tavana, Nazanin Roshandel
JOURNAL OF SYMBOLIC LOGIC, 2024,
[6] GENERIC UNDECIDABILITY OF UNIVERSAL THEORIES
Rybalov, Alexander Nikolaevich
SIBERIAN ELECTRONIC MATHEMATICAL REPORTS-SIBIRSKIE ELEKTRONNYE MATEMATICHESKIE IZVESTIYA, 2019, 16 : 1289 - 1294
[7] ON GENERIC COMPLEXITY OF THE EXISTENTIAL THEORIES
Rybalov, A. N.
PRIKLADNAYA DISKRETNAYA MATEMATIKA, 2020, (49): : 120 - 126
[8] Generic structures and simple theories
Chatzidakis, Z
Pillay, A
ANNALS OF PURE AND APPLIED LOGIC, 1998, 95 (1-3) : 71 - 92
[9] Elementary swelling and gelling theories
Grayeff, SG
ADVANCES IN COLLOID AND INTERFACE SCIENCE, 2004, 107 (01) : 61 - 73
[10] FUNCTORIAL SEMANTICS OF ELEMENTARY THEORIES
LAWVERE, FW
JOURNAL OF SYMBOLIC LOGIC, 1966, 31 (02) : 294 - &

← 1 2 3 4 5 →