activity
20072020
most citedThe structure on the real field generated by the standard part map on an o-minimal expansion of a real closed field

1 citations · 1 across the 2 of their papers we have counts for

collaborators

3 papers

math.LO2020

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

Clifton Ealy, Jana Maříková

Let be an o-minimal expansion of a group in a language in which eliminates quantifiers, and let be a predicate for a valuational cut in . We identify a…

math.LO2017

Residue field domination in real closed valued fields

Clifton Ealy, Deirdre Haskell, Jana Maříková

We define a notion of residue field domination for valued fields which generalizes stable domination in algebraically closed valued fields. We prove that a real closed valued field…

math.LO2007★ 1 cited

The structure on the real field generated by the standard part map on an o-minimal expansion of a real closed field

Jana Maříková

Let R be a sufficiently saturated o-minimal expansion of a real closed field, let O be the convex hull of the rationals in R, and let st: O^n \to \mathbb{R}^n be the standard part…