Researcher profile

Jana Maříková

Jana Maříková contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

math.LO

Trust snapshot

Quick read

Trust 19 - Baseline

5works

0followers

1topics

3close collaborators

Actions

Decide how to stay connected

Follow researcher0

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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