Simplicity, and stability in there

Research output: Contribution to journalArticle

18 Citations (Scopus)

Abstract

Firstly, in this paper, we prove that the equivalence of simplicity and the symmetry of forking. Secondly, we attempt to recover definability 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 script P sign is the union of names of ψ-definitions of script P sign, ψ ranging over stationary L-formulas in script P sign. Also, we prove that the same is true with stable formulas for an 1-based theory having elimination of hyperimaginaries. For such a theory, the stable forking property holds, too.

Original languageEnglish
Pages (from-to)822-836
Number of pages15
JournalJournal of Symbolic Logic
Volume66
Issue number2
DOIs
Publication statusPublished - 2001 Jun

Fingerprint

Simplicity
Elimination Theory
Canonical Basis
Amalgamation
Definability
Stability Theory
Elimination
Union
Equivalence
Symmetry
Class

All Science Journal Classification (ASJC) codes

  • Philosophy
  • Logic

Cite this

@article{04c404ea2504486486d13610c5d2570c,
title = "Simplicity, and stability in there",
abstract = "Firstly, in this paper, we prove that the equivalence of simplicity and the symmetry of forking. Secondly, we attempt to recover definability 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 script P sign is the union of names of ψ-definitions of script P sign, ψ ranging over stationary L-formulas in script P sign. Also, we prove that the same is true with stable formulas for an 1-based theory having elimination of hyperimaginaries. For such a theory, the stable forking property holds, too.",
author = "Byunghan Kim",
year = "2001",
month = "6",
doi = "10.2307/2695047",
language = "English",
volume = "66",
pages = "822--836",
journal = "Journal of Symbolic Logic",
issn = "0022-4812",
publisher = "Association for Symbolic Logic",
number = "2",

}

Simplicity, and stability in there. / Kim, Byunghan.

In: Journal of Symbolic Logic, Vol. 66, No. 2, 06.2001, p. 822-836.

Research output: Contribution to journalArticle

TY - JOUR

T1 - Simplicity, and stability in there

AU - Kim, Byunghan

PY - 2001/6

Y1 - 2001/6

N2 - Firstly, in this paper, we prove that the equivalence of simplicity and the symmetry of forking. Secondly, we attempt to recover definability 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 script P sign is the union of names of ψ-definitions of script P sign, ψ ranging over stationary L-formulas in script P sign. Also, we prove that the same is true with stable formulas for an 1-based theory having elimination of hyperimaginaries. For such a theory, the stable forking property holds, too.

AB - Firstly, in this paper, we prove that the equivalence of simplicity and the symmetry of forking. Secondly, we attempt to recover definability 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 script P sign is the union of names of ψ-definitions of script P sign, ψ ranging over stationary L-formulas in script P sign. Also, we prove that the same is true with stable formulas for an 1-based theory having elimination of hyperimaginaries. For such a theory, the stable forking property holds, too.

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

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

U2 - 10.2307/2695047

DO - 10.2307/2695047

M3 - Article

AN - SCOPUS:0035534335

VL - 66

SP - 822

EP - 836

JO - Journal of Symbolic Logic

JF - Journal of Symbolic Logic

SN - 0022-4812

IS - 2

ER -