Kim, Byunghan
- Independence over arbitrary sets in NSOP1 theories
2019/09/18 by Dobrowolski, Jan, Kim, Byunghan, Ramsey, Nicholas · 3 citations
#FOS: Mathematics #Logic (math.LO)
- Amalgamation functors and homology groups in model theory
2011/05/15 by John Goodrick, Goodrick, John, Byunghan Kim +3 · 2 citations
Mathematics · #03C45 #Advanced Topics in Algebra #Advanced Topology and Set Theory #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology #Logic (math.LO)
- Transitivity, lowness, and ranks in NSOP1 theories
2020/06/18 by Artem Chernikov, Byunghan Kim, Chernikov, Artem +3 · 2 citations
Mathematics · #Advanced Operator Algebra Research #Advanced Topology and Set Theory #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology #Logic (math.LO)
- A number of countable models of a countable supersimple theory
1996/02/15 by Kim, Byunghan · 1 citation
#FOS: Mathematics #Rings and Algebras (math.RA)
- A note on Lascar strong types in simple theories
1996/08/16 by Kim, Byunghan · 1 citation
#FOS: Mathematics #Rings and Algebras (math.RA)
- More on tree properties
2019/02/24 by Casanovas, Enrique, Kim, Byunghan · 1 citation
#FOS: Mathematics #Logic (math.LO)