The following pages link to Byunghan Kim (Q190312):
Displaying 44 items.
- The Lascar group and the strong types of hyperimaginaries (Q372626) (← links)
- On the \(n\)-uniqueness of types in rosy theories (Q506958) (← links)
- Notions around tree property 1 (Q639673) (← links)
- A note on weak dividing (Q868657) (← links)
- Generalized amalgamation and \(n\)-simplicity (Q952485) (← links)
- Simple theories (Q1377641) (← links)
- Amalgamation functors and boundary properties in simple theories (Q1955866) (← links)
- Independence over arbitrary sets in \(\mathrm{NSOP}_1\) theories (Q2067639) (← links)
- Homology groups of types in stable theories and the Hurewicz correspondence (Q2358628) (← links)
- The Lascar groups and the first homology groups in model theory (Q2407273) (← links)
- Tree indiscernibilities, revisited (Q2436607) (← links)
- Automorphism groups over a hyperimaginary (Q2683701) (← links)
- Simplicity and stability in there (Q2747721) (← links)
- Around stable forking (Q2773240) (← links)
- Simplicity theory (Q2846559) (← links)
- Characterization of the Second Homology Group of a Stationary Type in a Stable Theory (Q2989965) (← links)
- More on tree properties (Q3298778) (← links)
- CONSTRUCTING THE HYPERDEFINABLE GROUP FROM THE GROUP CONFIGURATION (Q3444853) (← links)
- (Q3567850) (← links)
- A note on Lascar strong types in simple theories (Q4227874) (← links)
- (Q4356367) (← links)
- From Stability to Simplicity (Q4392803) (← links)
- The geometry of 1-based minimal types (Q4417310) (← links)
- On the Number of Countable Models of a Countable Supersimple Theory (Q4487515) (← links)
- Forking in Simple Unstable Theories (Q4716690) (← links)
- (Q4938558) (← links)
- Coordinatisation and canonical bases in simple theories (Q4953221) (← links)
- WEAK CANONICAL BASES IN NSOP THEORIES (Q5015732) (← links)
- THE RELATIVIZED LASCAR GROUPS, TYPE-AMALGAMATION, AND ALGEBRAICITY (Q5159487) (← links)
- Recovering the hyperdefinable group action in the group configuration theorem (Q5190187) (← links)
- ON THE NUMBER OF COUNTABLE MODELS OF A COUNTABLE NSOP<sub>1</sub> THEORY WITHOUT WEIGHT <i>ω</i> (Q5195062) (← links)
- Non-commutative groupoids obtained from the failure of 3-uniqueness in stable theories (Q5218712) (← links)
- A CLASSIFICATION OF 2-CHAINS HAVING 1-SHELL BOUNDARIES IN ROSY THEORIES (Q5251373) (← links)
- Amalgamation functors and homology groups in model theory (Q5371225) (← links)
- Homology Groups of Types in Model Theory and the Computation of <i>H</i><sub>2</sub>(<i>p</i>) (Q5407042) (← links)
- Stable definability and generic relations (Q5444692) (← links)
- Type-amalgamation properties and polygroupoids in stable theories (Q5501924) (← links)
- A supersimple nonlow theory (Q5937833) (← links)
- TRANSITIVITY, LOWNESS, AND RANKS IN NSOP THEORIES (Q6095968) (← links)
- Independence over arbitrary sets in NSOP$_1$ theories (Q6325540) (← links)
- The relativized Lascar groups, type-amalgamation, and algebraicity (Q6339314) (← links)
- Automorphism groups over a hyperimaginary (Q6370518) (← links)
- A number of countable models of a countable supersimple theory (Q6502439) (← links)
- Existence in NSOP$_1$ theories (Q6729689) (← links)
