11 citations · 12 across the 4 of their papers we have counts for
5 papers · 1 filter
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…
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…
Measuring definable sets in o-minimal fields
Jana Maříková, Masahiro Shiota
We introduce a non real-valued measure on the definable sets contained in the finite part of a cartesian power of an o-minimal field . The measure takes values in an ordered sem…
Model completeness of o-minimal fields with convex valuations
Clifton Ealy, Jana Maříková
We let R be an o-minimal expansion of a field, V a convex subring, and an elementary substructure of (R,V). We let L be the language consisting of a language for R,…
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…