Timeline for Dehornoy's proof that the application of two elementary embeddings is an elementary embedding

11 events

when toggle format	what		by	license	comment
Dec 24, 2021 at 6:41	history	edited	kdog	CC BY-SA 4.0	Added notes clarifying some points about elementary extensions. Removed the screenshots to the Dehornoy book in case anyone complains about copyright.
Dec 23, 2021 at 19:43	vote	accept	kdog
Dec 22, 2021 at 14:10	history	became hot network question
Dec 22, 2021 at 13:12	answer	added	Peter LeFanu Lumsdaine		timeline score: 7
Dec 22, 2021 at 9:53	comment	added	Monroe Eskew		If $f$ is a function from $V_\alpha$ to $V_\beta$, then $j_1(f)$ is a function from $V_{j_1(\alpha)}$ to $V_{j_1(\beta)}$ (not from the image $j_1[V_\alpha]$).
Dec 22, 2021 at 9:46	history	edited	kdog	CC BY-SA 4.0	Added screenshot of the pertinent page of the Dehornoy book
Dec 22, 2021 at 9:37	history	edited	kdog	CC BY-SA 4.0	Added screenshot of the pertinent page of the Dehornoy book
Dec 22, 2021 at 7:14	history	edited	Tim Campion	CC BY-SA 4.0	edited title
Dec 22, 2021 at 6:14	history	edited	kdog	CC BY-SA 4.0	deleted 240 characters in body
Dec 22, 2021 at 5:53	history	edited	kdog	CC BY-SA 4.0	Added comment about letting j1[j2] be the identity
Dec 22, 2021 at 5:37	history	asked	kdog	CC BY-SA 4.0