Skip to main content
added 222 characters in body
Source Link
Asaf Karagila
  • 39.7k
  • 8
  • 134
  • 282

In the paper On Elementary Embeddings From An Inner Model to the Universe,

Vickers, J.; Welch, P. D., On elementary embeddings from an inner model to the universe, J. Symb. Log. 66, No. 3, 1090-1116 (2001). ZBL1025.03049.

it is stated to that if $Ord$ is Ramsey (I.e. there is a proper class $I\subseteq Ord$ of good indiscernibles), then there is a definable class $M$ and some $j: M\prec V$. But, according to Generalizations of the Kunen Inconsistency, there can be no $j: M\prec V$ for $M$ a definable class?

Does this mean that measurable cardinals are inconsistent, or is something else going on?

In the paper On Elementary Embeddings From An Inner Model to the Universe, it is stated to that if $Ord$ is Ramsey (I.e. there is a proper class $I\subseteq Ord$ of good indiscernibles), then there is a definable class $M$ and some $j: M\prec V$. But, according to Generalizations of the Kunen Inconsistency, there can be no $j: M\prec V$ for $M$ a definable class?

Does this mean that measurable cardinals are inconsistent, or is something else going on?

In the paper

Vickers, J.; Welch, P. D., On elementary embeddings from an inner model to the universe, J. Symb. Log. 66, No. 3, 1090-1116 (2001). ZBL1025.03049.

it is stated to that if $Ord$ is Ramsey (I.e. there is a proper class $I\subseteq Ord$ of good indiscernibles), then there is a definable class $M$ and some $j: M\prec V$. But, according to Generalizations of the Kunen Inconsistency, there can be no $j: M\prec V$ for $M$ a definable class?

Does this mean that measurable cardinals are inconsistent, or is something else going on?

Source Link
Master
  • 1.1k
  • 1
  • 9
  • 27

Possible inconsistency related to embeddings $j: M\prec V$

In the paper On Elementary Embeddings From An Inner Model to the Universe, it is stated to that if $Ord$ is Ramsey (I.e. there is a proper class $I\subseteq Ord$ of good indiscernibles), then there is a definable class $M$ and some $j: M\prec V$. But, according to Generalizations of the Kunen Inconsistency, there can be no $j: M\prec V$ for $M$ a definable class?

Does this mean that measurable cardinals are inconsistent, or is something else going on?