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 条

[41] Limits of topological minimal sets with finitely generated coefficient groups
Liang, Xiangyu
JOURNAL OF THE LONDON MATHEMATICAL SOCIETY-SECOND SERIES, 2016, 94 : 230 - 252
[42] THE SIMILARITY OF PROPERTIES OF THE RECURSIVELY-ENUMERABLE AND FINITELY AXIOMATIZABLE THEORIES
PERETIATKIN, MG
DOKLADY AKADEMII NAUK SSSR, 1989, 308 (04): : 788 - 791
[43] Finitely axiomatizable co-categorical theories and the Mazoyer hypothesis
Lippel, D
JOURNAL OF SYMBOLIC LOGIC, 2005, 70 (02) : 460 - 472
[44] Automorphism groups of trivial strongly minimal structures
Blossier, T
JOURNAL OF SYMBOLIC LOGIC, 2003, 68 (02) : 644 - 668
[45] On the Herbrand notion of consistency for finitely axiomatizable fragments of bounded arithmetic theories
Kolodziejczyk, LA
JOURNAL OF SYMBOLIC LOGIC, 2006, 71 (02) : 624 - 638
[46] Topological full groups of minimal subshifts and the classification problem for finitely generated complete groups
Thomas, Simon
GROUPS GEOMETRY AND DYNAMICS, 2019, 13 (01) : 327 - 347
[47] The finitely axiomatizable complete theories of non-associative arrow frames
Khaled, Mohamed
ADVANCES IN MATHEMATICS, 2019, 346 : 194 - 218
[48] ALL FINITELY AXIOMATIZABLE NORMAL EXTENSIONS OF K4.3 ARE DECIDABLE
ZAKHARYASCHEV, M
ALEKSEEV, A
MATHEMATICAL LOGIC QUARTERLY, 1995, 41 (01) : 15 - 23
[49] FINITELY AXIOMATIZABLE PROPERTIES IN A 1ST-ORDER PREDICATE CALCULUS
MUNRO, DP
AMERICAN MATHEMATICAL MONTHLY, 1978, 85 (10): : 831 - 832
[50] A finitely axiomatizable undecidable equational theory with recursively solvable word problems
Delic, D
TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 2000, 352 (07) : 3065 - 3101

← 1 2 3 4 5 →