Publications > Preprint server > Preprint Number 347
Preprint Number 347
347. Vincent Guingona Definability of types over finite partial order indiscernibles E-mail: Submission date: 11 August 2011. Abstract: 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. Mathematics Subject Classification: Keywords and phrases: |
Last updated: March 23 2021 09:22 | Please send your corrections to: |