Mathematics – Logic
Scientific paper
2011-06-25
Mathematics
Logic
(to appear in APAL)
Scientific paper
We generalize the Unstable Formula Theorem characterization of stable theories from \citep{sh78}: that a theory $T$ is stable just in case any infinite indiscernible sequence in a model of $T$ is an indiscernible set. We use a generalized form of indiscernibles from \citep{sh78}: in our notation, a sequence of parameters from an $L$-structure $M$, $(b_i : i \in I)$, indexed by an $L'$-structure $I$ is \emph{$L'$-generalized indiscernible in $M$} if qftp$^{L'}(\ov{i};I)$=qftp$^{L'}(\ov{j};I)$ implies tp$^L(\ov{b}_{\ov{i}}; M)$ = tp$^L(\ov{b}_{\ov{j}};M)$ for all same-length, finite $\ov{i}, \ov{j}$ from $I$. Let $T_g$ be the theory of linearly ordered graphs (symmetric, with no loops) in the language with signature $L_g=\{<, R\}$. Let $\K_g$ be the class of all finite models of $T_g$. We show that a theory $T$ has NIP if and only if any $L_g$-generalized indiscernible in a model of $T$ indexed by an $L_g$-structure with age equal to $\K_g$ is an indiscernible sequence.
No associations
LandOfFree
Characterization of NIP theories by ordered graph-indiscernibles does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Characterization of NIP theories by ordered graph-indiscernibles, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Characterization of NIP theories by ordered graph-indiscernibles will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-144993