= Andrés E. Caicedo
{c}
<Andrés E. Caicedo> works on <set theory>. His author homepage identifies the specialization, while his teaching archive develops <cardinal arithmetic> and elementary embeddings.https://websites.umich.edu/~caicedo/[Author homepage]{ref}
His cardinal-arithmetic lectures explain restrictions on elementary embeddings into transitive targets. A fixed point above the critical point can have an image that the target itself does not contain, a phenomenon proved using coding and combinatorial set theory. The example illustrates why an embedding's behavior on ordinals cannot be inferred from ordinary inclusion alone.<580 - Cardinal arithmetic (10) by Andrés E. Caicedo>[Theorems 12 and 14]{ref}
Back to article page
