Distorted sums of models

Details Distorted sums of models Distorted sums of models

1996-06-15

arxiv.org/abs/math/9606231v1

Mathematics

Logic

Scientific paper

Distorted sums of models were introduced and discussed in [Sh:463]. This notion generalizes the notion of disjoint (or direct) sums of models by letting the summands overlap. In the first section we investigate types in distorted sums and show that the type of a sequence of elements A is determined by the `local' type of A (i.e. the type restricted to a neighborhood of A). We simplify the proofs in [Sh:463] and improve the bounds on the radii needed to determine the types. Natural examples of distorted sums are models with distant functions. In the second and third sections we discuss such models and improve a theorem by Gaifman, that states that each formula is equivalent to a boolean combination of local formulas.

Affiliated with

Also associated with

No associations

Rating

Distorted sums of models does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Distorted sums of models, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Distorted sums of models will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-360493