Affiliation:
1. Institute for Information Transmission Problems of the Russian Academy of Sciences (Kharkevich Institute), 127051 Moscow, Russia
Abstract
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.
Funder
Russian Foundation for Basic Research RFBR
Subject
General Mathematics,Engineering (miscellaneous),Computer Science (miscellaneous)
Reference45 articles.
1. A survey of proof theory;Kreisel;J. Symb. Log.,1968
2. Bar-Hillel, Y. (1970). Mathematical Logic and Foundations of Set Theory, Proceedings of the International Colloquium, Jerusalem, Israel, 11–14 November 1968, North-Holland.
3. A model of set-theory in which every set of reals is Lebesgue measurable;Solovay;Ann. Math.,1970
4. On weaker forms of choice in second order arithmetic;Guzicki;Fundam. Math.,1976
5. Parameters in theories of classes;Corrada;Stud. Log. Found. Math.,1978
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献