The ℵ1-categoricity of strictly upper triangular matrix rings over algebraically closed fields
Keyword(s):
AbstractLet n ≥ 3. The following theorems are proved.Theorem. The theory of the class of strictly upper triangular n × n matrix rings over fields is finitely axiomatizable.Theorem. If R is a strictly upper triangular n × n matrix ring over a field K, then there is a recursive map σ from sentences in the language of rings with constants for K into sentences in the language of rings with constants for R such that K ⊨ φ if and only if R φ σ(φ).Theorem. The theory of a strictly upper triangular n × n matrix ring over an algebraically closed field is ℵ1-categorical.
2019 ◽
Vol 19
(03)
◽
pp. 2050053
2017 ◽
Vol 2019
(6)
◽
pp. 1863-1893
◽
2016 ◽
Vol 15
(07)
◽
pp. 1650121
◽
1975 ◽
Vol 77
(1)
◽
pp. 7-19
◽
1980 ◽
Vol 29
(4)
◽
pp. 462-468
◽
2010 ◽
Vol 7
(1)
◽
pp. 55-89
◽
2018 ◽
Vol 71
(4)
◽
pp. 819-842
◽