Movatterモバイル変換

Direct download(4 more)   Export citation   Bookmark   14 citations  

Direct download(8 more)   Export citation   Bookmark   8 citations  

Direct download(11 more)   Export citation   Bookmark   6 citations  

Direct download(2 more)   Export citation   Bookmark  

We give a reduction of the function field Mordell–Lang conjecture to the function field Manin–Mumford conjecture, for abelian varieties, in all characteristics, via model theory, but avoiding recourse to the dichotomy theorems for (generalized) Zariski geometries. Additional ingredients include the “Theorem of the Kernel”, and a result of Wagner on commutative groups of finite Morley rank without proper infinite definable subgroups. In positive characteristic, where the main interest lies, there is one more crucial ingredient: “quantifier-elimination” for the corresponding [Formula: see (...) text] where [Formula: see text] is a saturated separably closed field. (shrink)

Direct download(2 more)   Export citation   Bookmark  

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.

Direct download(8 more)   Export citation   Bookmark  

Direct download(4 more)   Export citation   Bookmark  

We consider the question of when, given a subset A of M, the setwise stabilizer of the group of automorphisms induces a closed subgroup on Sym(A). We define s-homogeneity to be the analogue of homogeneity relative to strong embeddings and show that any subset of a countable, s-homogeneous, ω-stable structure induces a closed subgroup and contrast this with a number of negative results. We also show that for ω-stable structures s-homogeneity is preserved under naming countably many constants, but under slightly (...) weaker conditions it can be lost by naming a single point. (shrink)

Direct download(7 more)   Export citation   Bookmark