Source author record

Jana Maříková

Jana Maříková 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

5works

1topics

3close 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.

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.

Institution

Affiliation not imported yet

This author record came from a source that does not expose affiliation metadata. Once the author claims the profile or we enrich the record from another provider, this section will link to the concrete institution.

Topic footprint