Publications > Preprint server > Preprint Number 347
Preprint Number 347
347. Vincent Guingona
Definability of types over finite partial order indiscernibles
Submission date: 11 August 2011.
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 . We show this by giving a decomposition of the truth values of an externally definable formula on a finite partial order indiscernible.
Mathematics Subject Classification:
Keywords and phrases:
|Last updated: August 20 2011 12:21||Please send your corrections to:|