$\square_\kappa^{<\omega}$ holds in $L[{\vec E}]$

arxiv: math/9702205 · v1 · pith:GDKFIZG5new · submitted 1997-02-18 · 🧮 math.LO

square_kappa^(<ω) holds in L[{vec E}]

Ernest Schimmerling This is my paper

classification 🧮 math.LO

keywords holdskappasquarecardinalsfamilyfiniteinnermitchell-steel

0 comments

read the original abstract

Square-kappa-finite, the finite family version of weak square, holds at all cardinals kappa in the Mitchell-Steel inner models.

This paper has not been read by Pith yet.