3 papers
math.LO2020
Expansions of the Group of Integers by Beatty Sequences
Ayhan Günaydın, Melissa Özsahakyan
We study the model theoretic structure where is an irrational number and the elements of are of the form $\floor{nr}$ for some . We a…
math.LO2017
The Choice Property in tame expansions of o-minimal structures
Pantelis E. Eleftheriou, Ayhan Günaydın, Philipp Hieronymi
We establish the choice property, a weak analogue of definable choice, for certain tame expansions of o-minimal structures. Most noteworthily, dense pairs of real closed fields hav…
math.LO2007
Thorn independence in the field of real numbers with a small multiplicative group
Alexander Berenstein, Clifton Ealy, Ayhan Günaydin
We characterize thorn-independence in a variety of structures, focusing on the field of real numbers expanded by predicate defining a dense multiplicative subgroup, G, satisfying t…