3 papers
math.LO2022
Galois actions of finitely generated groups rarely have model companions
Özlem Beyarslan, Piotr Kowalski
We show that if is a finitely generated group such that its profinite completion is ``far from being projective'' (that is the kernel of the universal Frattini co…
math.LO2020
Model theory of Galois actions of torsion Abelian groups
Özlem Beyarslan, Piotr Kowalski
We show that the theory of Galois actions of a torsion Abelian group is companionable if and only if for each prime , the -primary part of is either finite or it coin…
math.LO2017
Fields with automorphism and valuation
Özlem Beyarslan, Daniel Max Hoffmann, Gönenç Onay +1
Abraham Robinson's method for finding model completions is refined and and generalized for model companions and is applied to the theory of fields equipped with both a valuation an…