Weak canonical bases in nsop theories

Journal of Symbolic Logic 86 (3):1259-1281 (2021)
  Copy   BIBTEX

Abstract

We study the notion of weak canonical bases in an NSOP $_{1}$ theory T with existence. Given $p=\operatorname {tp}$ where $B=\operatorname {acl}$ in ${\mathcal M}^{\operatorname {eq}}\models T^{\operatorname {eq}}$, the weak canonical base of p is the smallest algebraically closed subset of B over which p does not Kim-fork. With this aim we firstly show that the transitive closure $\approx $ of collinearity of an indiscernible sequence is type-definable. Secondly, we prove that given a total $\mathop {\smile \hskip -0.9em ^| \ }^K$ -Morley sequence I in p, the weak canonical base of $\operatorname {tp}$ is $\operatorname {acl}$, if the hyperimaginary $I/\approx $ is eliminable to e, a sequence of imaginaries. We also supply a couple of criteria for when the weak canonical base of p exists. In particular the weak canonical base of p is the intersection of the weak canonical bases of all total $\mathop {\smile \hskip -0.9em ^| \ }^K$ -Morley sequences in p over B. However, while we investigate some examples, we point out that given two weak canonical bases of total $\mathop {\smile \hskip -0.9em ^| \ }^K$ -Morley sequences in p need not be interalgebraic, contrary to the case of simple theories. Lastly we suggest an independence relation relying on weak canonical bases, when T has those. The relation, satisfying transitivity and base monotonicity, might be useful in further studies on NSOP $_1$ theories.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 76,140

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Canonical bases in excellent classes.Tapani Hyttinen & Olivier Lessmann - 2008 - Journal of Symbolic Logic 73 (1):165-180.
Generic expansion and Skolemization in NSOP 1 theories.Alex Kruckman & Nicholas Ramsey - 2018 - Annals of Pure and Applied Logic 169 (8):755-774.
Simplicity in compact abstract theories.Itay Ben-Yaacov - 2003 - Journal of Mathematical Logic 3 (02):163-191.
Weak forms of elimination of imaginaries.Enrique Casanovas & Rafel Farré - 2004 - Mathematical Logic Quarterly 50 (2):126-140.
Remarks on generic stability in independent theories.Gabriel Conant & Kyle Gannon - 2020 - Annals of Pure and Applied Logic 171 (2):102736.
Forking, normalization and canonical bases.Anand Pillay - 1986 - Annals of Pure and Applied Logic 32:61-81.
Weak dividing, chain conditions, and simplicity.Alfred Dolich - 2004 - Archive for Mathematical Logic 43 (2):265-283.
Stable Definability and Generic Relations.Byunghan Kim & Rahim Moosa - 2007 - Journal of Symbolic Logic 72 (4):1163 - 1176.

Analytics

Added to PP
2021-12-06

Downloads
2 (#1,400,884)

6 months
1 (#447,993)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

A geometric introduction to forking and thorn-forking.Hans Adler - 2009 - Journal of Mathematical Logic 9 (1):1-20.
Toward classifying unstable theories.Saharon Shelah - 1996 - Annals of Pure and Applied Logic 80 (3):229-255.
Generic expansion and Skolemization in NSOP 1 theories.Alex Kruckman & Nicholas Ramsey - 2018 - Annals of Pure and Applied Logic 169 (8):755-774.

View all 7 references / Add more references