Diagram edit

Signed-off-by: zeramorphic <[email protected]>

iii/lc/main.tex

@@ -21,7 +21,7 @@ \section{Large large cardinals}
 \section*{Diagram of large cardinal properties}
 Under suitable consistency assumptions, large cardinal properties that appear in higher positions on this diagram have strictly higher consistency strength than properties appearing lower down the diagram.
 
-% https://q.uiver.app/#q=WzAsMjIsWzMsOSwiXFxrYXBwYSBcXHRleHR7IG1lYXN1cmFibGV9Il0sWzQsOSwiXFxrYXBwYSBcXHRleHR7IHJlYWwtdmFsdWVkIG1lYXN1cmFibGV9Il0sWzQsMTIsIlxca2FwcGEgXFx0ZXh0eyB3ZWFrbHkgaW5hY2Nlc3NpYmxlfSJdLFszLDExLCJcXGthcHBhIFxcdGV4dHsgd2Vha2x5IGNvbXBhY3R9Il0sWzMsMTIsIlxca2FwcGEgXFx0ZXh0eyBpbmFjY2Vzc2libGV9Il0sWzMsMTMsIlxca2FwcGEgXFx0ZXh0eyB3b3JsZGx5fSJdLFsyLDksIlxca2FwcGEgXFx0ZXh0eyBVbGFtfSJdLFszLDgsIlxca2FwcGEgXFx0ZXh0eyBzdXJ2aXZpbmd9Il0sWzMsNiwiXFxrYXBwYSBcXHRleHR7IHN0cm9uZ30iXSxbMyw0LCJcXGthcHBhIFxcdGV4dHsgc3Ryb25nbHkgY29tcGFjdH0iXSxbMywzLCJcXGthcHBhIFxcdGV4dHsgc3VwZXJjb21wYWN0fSJdLFszLDIsIkkzIl0sWzMsMSwiSTEiXSxbMywwLCJcXGthcHBhIFxcdGV4dHsgUmVpbmhhcmR0fSJdLFs0LDAsIjA9MSJdLFs2LDEwXSxbMSwxMCwiXFxzbWFzaHtcXGJlZ2lue3RhYnVsYXJ9e2N9XFx0ZXh0e21lZGl1bX1cXFxcXFx0ZXh0e3NtYWxsfVxcZW5ke3RhYnVsYXJ9fSJdLFswLDEwXSxbNiw1XSxbMCw1XSxbMSw1LCJcXHNtYXNoe1xcYmVnaW57dGFidWxhcn17Y31cXHRleHR7bGFyZ2V9XFxcXFxcdGV4dHttZWRpdW19XFxlbmR7dGFidWxhcn19Il0sWzMsNywiXFxrYXBwYSBcXHRleHR7IDItc3Ryb25nfSJdLFswLDFdLFsxLDJdLFswLDNdLFszLDRdLFs0LDJdLFs0LDVdLFswLDYsIiIsMCx7Im9mZnNldCI6LTJ9XSxbNiwwLCJcXHRleHR7bWluLn0iLDAseyJvZmZzZXQiOi0yfV0sWzcsMF0sWzEwLDldLFsxMSwxMF0sWzEyLDExXSxbMTMsMTJdLFsxMywxNCwiIiwyLHsic3R5bGUiOnsidGFpbCI6eyJuYW1lIjoiYXJyb3doZWFkIn19fV0sWzE3LDE1LCIiLDAseyJzdHlsZSI6eyJib2R5Ijp7Im5hbWUiOiJkb3R0ZWQifSwiaGVhZCI6eyJuYW1lIjoibm9uZSJ9fX1dLFsxOSwxOCwiIiwwLHsic3R5bGUiOnsiYm9keSI6eyJuYW1lIjoiZG90dGVkIn0sImhlYWQiOnsibmFtZSI6Im5vbmUifX19XSxbOSw4XSxbOCwyMV0sWzIxLDddXQ==
+% https://q.uiver.app/#q=WzAsMjEsWzMsOCwiXFxrYXBwYSBcXHRleHR7IG1lYXN1cmFibGV9Il0sWzQsOCwiXFxrYXBwYSBcXHRleHR7IHJlYWwtdmFsdWVkIG1lYXN1cmFibGV9Il0sWzQsMTEsIlxca2FwcGEgXFx0ZXh0eyB3ZWFrbHkgaW5hY2Nlc3NpYmxlfSJdLFszLDEwLCJcXGthcHBhIFxcdGV4dHsgd2Vha2x5IGNvbXBhY3R9Il0sWzMsMTEsIlxca2FwcGEgXFx0ZXh0eyBpbmFjY2Vzc2libGV9Il0sWzMsMTIsIlxca2FwcGEgXFx0ZXh0eyB3b3JsZGx5fSJdLFsyLDgsIlxca2FwcGEgXFx0ZXh0eyBVbGFtfSJdLFszLDcsIlxca2FwcGEgXFx0ZXh0eyBzdXJ2aXZpbmd9Il0sWzMsNiwiXFxrYXBwYSBcXHRleHR7IHN0cm9uZ30iXSxbMyw0LCJcXGthcHBhIFxcdGV4dHsgc3Ryb25nbHkgY29tcGFjdH0iXSxbMywzLCJcXGthcHBhIFxcdGV4dHsgc3VwZXJjb21wYWN0fSJdLFszLDIsIkkzIl0sWzMsMSwiSTEiXSxbMywwLCJcXGthcHBhIFxcdGV4dHsgUmVpbmhhcmR0fSJdLFs0LDAsIjA9MSJdLFs2LDldLFsxLDksIlxcc21hc2h7XFxiZWdpbnt0YWJ1bGFyfXtjfVxcdGV4dHttZWRpdW19XFxcXFxcdGV4dHtzbWFsbH1cXGVuZHt0YWJ1bGFyfX0iXSxbMCw5XSxbNiw1XSxbMCw1XSxbMSw1LCJcXHNtYXNoe1xcYmVnaW57dGFidWxhcn17Y31cXHRleHR7bGFyZ2V9XFxcXFxcdGV4dHttZWRpdW19XFxlbmR7dGFidWxhcn19Il0sWzAsMV0sWzEsMl0sWzAsM10sWzMsNF0sWzQsMl0sWzQsNV0sWzAsNiwiIiwwLHsib2Zmc2V0IjotMn1dLFs2LDAsIlxcdGV4dHttaW4ufSIsMCx7Im9mZnNldCI6LTJ9XSxbNywwXSxbMTAsOV0sWzExLDEwXSxbMTIsMTFdLFsxMywxMl0sWzEzLDE0LCIiLDIseyJzdHlsZSI6eyJ0YWlsIjp7Im5hbWUiOiJhcnJvd2hlYWQifX19XSxbMTcsMTUsIiIsMCx7InN0eWxlIjp7ImJvZHkiOnsibmFtZSI6ImRvdHRlZCJ9LCJoZWFkIjp7Im5hbWUiOiJub25lIn19fV0sWzE5LDE4LCIiLDAseyJzdHlsZSI6eyJib2R5Ijp7Im5hbWUiOiJkb3R0ZWQifSwiaGVhZCI6eyJuYW1lIjoibm9uZSJ9fX1dLFs5LDhdLFs4LDddXQ==
 \[\begin{tikzcd}
 	&&& {\kappa \text{ Reinhardt}} & {0=1} \\
 	&&& I1 \\
@@ -30,32 +30,30 @@ \section*{Diagram of large cardinal properties}
 	&&& {\kappa \text{ strongly compact}} \\
 	{} & {\smash{\begin{tabular}{c}\text{large}\\\text{medium}\end{tabular}}} &&&&& {} \\
 	&&& {\kappa \text{ strong}} \\
-	&&& {\kappa \text{ 2-strong}} \\
 	&&& {\kappa \text{ surviving}} \\
 	&& {\kappa \text{ Ulam}} & {\kappa \text{ measurable}} & {\kappa \text{ real-valued measurable}} \\
 	{} & {\smash{\begin{tabular}{c}\text{medium}\\\text{small}\end{tabular}}} &&&&& {} \\
 	&&& {\kappa \text{ weakly compact}} \\
 	&&& {\kappa \text{ inaccessible}} & {\kappa \text{ weakly inaccessible}} \\
 	&&& {\kappa \text{ worldly}}
-	\arrow[from=10-4, to=10-5]
-	\arrow[from=10-5, to=13-5]
-	\arrow[from=10-4, to=12-4]
+	\arrow[from=9-4, to=9-5]
+	\arrow[from=9-5, to=12-5]
+	\arrow[from=9-4, to=11-4]
+	\arrow[from=11-4, to=12-4]
+	\arrow[from=12-4, to=12-5]
 	\arrow[from=12-4, to=13-4]
-	\arrow[from=13-4, to=13-5]
-	\arrow[from=13-4, to=14-4]
-	\arrow[shift left=2, from=10-4, to=10-3]
-	\arrow["{\text{min.}}", shift left=2, from=10-3, to=10-4]
-	\arrow[from=9-4, to=10-4]
+	\arrow[shift left=2, from=9-4, to=9-3]
+	\arrow["{\text{min.}}", shift left=2, from=9-3, to=9-4]
+	\arrow[from=8-4, to=9-4]
 	\arrow[from=4-4, to=5-4]
 	\arrow[from=3-4, to=4-4]
 	\arrow[from=2-4, to=3-4]
 	\arrow[from=1-4, to=2-4]
 	\arrow[tail reversed, from=1-4, to=1-5]
-	\arrow[dotted, no head, from=11-1, to=11-7]
+	\arrow[dotted, no head, from=10-1, to=10-7]
 	\arrow[dotted, no head, from=6-1, to=6-7]
 	\arrow[from=5-4, to=7-4]
 	\arrow[from=7-4, to=8-4]
-	\arrow[from=8-4, to=9-4]
 \end{tikzcd}\]
 
 % inacc -/> worldly: Skolem