Around stable forking

• Autorzy: Byunghan Kim , A. Pillay
• Języki publikacji: EN

Abstrakty

EN

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.

Kategorie tematyczne

• 03C45: Classification theory, stability and related concepts

• Wydawca: Institute of Mathematics Polish Academy of Sciences
• Czasopismo: Fundamenta Mathematicae
• Rocznik: 2001
• Tom: 170
• Numer: 1-2
• Strony: 107-118

Daty

wydano

2001

Twórcy

autor

Byunghan Kim

• Department of Mathematics, MIT, Cambridge, MA 02138, U.S.A.

autor

A. Pillay

• Department of Mathematics, University of Illinois at Urbana-Champaign, Altgeld Hall, 1409 W. Green St., Urbana, IL 61801, U.S.A.

Identyfikatory

DOI

10.4064/fm170-1-6