Local character of kim-independence

Itay Kaplan; Nicholas Ramsey; Saharon Shelah

doi:10.1090/proc/14305

Local character of kim-independence

Itay Kaplan, Nicholas Ramsey, Saharon Shelah

Einstein Institute of Mathematics

The Hebrew University of Jerusalem

Research output: Contribution to journal › Article › peer-review

Abstract

We show that NSOP ₁ theories are exactly the theories in which Kim-independence satisfies a form of local character. In particular, we show that if T is NSOP ₁ , M |= T, and p is a complete type over M, then the collection of elementary substructures of size |T | over which p does not Kim-fork is a club of [M] ^{|T |} and that this characterizes NSOP ₁ . We also present a new phenomenon we call dual local-character for Kim-independence in NSOP ₁ theories.

Original language	English
Pages (from-to)	1719-1732
Number of pages	14
Journal	Proceedings of the American Mathematical Society
Volume	147
Issue number	4
DOIs	https://doi.org/10.1090/proc/14305
State	Published - 2018

All Science Journal Classification (ASJC) codes

General Mathematics
Applied Mathematics

Access to Document

10.1090/proc/14305

Cite this

@article{34a0329d40814657a3a0df31ea999316,

title = "Local character of kim-independence",

abstract = " We show that NSOP 1 theories are exactly the theories in which Kim-independence satisfies a form of local character. In particular, we show that if T is NSOP 1 , M |= T, and p is a complete type over M, then the collection of elementary substructures of size |T | over which p does not Kim-fork is a club of [M] |T | and that this characterizes NSOP 1 . We also present a new phenomenon we call dual local-character for Kim-independence in NSOP 1 theories.",

author = "Itay Kaplan and Nicholas Ramsey and Saharon Shelah",

note = "Publisher Copyright: {\textcopyright} 2019 American Mathematical Society.",

year = "2018",

doi = "10.1090/proc/14305",

language = "الإنجليزيّة",

volume = "147",

pages = "1719--1732",

journal = "Proceedings of the American Mathematical Society",

issn = "0002-9939",

publisher = "American Mathematical Society",

number = "4",

}

TY - JOUR

T1 - Local character of kim-independence

AU - Kaplan, Itay

AU - Ramsey, Nicholas

AU - Shelah, Saharon

PY - 2018

Y1 - 2018

N2 - We show that NSOP 1 theories are exactly the theories in which Kim-independence satisfies a form of local character. In particular, we show that if T is NSOP 1 , M |= T, and p is a complete type over M, then the collection of elementary substructures of size |T | over which p does not Kim-fork is a club of [M] |T | and that this characterizes NSOP 1 . We also present a new phenomenon we call dual local-character for Kim-independence in NSOP 1 theories.

AB - We show that NSOP 1 theories are exactly the theories in which Kim-independence satisfies a form of local character. In particular, we show that if T is NSOP 1 , M |= T, and p is a complete type over M, then the collection of elementary substructures of size |T | over which p does not Kim-fork is a club of [M] |T | and that this characterizes NSOP 1 . We also present a new phenomenon we call dual local-character for Kim-independence in NSOP 1 theories.

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

U2 - 10.1090/proc/14305

DO - 10.1090/proc/14305

M3 - مقالة

SN - 0002-9939

VL - 147

SP - 1719

EP - 1732

JO - Proceedings of the American Mathematical Society

JF - Proceedings of the American Mathematical Society

IS - 4

ER -

Local character of kim-independence

Abstract

All Science Journal Classification (ASJC) codes

Access to Document

Other files and links

Fingerprint

Cite this