JEDNOSTKA NAUKOWA KATEGORII A+

Around stable forking

Tom 170 / 2001

Byunghan Kim, A. Pillay Fundamenta Mathematicae 170 (2001), 107-118 MSC: Primary 03C45. DOI: 10.4064/fm170-1-6

Streszczenie

We discuss various conjectures and problems around the issue of when and whether stable formulas are responsible for forking in simple theories. We prove that if the simple theory $T$ has strong stable forking then any complete type is a nonforking extension of a complete type which is axiomatized by instances of stable formulas. We also give another treatment of the first author's result which identifies canonical bases in supersimple theories.

Autorzy

  • Byunghan KimDepartment of Mathematics
    MIT
    Cambridge, MA 02138, U.S.A.
    e-mail
  • A. PillayDepartment of Mathematics
    University of Illinois at Urbana-Champaign
    Altgeld Hall, 1409 W. Green St.
    Urbana, IL 61801, U.S.A.
    e-mail

Przeszukaj wydawnictwa IMPAN

Zbyt krótkie zapytanie. Wpisz co najmniej 4 znaki.

Przepisz kod z obrazka

Odśwież obrazek

Odśwież obrazek