1 citations · 3 across the 5 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
math.LO2024
Existence in NSOP theories
Byunghan Kim, Joonhee Kim, Hyoyoon Lee
We show that Kim-forking satisfies existence in all NSOP theories.
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 and…