3 papers
math.LO2025
The Ax-Kochen-Ershov principles via the higher valued hyperfield
Junguk Lee
In this paper, we concern the model theory of finitely ramified henselian valued fields via higher valued hyperfields. Most of all, we provide a number of Ax-Kochen-Ershov Theorems…
math.LO2024
Relativized Galois groups of first order theories over a hyperimaginary
Hyoyoon Lee, Junguk Lee
We study relativized Lascar groups, which are formed by relativizing Lascar groups to the solution set of a partial type . We introduce the notion of a Lascar tuple for an…
math.LO2024
Preservation of NATP
JinHoo Ahn, Joonhee Kim, Hyoyoon Lee +1
We prove several preservation theorems for NATP and furnish several examples of NATP. First, we prove preservation of NATP for the parametrization and sum of the theories of Fraïs…