Double helix in large large cardinals and iteration of elementary embeddings

From MaRDI portal
Publication:882123