A New Proof of Kunen's Inconsistency

arxiv: math/9309207 · v1 · submitted 1993-09-15 · 🧮 math.LO

Jind\v{r}ich Zapletal This is my paper

classification 🧮 math.LO

keywords lambdaprimecritelementaryinconsistencykunenproofthere

0 comments

read the original abstract

Using elementary pcf, we show that there is no $j:V\to M,$ $M$ transitive, $j\lambda =\lambda >crit(j),$ $j^{\prime \prime}\lambda \in M.$

This paper has not been read by Pith yet.