No elementary embedding from v into v is definable from parameters

From MaRDI portal
Publication:4948529