From a9c85595cf7567c9b3e40a1d2187d7638a24bb72 Mon Sep 17 00:00:00 2001 From: zeramorphic Date: Tue, 12 Mar 2024 10:34:05 +0000 Subject: [PATCH] Diagram edit Signed-off-by: zeramorphic --- iii/lc/main.tex | 22 ++++++++++------------ 1 file changed, 10 insertions(+), 12 deletions(-) diff --git a/iii/lc/main.tex b/iii/lc/main.tex index a71693b..0d51afd 100644 --- a/iii/lc/main.tex +++ b/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