Tools
Tools
Dmitrieva, Anna 
ORCID: https://orcid.org/0000-0001-7551-6122, Gallinaro, Francesco and Kamsma, Mark
(2023)
Dividing lines between positive theories.
Journal of Symbolic Logic.
ISSN 0022-4812
Preview |
PDF (Dividing_Lines_in_Positive_Unstable_Theories)
- Accepted Version
Available under License Creative Commons Attribution Non-commercial No Derivatives. Download (435kB) | Preview |
Abstract
We generalise the properties OP, IP, k-TP, TP1, k-TP2, SOP1, SOP2 and SOP3 to positive logic, and prove various implications and equivalences between them. We also provide a characterisation of stability in positive logic in analogy with the one in full first-order logic, both on the level of formulas and on the level of theories. For simple theories there are the classically equivalent definitions of not having TP and dividing having local character, which we prove to be equivalent in positive logic as well. Finally, we show that a thick theory T has OP iff it has IP or SOP1 and that T has TP iff it has SOP1 or TP2, analogous to the well-known results in full first-order logic where SOP1 is replaced by SOP in the former and by TP1 in the latter. Our proofs of these final two theorems are new and make use of Kim-independence.
| Item Type: | Article |
|---|---|
| Uncontrolled Keywords: | classification theory,dividing lines,independence property,order property,positive logic,simplicity,stability,strict order property,tree property,philosophy,logic ,/dk/atira/pure/subjectarea/asjc/1200/1211 |
| Faculty \ School: | Faculty of Science Faculty of Science > School of Mathematics |
| Related URLs: | |
| Depositing User: | LivePure Connector |
| Date Deposited: | 31 May 2024 15:30 |
| Last Modified: | 06 Jun 2024 08:30 |
| URI: | https://ueaeprints.uea.ac.uk/id/eprint/95362 |
| DOI: | 10.1017/jsl.2023.89 |
Downloads
Downloads per month over past year
Actions (login required)
 |
View Item |