Yatir Halevi

activity

20242026

collaborators

8 papers

math.LO2026

A note on uniform finiteness in weakly o-minimal theories

Yatir Halevi, Assaf Hasson, Ya'acov Peterzil

For an $ℵ_{0}$ -saturated weakly o-minimal expansion of an ordered group $M$ , it is shown that $M^{eq}$ has uniform finiteness if and only if the colle…

math.LO2026

Model-theoretic Tameness in finite extensions of groups

Yatir Halevi, Saharon Shelah

It is shown that finite-index extensions and finite-index subgroups of $I ¨ $ -stable groups can be model-theoretically wild. More precisely, there exists an $I ¨ $ -stable group $G$ suc…

math.LO2025

Semisimple groups interpretable in various valued fields

Yatir Halevi, Assaf Hasson, Ya'acov Peterzil

We study infinite groups interpretable in power bounded $T$ -convex, $V$ -minimal or $p$ -adically closed fields. We show that if $G$ is an interpretable definably semisimple group (i…

math.LO2025

Contracting Endomorphisms of Valued Fields

Yuval Dor, Yatir Halevi

We prove that the class of separably algebraically closed valued fields equipped with a distinguished Frobenius endomorphism $x \mapsto x^{q}$ is decidable, uniformly in $q$ . The res…

math.LO2025

The infinitesimal subgroup of interpretable groups in some dp-minimal valued fields

Yatir Halevi, Assaf Hasson, Ya'acov Peterzil

We continue our local analysis of groups interpretable in various dp-minimal valued fields, as introduced in [8]. We associate with every infinite group $G$ interpretable in those…

math.LO2024

Models of Abelian varieties over valued fields, using model theory

Yatir Halevi

Given an elliptic curve $E$ over a perfect defectless henselian valued field $(F, val)$ with perfect residue field $k_{F}$ and valuation ring $O_{F}$ , there…