Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

In the book Baldwin, Categoricity in Abstract Elementary Classes defines (Def.20.1,p.151) a notion of Tarski-Vaught extensions for tuples that generalises both independence and usual Tarski-Vaught extensions (Ex 20.4,p.152).

Is there any "finite character" for Tarski-Vaught for tuples generalising finite character for independence(splitting) ? That is, a generalisation of Exercise 19.15,p.147 ?

I would also be interested to see a proof of equivalence of definitions of a good system as defined by Baldwin and by Shelah in the original paper.

share|improve this question
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.