MODNET
Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 347

Preprint Number 347

Previous Next Preprint server


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:

Full text arXiv 1108.2499: pdf, ps.


Last updated: August 20 2011 12:21 Please send your corrections to: