Pełnotekstowe zasoby PLDML oraz innych baz dziedzinowych są już dostępne w nowej Bibliotece Nauki.
Zapraszamy na https://bibliotekanauki.pl

PL EN


Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników
2001 | 170 | 1-2 | 107-118

Tytuł artykułu

Around stable forking

Treść / Zawartość

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.

Rocznik

Tom

170

Numer

1-2

Strony

107-118

Daty

wydano
2001

Twórcy

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

Identyfikatory

Identyfikator YADDA

bwmeta1.element.bwnjournal-article-doi-10_4064-fm170-1-6