Tree indiscernibilities, revisited
Abstract
We give definitions that distinguish between two notions of indiscernibility for a set $\{a_\eta \mid \eta \in \W\}$ that saw original use in \cite{sh90}, which we name \textit{$\s$-} and \textit{$\n$-indiscernibility}. Using these definitions and detailed proofs, we prove $\s$- and $\n$-modeling theorems and give applications of these theorems. In particular, we verify a step in the argument that TP is equivalent to TP$_1$ or TP$_2$ that has not seen explication in the literature. In the Appendix, we exposit the proofs of \citep[{App. 2.6, 2.7}]{sh90}, expanding on the details.
- Publication:
-
arXiv e-prints
- Pub Date:
- November 2011
- DOI:
- 10.48550/arXiv.1111.0915
- arXiv:
- arXiv:1111.0915
- Bibcode:
- 2011arXiv1111.0915K
- Keywords:
-
- Mathematics - Logic;
- 03C45;
- 05C55;
- 05C05
- E-Print:
- submitted