On model-theoretic tree properties

Journal of Mathematical Logic 16 (2):1650009 (2016)
  Copy   BIBTEX

Abstract

We study model theoretic tree properties and their associated cardinal invariants. In particular, we obtain a quantitative refinement of Shelah’s theorem for countable theories, show that [Formula: see text] is always witnessed by a formula in a single variable and that weak [Formula: see text] is equivalent to [Formula: see text]. Besides, we give a characterization of [Formula: see text] via a version of independent amalgamation of types and apply this criterion to verify that some examples in the literature are indeed [Formula: see text].

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 94,726

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

The mouse set theorem just past projective.Mitch Rudominer - forthcoming - Journal of Mathematical Logic.
A descriptive Main Gap Theorem.Francesco Mangraviti & Luca Motto Ros - 2020 - Journal of Mathematical Logic 21 (1):2050025.
Compactness versus hugeness at successor cardinals.Sean Cox & Monroe Eskew - 2022 - Journal of Mathematical Logic 23 (1).
Collapsing the cardinals of HOD.James Cummings, Sy David Friedman & Mohammad Golshani - 2015 - Journal of Mathematical Logic 15 (2):1550007.
New jump operators on equivalence relations.John D. Clemens & Samuel Coskey - 2022 - Journal of Mathematical Logic 22 (3).
Exact saturation in simple and NIP theories.Itay Kaplan, Saharon Shelah & Pierre Simon - 2017 - Journal of Mathematical Logic 17 (1):1750001.
Invariant types in NIP theories.Pierre Simon - 2015 - Journal of Mathematical Logic 15 (2):1550006.

Analytics

Added to PP
2019-07-15

Downloads
26 (#614,081)

6 months
14 (#256,467)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Nicholas Ramsey
University of California, Los Angeles

Citations of this work

Generic expansion and Skolemization in NSOP 1 theories.Alex Kruckman & Nicholas Ramsey - 2018 - Annals of Pure and Applied Logic 169 (8):755-774.
Independence over arbitrary sets in NSOP1 theories.Jan Dobrowolski, Byunghan Kim & Nicholas Ramsey - 2022 - Annals of Pure and Applied Logic 173 (2):103058.
Independence in generic incidence structures.Gabriel Conant & Alex Kruckman - 2019 - Journal of Symbolic Logic 84 (2):750-780.
Forking, imaginaries, and other features of.Christian D’elbée - 2021 - Journal of Symbolic Logic 86 (2):669-700.

View all 24 citations / Add more citations

References found in this work

Simple theories.Byunghan Kim & Anand Pillay - 1997 - Annals of Pure and Applied Logic 88 (2-3):149-164.
Theories without the tree property of the second kind.Artem Chernikov - 2014 - Annals of Pure and Applied Logic 165 (2):695-723.
Forking and dividing in NTP₂ theories.Artem Chernikov & Itay Kaplan - 2012 - Journal of Symbolic Logic 77 (1):1-20.
On ◁∗-maximality.Mirna Džamonja & Saharon Shelah - 2004 - Annals of Pure and Applied Logic 125 (1-3):119-158.
Tree indiscernibilities, revisited.Byunghan Kim, Hyeung-Joon Kim & Lynn Scow - 2014 - Archive for Mathematical Logic 53 (1-2):211-232.

View all 14 references / Add more references