scientific article; zbMATH DE number 2220977
The author axiomatizes various theories of fields \(K\) of given characteristic with a predicate for a divisible multiplicative subgroup \(V\) with given torsion subgroup \(U\) such that linearly independent points of \(V\) are algebraically independent. He notes first that if this class is elementary, its theory is complete, bidimensional, with \(RM(K)=\omega\) and \(RM(V)=1\). In characteristic zero, axiomatizability follows from an unpublished result of Zilber; in positive characteristic and for torsion-free \(V\) it follows from the theorem that for any uniform family of subsets of \((K^*)^n\) there are only finitely many maximal tori which are generically included in a member of the family. For the entire collection see [Zbl 1066.03014].
- Bad extensions of analytic algebra
- Linear connections between roots of unity in nonzero characteristic
- Model-theory of vector-spaces over unspecified fields
- On bad groups, bad fields, and pseudoplanes
- BAD FIELDS IN POSITIVE CHARACTERISTIC
- scientific article; zbMATH DE number 1533649 (Why is no real title available?)
- The variety of bad zero-schemes
- Number fields and divisible groups via model theory
- scientific article; zbMATH DE number 2220978 (Why is no real title available?)
- A note on geometric theories of fields
- Around the algebraicity problem in odd type
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5700784)
