josia-notes/w23-logic-3
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

some fix for some problem
Some checks failed
Build latex and deploy / checkout (push) Failing after 16m47s
Details

Browse Source
This commit is contained in:
Josia Pietsch 2024-01-25 20:25:21 +01:00
parent d22cc2f282
commit ef3b65edbd
Signed by: josia
GPG Key ID: E70B571D66986A2D
1 changed files with 7 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
inputs/lecture_14.tex
View File

@ -17,13 +17,13 @@
\]
and similarly for $<^\ast$.
% https://q.uiver.app/#q=WzAsNCxbMCwwLCJZIl0sWzIsMCwiWCJdLFswLDEsIkMnIl0sWzIsMSwiXFxiZWdpbnthcnJheX17Y31DXFxcXFxcUGlfMV4xLVxcdGV4dHtjb21wbGV0ZX1cXGVuZHthcnJheX0iXSxbMCwxLCJmIl0sWzIsMCwiXFxzdWJzZXRlcSIsMCx7InN0eWxlIjp7InRhaWwiOnsibmFtZSI6Imhvb2siLCJzaWRlIjoidG9wIn19fV0sWzMsMSwiXFxzdWJzZXRlcSIsMix7InN0eWxlIjp7InRhaWwiOnsibmFtZSI6Imhvb2siLCJzaWRlIjoidG9wIn19fV1d
\begin{tikzcd}
Y && X \\
{C'} && {\begin{array}{c}C\\\Pi_1^1-\text{complete}\end{array}}
\arrow["f", from=1-1, to=1-3]
\arrow["\subseteq", hook, from=2-1, to=1-1]
\arrow["\subseteq"', hook, from=2-3, to=1-3]
\end{tikzcd}
% \begin{tikzcd}
% Y && X \\
% {C'} && {\begin{array}{c}C\\\Pi_1^1-\text{complete}\end{array}}
% \arrow["f", from=1-1, to=1-3]
% \arrow["\subseteq", hook, from=2-1, to=1-1]
% \arrow["\subseteq"', hook, from=2-3, to=1-3]
% \end{tikzcd}
Let $X = 2^{\Q} \supseteq \WO$.
We have already show that $\WO$ is $\Pi^1_1$-complete.