Simplicity, and stability in there

Research output: Contribution to journalArticlepeer-review

23 Citations (Scopus)


Firstly, in this paper, we prove that the equivalence of simplicity and the symmetry of forking. Secondly, we attempt to recover definability part of stability theory to simplicity theory. In particular, using elimination of hyperimaginaries we prove that for any supersimple T, canonical base of an amalgamation class script P sign is the union of names of ψ-definitions of script P sign, ψ ranging over stationary L-formulas in script P sign. Also, we prove that the same is true with stable formulas for an 1-based theory having elimination of hyperimaginaries. For such a theory, the stable forking property holds, too.

Original languageEnglish
Pages (from-to)822-836
Number of pages15
JournalJournal of Symbolic Logic
Issue number2
Publication statusPublished - 2001 Jun

All Science Journal Classification (ASJC) codes

  • Philosophy
  • Logic


Dive into the research topics of 'Simplicity, and stability in there'. Together they form a unique fingerprint.

Cite this