Some definable counterexamples in models of set theory

The minimal-Δ13-real forcing by Jensen and some of its generalizations, along with the corresponding generic models, will be discussed. These models contain definable examples of some set theoretic structures. Applications to subsystems of the 2nd order PA will be discussed as well.