Descriptive set theory and forcing; How to prove theorems about Borel sets the hard way

Details Descriptive set theory and forcing; How to prove theorems about Borel sets the hard way Descriptive set theory and forcing; How to prove theorems about Borel sets the hard way

1994-01-06

arxiv.org/abs/math/9401202v1

Mathematics

Logic

Scientific paper

These are lecture notes from a course I gave at the University of Wisconsin during the Spring semester of 1993. Part 1 is concerned with Borel hierarchies. Section 13 contains an unpublished theorem of Fremlin concerning Borel hierarchies and MA. Section 14 and 15 contain new results concerning the lengths of Borel hierarchies in the Cohen and random real model. Part 2 contains standard results on the theory of Analytic sets. Section 25 contains Harrington's Theorem that it is consistent to have $\Pi^1_2$ sets of arbitrary cardinality. Part 3 has the usual separation theorems. Part 4 gives some applications of Gandy forcing. We reverse the usual trend and use forcing arguments instead of Baire category. In particular, Louveau's Theorem on $\Pi^0_\alpha$ hyp-sets has a simpler proof using forcing.

Affiliated with

Also associated with

No associations

Rating

Descriptive set theory and forcing; How to prove theorems about Borel sets the hard way 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 Descriptive set theory and forcing; How to prove theorems about Borel sets the hard way, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Descriptive set theory and forcing; How to prove theorems about Borel sets the hard way will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-446496