%0 Journal Article
%T Definability of types over finite partial order indiscernibles
%A Vincent Guingona
%J Mathematics
%D 2011
%I arXiv
%X In this paper, we show that a partitioned formula \phi is dependent if and only if \phi has uniform definability of types over finite partial order indiscernibles. This generalizes our result from a previous paper [1]. We show this by giving a decomposition of the truth values of an externally definable formula on a finite partial order indiscernible.
%U http://arxiv.org/abs/1108.2499v1