<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=ISO-2022-JP">
</head>
<body bgcolor="#FFFFFF" text="#000000">
Logic-ml $B$N3'MM!$(B<br>
<br>
$BK\F|$40FFb$7$^$7$?ElKLBg3X%m%8%C%/%;%_%J!<$N(B<br>
$BF|IU$K8m$j$,$"$j$^$7$?!%(B<br>
<br>
$B8m$j!!J?@.(B24$BG/(B<b>9</b>$B7n(B2$BF|(B($B6b(B)16$B;~$+$i!%(B<br>
$BD{@5!!J?@.(B24$BG/(B<b>11</b>$B7n(B2$BF|(B($B6b(B)16$B;~$+$i!%(B<br>
<br>
$BD{@5$7$F$*OM$S?=$7>e$2$^$9!%(B<br>
<br>
$B9>8}D>F|(B<br>
<div class="moz-forward-container"><br>
<pre>
$BElKLBg3X%m%8%C%/%;%_%J!<$N$40FFb(B-------------------
$BF|;~!!J?@.(B24$BG/(B11$B7n(B2$BF|(B($B6b(B)16$B;~$+$i!%(B
$B>l=j!!ElKLBg3XKL@DMU;3%-%c%s%Q%9M}3XAm9gEo(B1201$B9f<<!%(B
$B9V1i<T!!?70fIR9/!!(B($B@iMUBg3XBg3X1!M}3X8&5f2J(B)
$B%?%$%H%k!!(BProof theory of indescribable cardinals
$B%"%V%9%H%i%/%H(B
I will explain how to lift up the ordinal analyses to set theories
of indescribable cardinals.
This yields a proof-theoretic reduction of the existence of
a $\Pi^{1}_{n+1}$-indescribable cardinal to iterations of
$\Pi^{1}_{n}$-indescribabilities over ZF+V=L.
$BElKLBg3X%m%8%C%/%;%_%J!<$N>pJs$OElKLBg3X%m%8%C%/%0%k!<%W(B
$B$N%[!<%`%Z!<%8$+$i$b$4Mw$$$?$@$1$^$9!%(B
<a class="moz-txt-link-freetext" href="https://sites.google.com/site/sendailogichomepage/">https://sites.google.com/site/sendailogichomepage/</a>
--
$B9>8}(B $BD>F|(B
$BElKLBg3X(B $BBg3X1!M}3X8&5f2J(B $B?t3X@l96(B
$B;:3X41O"7H8&5f0w(B
980-8578 $B5\>k8)@gBf;T@DMU6h9S4,;z@DMU(B6$B!<(B3
E-mail: <a class="moz-txt-link-abbreviated" href="mailto:eguchi@math.tohoku.ac.jp">eguchi@math.tohoku.ac.jp</a>
</pre>
<br>
<br>
</div>
<br>
</body>
</html>