We make use of generalized iterations of the Sacks forcing to define cardinal-preserving generic extensions of the constructible universe L in which the axioms of ZF hold and in addition either (1) the parameter-free countable axiom of choice ACω* fails, or (2) ACω* holds but the full countable axiom of choice ACω fails in the domain of reals. In another generic extension of L, we define a set X⊆P(ω), which is a model of the parameter-free part PA2* of the 2nd order Peano arithmetic PA2, in which CA(Σ21) (Comprehension for Σ21 formulas with parameters) holds, yet an instance of Comprehension CA for a more complex formula fails. Treating the iterated Sacks forcing as a class forcing over Lω1, we infer the following consistency results as corollaries. If the 2nd order Peano arithmetic PA2 is formally consistent then so are the theories: (1) PA2+¬ACω*, (2) PA2+ACω*+¬ACω, (3) PA2*+CA(Σ21)+¬CA.
Full Text Finder