Source author record

Jana Maříková

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.LO

Catalog footprint

Research overview

5works

1topics

3close collaborators

Actions

Is this your work?

Open graph Browse papers

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.

preprint2015arXiv

The Hausdorff dimension of metric spaces definable in o-minimal expansions of the real field

Let $R$ be an o-minimal expansion of the real field. We show that the Hausdorff dimension of an $R$ -definable metric space is an $R$ -definable function of the parameters defining the metric space. We also show that the Hausdorff dimension of an $R$ -definable metric space is an element of the field of powers of $R$ . The proof uses a basic topological dichotomy for definable metric spaces due to the second author, and the work of the first author and Shiota on measure theory over nonarchimedean o-minimal structures.

preprint2014arXiv

Measuring definable sets in o-minimal fields

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 $R$ . The measure takes values in an ordered semiring, the Dedekind completion of a quotient of $R$ . We show that every measurable subset of $R^n$ with non-empty interior has positive measure, and that the measure is preserved by definable $C^1$ -diffeomorphisms with Jacobian determinant equal to $\pm 1$ .

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).

preprint2010arXiv

O-minimal residue fields of o-minimal fields

Let R be an o-minimal field with a proper convex subring V. We axiomatize the class of all structures (R,V) such that k_ind, the corresponding residue field with structure induced from R via the residue map, is o-minimal. More precisely, in previous work it was shown that certain first order conditions on (R,V) are sufficient for the o-minimality of k_ind. Here we prove that these conditions are also necessary.

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.