Universally Baire set

In the mathematical field of descriptive set theory, a set of real numbers (or more generally a subset of the Baire space or Cantor space) is called universally Baire if it has a certain strong regularity property. Universally Baire sets play an important role in Ω-logic, a very strong logical system invented by W. Hugh Woodin and the centerpiece of his argument against the continuum hypothesis of Georg Cantor.

Definition

A subset A of the Baire space is universally Baire if it has the following equivalent properties:

  1. For every notion of forcing, there are trees T and U such that A is the projection of the set of all branches through T, and it is forced that the projections of the branches through T and the branches through U are complements of each other.
  2. For every compact Hausdorff space Ω, and every continuous function f from Ω to the Baire space, the preimage of A under f has the property of Baire in Ω.
  3. For every cardinal λ and every continuous function f from λω to the Baire space, the preimage of A under f has the property of Baire.
gollark: Anyway, so you can... peer with me? and access osmarks.tk.
gollark: I use many go programs, although I do not *write* any because go bad.
gollark: I'm currently working on hooking up osmarks.tk to yggdrasil (https://github.com/yggdrasil-network/yggdrasil-go) because it seems cool.
gollark: Wow, I *really* do not understand nftables.
gollark: Okay, it's VERY restored.

References
  • Bagaria, Joan; Todorcevic, Stevo (eds.). Set Theory: Centre de Recerca Matemàtica Barcelona, 2003-2004. Trends in Mathematics. ISBN 978-3-7643-7691-8.
  • Feng, Qi; Magidor, Menachem; Woodin, Hugh. Judah, H.; Just, W.; Woodin, Hugh (eds.). Set Theory of the Continuum. Mathematical Sciences Research Institute Publications.


This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.