Year: 1997
Type: preprint
Abstract: Assuming that there is no inner model with a strong cardinal, the following is shown: any subset of ω_1 can be made Δ^1_3 (in the codes) by a reasonable set-forcing; there is a reasonable set-generic extension with a Δ^1_3 well-ordering of its reals; 2-step Σ^1_4 absoluteness fails w.r.t. set-sized reasonable forcings.
Source: arXiv (Cornell University)
Author: Schindler, Ralf
Language: English
Subfield: Geometry and Topology
Field: Mathematics
Domain: Physical Sciences
Open Access status: green
Funder: Deutsche Forschungsgemeinschaft
OpenAlex ID: W2952763964