Simplicity, and Stability in There

@article{Kim2001SimplicityAS,
  title={Simplicity, and Stability in There},
  author={Byunghan Kim},
  journal={J. Symb. Log.},
  year={2001},
  volume={66},
  pages={822-836}
}
Firstly, in this paper, we prove that the equivalence of simplicity and the symmetry of forking. Secondly, we attempt to recover deenability 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 P is the union of names of-deenitions of P, ranging over stationary L-formulas in P. Also, we prove that the same is true with stable formulas for an 1-based theory having… CONTINUE READING

From This Paper

Topics from this paper.

Citations

Publications citing this paper.
Showing 1-10 of 13 extracted citations

References

Publications referenced by this paper.
Showing 1-10 of 23 references

A note on Lascar strong types in simple theories

B Kim
Journal of Symbolic Logic • 1998

Forking in simple unstable theories

Kim
Journal of London Math. Soc • 1998

From stability to simplicity

Bulletin of Symbolic Logic • 1998

Simple Theories

Ann. Pure Appl. Logic • 1997

Simple rst order theories

Kim
Simple rst order theories • 1996

Similar Papers

Loading similar papers…