Cohen structure theorem

The Cohen structure theorem, named after Paul Cohen, is a result in set theory and mathematical logic that addresses the structure of certain kinds of sets of reals or more generally, in the context of set-theoretic topology. The theorem is particularly important in the study of forcing and independence results in mathematics. In simple terms, the Cohen structure theorem describes the nature of a model of set theory obtained by adding generic reals through a forcing construction known as Cohen forcing.