Borel equivalence relations and Lascar strong types

Details Borel equivalence relations and Lascar strong types Borel equivalence relations and Lascar strong types

2012-04-16

arxiv.org/abs/1204.3485v1

Mathematics

Logic

35 pages

Scientific paper

The space of Lascar strong types, on some sort and relative to a given first order theory T, is in general not a compact Hausdorff space. This paper has at least three aims. First to show that spaces of Lascar strong types and other related spaces such as the Lascar group, have well-defined Borel cardinalities. The second is to compute the Borel cardinalities of the known examples as well as some new examples. The third is to explore notions of definable map, embedding and isomorphism between these and related quotient objects. The motivation for writing this paper is the recent discovery, via definable groups, of new examples of non G-compact first order theories.

Affiliated with

Also associated with

No associations

Rating

Borel equivalence relations and Lascar strong types 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 Borel equivalence relations and Lascar strong types, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Borel equivalence relations and Lascar strong types will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-6630