Source author record

Clifton Ealy

Clifton Ealy appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

math.LO

Catalog footprint

What is connected

2works

1topics

1close collaborators

Actions

Connect this record

Open graph Browse works

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

preprint2020arXiv

Quantifier elimination for o-minimal structures expanded by a valuational cut

Let $R$ be an o-minimal expansion of a group in a language in which $\textrm{Th}(R)$ eliminates quantifiers, and let $C$ be a predicate for a valuational cut in $R$. We identify a condition that implies quantifier elimination for $\textrm{Th}(R,C)$ in the language of $R$ expanded by $C$ and a small number of constants, and which, in turn, is implied by $\textrm{Th}(R,C)$ having quantifier elimination and being universally axiomatizable. The condition applies for example in the case when $C$ is a convex subring of an o-minimal field $R$ and its residue field is o-minimal.

preprint2013arXiv

Model completeness of o-minimal fields with convex valuations

We let R be an o-minimal expansion of a field, V a convex subring, and $(R_0, V_{0})$ an elementary substructure of (R,V). We let L be the language consisting of a language for R, in which R has elimination of quantifiers, and a predicate for V, and we let $L_{R_{0}}$ be the language L expanded by constants for all elements of $R_0$. Our main result is that (R,V) considered as an $L_{R_{0}}$-structure is model complete provided that $k_R$, the corresponding residue field with structure induced from R, is o-minimal. Along the way we show that o-minimality of $k_R$ implies that the sets definable in $k_R$ are the same as the sets definable in k with structure induced from (R,V). We also give a criterion for a superstructure of (R,V) being an elementary extension of (R,V).