Simplicity, and stability in there

DOI10.2307/2695047zbMath1002.03026OpenAlexW2078011342MaRDI QIDQ2747721

Byunghan Kim

Publication date: 14 October 2001

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2695047

zbMATH Keywords

canonical baseamalgamation classdefinabilitysimplicityelimination of hyperimaginaries1-based theorystable forking propertysymmetry of forking

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45)

Related Items

Stable forking and imaginaries ⋮ A note on weak dividing ⋮ Elimination of hyperimaginaries and stable independence in simple CM-trivial theories ⋮ On Kim-independence ⋮ Theories without the tree property of the second kind ⋮ Stable formulas in ordered structures ⋮ Notions around tree property 1 ⋮ Transitivity of Kim-independence ⋮ Generalized amalgamation and \(n\)-simplicity ⋮ A GEOMETRIC INTRODUCTION TO FORKING AND THORN-FORKING ⋮ \(n\)-simple theories ⋮ AN AXIOMATIC APPROACH TO FREE AMALGAMATION ⋮ Independence over arbitrary sets in \(\mathrm{NSOP}_1\) theories ⋮ Supersimple theories

Cites Work

• A note on Lascar strong types in simple theories