On the existence of indiscernible trees

&
Annals of Pure and Applied Logic 163 (12):1891-1902 (2012)
  Copy   BIBTEX

Abstract

We introduce several concepts concerning the indiscernibility of trees. A tree is by definition an ordered set such that, for any a∈O, the initial segment {b∈O:b

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2012.05.012

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,923

External links

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

Through your library

My notes

Similar books and articles

Some remarks on second order logic with existence attributes.Nino B. Cocchiarella - 1968 - Noûs 2 (2):165-175.
On Scott and Karp trees of uncountable models.Tapani Hyttinen & Jouko Väänänen - 1990 - Journal of Symbolic Logic 55 (3):897-908.
An Answer of Behalf of Guanilo.Iddo Landau - 1992 - Philosophy and Theology 7 (1):81-96.
Necessity in singular causation.M. J. García-Encinas - 2002 - Philosophia 29 (1-4):149-172.
Game Trees For Decision Analysis.Prakash P. Shenoy - 1998 - Theory and Decision 44 (2):149-171.
Cellularity and the Structure of Pseudo-Trees.Jennifer Brown - 2007 - Journal of Symbolic Logic 72 (4):1093 - 1107.
Computable Trees of Scott Rank [image] , and Computable Approximation.Wesley Calvert, Julia F. Knight & Jessica Millar - 2006 - Journal of Symbolic Logic 71 (1):283 - 298.
Trees of life: a visual history of evolution.Theodore W. Pietsch - 2012 - Baltimore: Johns Hopkins University Press.
Uniformization, choice functions and well orders in the class of trees.Shmuel Lifsches & Saharon Shelah - 1996 - Journal of Symbolic Logic 61 (4):1206-1227.
Computable Trees of Scott Rank $\omega _{1}^{\mathit{CK}}$ , and Computable Approximation.Wesley Calvert, Julia F. Knight & Jessica Millar - 2006 - Journal of Symbolic Logic 71 (1):283 - 298.
Max Black on the identity of indiscernibles.Charles B. Cross - 1995 - Philosophical Quarterly 45 (180):350-360.
Gregory trees, the continuum, and Martin's axiom.Kenneth Kunen & Dilip Raghavan - 2009 - Journal of Symbolic Logic 74 (2):712-720.
Congruence of morphological and molecular phylogenies.Davide Pisani, Michael J. Benton & Mark Wilkinson - 2007 - Acta Biotheoretica 55 (3):269-281.
Analytic cut trees.Carlo Cellucci - 2000 - Logic Journal of the IGPL 8 (6):733-750.

Analytics

Added to PP
2013-12-12

Downloads
261 (#80,276)

6 months
15 (#184,405)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

On model-theoretic tree properties.Artem Chernikov & Nicholas Ramsey - 2016 - Journal of Mathematical Logic 16 (2):1650009.
Tree indiscernibilities, revisited.Byunghan Kim, Hyeung-Joon Kim & Lynn Scow - 2014 - Archive for Mathematical Logic 53 (1-2):211-232.
Indiscernibles, EM-Types, and Ramsey Classes of Trees.Lynn Scow - 2015 - Notre Dame Journal of Formal Logic 56 (3):429-447.
On the antichain tree property.JinHoo Ahn, Joonhee Kim & Junguk Lee - 2022 - Journal of Mathematical Logic 23 (2).
Dense codense predicates and the NTP 2.Alexander Berenstein & Hyeung-Joon Kim - 2016 - Mathematical Logic Quarterly 62 (1-2):16-24.

View all 10 citations / Add more citations

References found in this work

Notions around tree property 1.Byunghan Kim & Hyeung-Joon Kim - 2011 - Annals of Pure and Applied Logic 162 (9):698-709.
Lascar strong types in some simple theories.Steven Buechler - 1999 - Journal of Symbolic Logic 64 (2):817-824.
A Supersimple Nonlow Theory.Enrique Casanovas & Byunghan Kim - 1998 - Notre Dame Journal of Formal Logic 39 (4):507-518.

Add more references