No CrossRef data available.
Article contents
Partitioning subsets of stable models
Published online by Cambridge University Press: 12 March 2014
Abstract.
This paper discusses two combinatorial problems in stability theory. First we prove a partition result for subsets of stable models: for any A and B, we can partition A into ∣B∣<κ(T) pieces. 〈Ai ∣ i < ∣B∣<κ(T)〉. such that for each Ai there is a Bi ⊆ B where ∣Bi∣ < κ(T) and , Second, if A and B are as above and ∣A∣ > ∣B∣, then we try to find A′ ⊂ A and B′ ⊂ B such that ∣A′∣ is as large as possible. ∣B′∣ is as small as possible, and . We prove some positive results in this direction, and we discuss the optimality of these results under ZFC + GCH.
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 2001