Source author record

Allen Gehret

Allen Gehret 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

4works

1topics

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

preprint2022arXiv

Distality in valued fields and related structures

We investigate distality and existence of distal expansions in valued fields and related structures. In particular, we characterize distality in a large class of ordered abelian groups, provide an AKE-style characterization for henselian valued fields, and demonstrate that certain expansions of fields, e.g., the differential field of logarithmic-exponential transseries, are distal. As a new tool for analyzing valued fields we employ a relative quantifier elimination for pure short exact sequences of abelian groups.

preprint2018arXiv

Hamel Spaces and Distal Expansions

In this note, we construct a distal expansion for the structure $(\mathbb{R}; +,<,H)$, where $H\subseteq \mathbb{R}$ is a dense $\mathbb{Q}$-vector space basis of $\mathbb{R}$ (a so-called Hamel basis). Our construction is also an expansion of the dense pair $(\mathbb{R}; +,<,\mathbb{Q})$ and has full quantifier elimination in a natural language.

preprint2016arXiv

NIP for the Asymptotic Couple of the Field of Logarithmic Transseries

The derivation on the differential-valued field $\mathbb{T}_{\log}$ of logarithmic transseries induces on its value group $Γ_{\log}$ a certain map $ψ$. The structure $Γ= (Γ_{\log},ψ)$ is a divisible asymptotic couple. In~\cite{gehret} we began a study of the first-order theory of $(Γ_{\log},ψ)$ where, among other things, we proved that the theory $T_{\log} = \operatorname{Th}(Γ_{\log},ψ)$ has a universal axiomatization, is model complete and admits elimination of quantifiers (QE) in a natural first-order language. In that paper we posed the question whether $T_{\log}$ has NIP (i.e., the Non-Independence Property). In this paper, we answer that question in the affirmative: $T_{\log}$ does have NIP. Our method of proof relies on a complete survey of the $1$-types of $T_{\log}$, which, in the presence of QE, is equivalent to a characterization of all simple extensions $Γ\langleα\rangle$ of $Γ$. We also show that $T_{\log}$ does not have the Steinitz exchange property and we weigh in on the relationship between models of $T_{\log}$ and the so-called \emph{precontraction groups} of~\cite{kuhlmann1}.

preprint2016arXiv

The Asymptotic Couple of the Field of Logarithmic Transseries

The derivation on the differential-valued field $\mathbb{T}_{\log}$ of logarithmic transseries induces on its value group $Γ_{\log}$ a certain map $ψ$. The structure $(Γ_{\log},ψ)$ is a divisible asymptotic couple. We prove that the theory $T_{\log} = {\rm Th}(Γ_{\log},ψ)$ admits elimination of quantifiers in a natural first-order language. All models $(Γ,ψ)$ of $T_{\log}$ have an important discrete subset $Ψ:=ψ(Γ\setminus\{0\})$. We give explicit descriptions of all definable functions on $Ψ$ and prove that $Ψ$ is stably embedded in $Γ$.

Allen Gehret

What is connected

Connect this record

See the researcher in context

Building this map preview

4 published item(s)

Distality in valued fields and related structures

Hamel Spaces and Distal Expansions

NIP for the Asymptotic Couple of the Field of Logarithmic Transseries

The Asymptotic Couple of the Field of Logarithmic Transseries