Jinhe Ye

activity

20182022

most citedPro-definability of spaces of definable types

9 citations · 33 across the 13 of their papers we have counts for

collaborators

13 papers

math.AG2022

Tropical functions on a skeleton

Antoine Ducros, Ehud Hrushovski, François Loeser +1

We prove a general finiteness statement for the ordered abelian group of tropical functions on skeleta in Berkovich analytifications of algebraic varieties. Our approach consists i…

math.LO2022

When is the étale open topology a field topology?

Philip Dittmann, Erik Walsberg, Jinhe Ye

We investigate the following question: Given a field $K$ , when is the étale open topology $E_{K}$ induced by a field topology? On the positive side, when $K$ is the fractio…

math.LO2022

An invitation to extension domination

Kyle Gannon, Jinhe Ye

Motivated by the theory of domination for types, we introduce a notion of domination for Keisler measures called extension domination. We argue that this variant of domination beha…

math.LO2021★ 3 cited

Beautiful pairs

Pablo Cubides Kovacsics, Martin Hils, Jinhe Ye

We introduce an abstract framework to study certain classes of stably embedded pairs of models of a complete $L$ -theory $T$ , called \textit{beautiful pairs}, which compri…

math.AG2021★ 3 cited

The étale open topology over the fraction field of a henselian local domain

Will Johnson, Erik Walsberg, Jinhe Ye

Suppose that $R$ is a local domain with fraction field $K$ . If $R$ is Henselian then the $R$ -adic topology over $K$ refines the étale open topology. If $R$ is regular then the étal…

math.LO2021★ 5 cited

Éz fields

Erik Walsberg, Jinhe Ye

Let $K$ be a field. The étale open topology on the $K$ -points $V (K)$ of a $K$ -variety $V$ was introduced in our previous work. The étale open topology is non-discrete if and only i…

math.LO2020★ 7 cited

The étale-open topology and the stable fields conjecture

Will Johnson, Chieu-Minh Tran, Erik Walsberg +1

For an arbitrary field $K$ and $K$ -variety $V$ , we introduce the étale-open topology on the set $V (K)$ of $K$ -points of $V$ . This topology agrees with the Zariski topology, Euclide…

math.AG2020

Cohomology of algebraic varieties over non-archimedean fields

Pablo Cubides Kovacsics, Mário Edmundo, Jinhe Ye

We develop a sheaf cohomology theory of algebraic varieties over an algebraically closed non-trivially valued non-archimedean field $K$ based on Hrushovski-Loeser's stable completi…

math.LO2020

Stable formulas in ordered structures

Daniel Max Hoffmann, Chieu-Minh Tran, Jinhe Ye

We classify the stable formulas in the theory of Dense Linear Orders without endpoints, the stable formulas in the theory of Divisible Abelian Groups, and the stable formulas witho…

math.LO2019

Peterzil-Steinhorn subgroups and $μ$ -stabilizers in ACF

Moshe Kamensky, Sergei Starchenko, Jinhe Ye

We consider $G$ , a linear group defined over $k$ , an algebraically closed field. By considering $k$ as an embedded residue field of an algebraically closed valued field $K$ , we can…

math.LO2019★ 3 cited

Homotopy Types of Abstract Elementary Classes

Tim Campion, Jinhe Ye

We prove that for any homotopy type $X$ , there is an abstract elementary class $C$ , with joint embedding, almagamation and no maximal models such that the classifying spa…

math.LO2019★ 9 cited

Pro-definability of spaces of definable types

Pablo Cubides Kovacsics, Jinhe Ye

We show pro-definability of spaces of definable types in various classical complete first order theories, including complete o-minimal theories, Presburger arithmetic, $p$ -adically…

math.LO2018★ 3 cited

Classifying spaces and the Lascar group

Tim Campion, Greg Cousins, Jinhe Ye

We show that the Lascar group $Gal_{L} (T)$ of a first order theory $T$ is naturally isomorphic to the fundamental group $π_{1} (∣ Mod (T) ∣)$ of the classifyi…