FINITELY AXIOMATIZABLE STRONGLY MINIMAL GROUPS

被引：2

作者：

Blossier, Thomas ^{[1
]}

Bouscaren, Elisabeth ^{[2
]}

机构：

[1] Univ Lyon 1, Inst Camille Jordan, CNRS, UMR 5208, F-69622 Villeurbanne, France

[2] Univ Paris 11, CNRS, Dept Math Orsay, F-91405 Orsay, France

来源：

JOURNAL OF SYMBOLIC LOGIC | 2010年 / 75卷 / 01期

关键词：

ELIMINATION; QUANTIFIERS;

D O I：

10.2178/jsl/1264433908

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

We show that if G is a strongly minimal finitely axiomatizable group. the division ring of quasi-endomorphisms of G must be an infinite finitely presented ring.

引用

页码：25 / 50

页数：26

共 50 条

[21] THE AMALGAMATION CLASS OF A DISCRIMINATOR VARIETY IS FINITELY AXIOMATIZABLE
BERGMAN, C
LECTURE NOTES IN MATHEMATICS, 1983, 1004 : 1 - 9
[22] QUASI FINITELY AXIOMATIZABLE TOTALLY CATEGORICAL THEORIES
AHLBRANDT, G
ZIEGLER, M
ANNALS OF PURE AND APPLIED LOGIC, 1986, 30 (01) : 63 - 82
[23] FINITELY AXIOMATIZABLE ALEPH(1) CATEGORICAL THEORIES
HRUSHOVSKI, E
JOURNAL OF SYMBOLIC LOGIC, 1994, 59 (03) : 838 - 844
[24] Not Every "Tabular" Predicate Logic is Finitely Axiomatizable
Dmitrij Skvortsov
Studia Logica, 1997, 59 (3) : 387 - 396
[25] Ivanova contact join-semilattices are not finitely axiomatizable
Lipparini, Paolo
LOGIC JOURNAL OF THE IGPL, 2025,
[26] THE CLASS OF ALL S-PREGROUPS IS NOT FINITELY AXIOMATIZABLE
DEKOV, DV
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 1992, 115 (04) : 895 - 897
[27] The model companion of the class of pseudocomplemented semilattices is finitely axiomatizable
Adler, Joel
ALGEBRA UNIVERSALIS, 2014, 72 (03) : 231 - 250
[28] The class of all embeddable semigroup amalgams is not finitely axiomatizable
Dekov, DV
JOURNAL OF PURE AND APPLIED ALGEBRA, 1998, 125 (1-3) : 135 - 139
[29] The model companion of the class of pseudocomplemented semilattices is finitely axiomatizable
Joël Adler
Algebra universalis, 2014, 72 : 231 - 250
[30] EQUATIONAL THEORY OF POSITIVE NUMBERS WITH EXPONENTIATION IS NOT FINITELY AXIOMATIZABLE
GUREVIC, R
ANNALS OF PURE AND APPLIED LOGIC, 1990, 49 (01) : 1 - 30

← 1 2 3 4 5 →