Around stable forking

Byunghan Kim, A. Pillay

Research output: Contribution to journalArticle

7 Citations (Scopus)

Abstract

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.

Original languageEnglish
Pages (from-to)107-118
Number of pages12
JournalFundamenta Mathematicae
Volume170
Issue number1-2
DOIs
Publication statusPublished - 2001 Jan 1

Fingerprint

Canonical Basis

All Science Journal Classification (ASJC) codes

  • Algebra and Number Theory

Cite this

Kim, Byunghan ; Pillay, A. / Around stable forking. In: Fundamenta Mathematicae. 2001 ; Vol. 170, No. 1-2. pp. 107-118.
@article{e6269e5909fb4c61b68e5c4063035718,
title = "Around stable forking",
abstract = "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.",
author = "Byunghan Kim and A. Pillay",
year = "2001",
month = "1",
day = "1",
doi = "10.4064/fm170-1-6",
language = "English",
volume = "170",
pages = "107--118",
journal = "Fundamenta Mathematicae",
issn = "0016-2736",
publisher = "Instytut Matematyczny",
number = "1-2",

}

Kim, B & Pillay, A 2001, 'Around stable forking', Fundamenta Mathematicae, vol. 170, no. 1-2, pp. 107-118. https://doi.org/10.4064/fm170-1-6

Around stable forking. / Kim, Byunghan; Pillay, A.

In: Fundamenta Mathematicae, Vol. 170, No. 1-2, 01.01.2001, p. 107-118.

Research output: Contribution to journalArticle

TY - JOUR

T1 - Around stable forking

AU - Kim, Byunghan

AU - Pillay, A.

PY - 2001/1/1

Y1 - 2001/1/1

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=0039296115&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0039296115&partnerID=8YFLogxK

U2 - 10.4064/fm170-1-6

DO - 10.4064/fm170-1-6

M3 - Article

VL - 170

SP - 107

EP - 118

JO - Fundamenta Mathematicae

JF - Fundamenta Mathematicae

SN - 0016-2736

IS - 1-2

ER -