An inner model theoretic proof of Becker’s theorem

We re-prove Becker’s theorem from Becker (Isr J Math 40(3–4):229–234, 1981 ) by showing that A D L ( R ) implies that L ( R ) ⊨ ` ` ω 2 is -supercompact”. Our proof uses inner model theoretic tools instead of Baire category. We also show that ω 2 is < Θ -strongly compact.

Saved in:
Bibliographic Details
Published in:Archive for mathematical logic 2019-11, Vol.58 (7-8), p.999-1003
Main Author: Sargsyan, Grigor
Format: Article
Language:English
Subjects:
Algebra
Mathematical Logic and Foundations
Mathematics
Mathematics and Statistics
Theorems
Citations: Items that this one cites
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:We re-prove Becker’s theorem from Becker (Isr J Math 40(3–4):229–234, 1981 ) by showing that A D L ( R ) implies that L ( R ) ⊨ ` ` ω 2 is -supercompact”. Our proof uses inner model theoretic tools instead of Baire category. We also show that ω 2 is < Θ -strongly compact.
ISSN:0933-5846
1432-0665
DOI:10.1007/s00153-019-00668-9