2018
May
29

# Logic Seminar - Martin Goldstern - "Higher Random Reals"

1:30pm to 3:00pm

The set of real numbers is often identified with

Cantor Space 2^omega, with which it shares many important

properties: not only the cardinality, but also other

"cardinal characteristics" such as cov(null), the smallest

number of measure zero sets needed to cover the whole space,

and similarly cov(meager), where meager="first category";

or their "dual" versions non(meager) (the smallest

cardinality of a nonmeager set) and non(null).

Many ZFC results and consistency results (such as

Cantor Space 2^omega, with which it shares many important

properties: not only the cardinality, but also other

"cardinal characteristics" such as cov(null), the smallest

number of measure zero sets needed to cover the whole space,

and similarly cov(meager), where meager="first category";

or their "dual" versions non(meager) (the smallest

cardinality of a nonmeager set) and non(null).

Many ZFC results and consistency results (such as