Set theory and reals

Bohuslav Balcar

Charles University, Prague

In set theory, a real number is a synonymum for a subset of natural numbers. We shall deal with combinatorial properties of the partial order of the set of all infinite subsets of natural numbers ordered by inclusion. Motivation comes from the forcing theory.