<html><head><meta http-equiv="Content-Type" content="text/html charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;"><div>皆様，<br>(重複して受け取られた場合はご容赦ください)</div><div><br></div>早稲田大学の藤原誠です．<br>9月10日(月)に早稲田大学早稲田キャンパスにてインスブルック大学の宮本賢治さんをお迎えしてセミナーを開催いたします．<br>ヨーロッパで研究をされている宮本さんの日本での貴重なご講演です．<br>参加自由ですのでどうぞふるってご参加下さい．<br>なお，今回の講演は英語で行われます．<br>予めご了承下さい．<br>詳細については以下のページをご参照下さい．<br><a href="https://www.waseda.jp/inst/wias/news/2018/08/23/5646/">https://www.waseda.jp/inst/wias/news/2018/08/23/5646/</a><br><br><br><br><div>日時：2018年９月10日(月)16:00-17:30<br>Date & Time: Monday, 10 September 2018, 16:00 – 17:30<br><br>場所：早稲田大学早稲田キャンパス9号館5階第1会議室<br><div>Venue: Meeting room #1 on the 5th floor, Building #9, Waseda University</div><div><br></div><div>Speaker:<br>Kenji Miyamoto (University of Innsbruck, Kenji.Miyamoto@uibk.ac.at)</div><div><br>Title:<br>The epsilon calculus with equality predicate and Herbrand complexity<br><br></div><div>Abstract:<br>Hilbert's epsilon-calculus is based on an extension of the language of<br>predicate logic by a term-forming operator $\varepsilon$ [1]. Two<br>fundamental results about the epsilon-calculus, the first and second<br>epsilon theorem, play a role similar to that which the cut-elimination<br>theorem plays in sequent calculus. In particular, Herbrand's Theorem<br>is a consequence of the epsilon theorems. Moser and Zach study the<br>epsilon theorems and the complexity of the elimination procedure<br>underlying their proof, as well as the length of Herbrand disjunctions<br>of existential theorems obtained by this elimination procedure [2].<br>We extend their results to epsilon-calculus with equality predicate.<br>This is joint work with Georg Moser.</div><div><br></div><div>[1] D. Hilbert and P. Bernays,<br>Grundlagen der Mathematik, vol. 2, Springer Berlin, 1939.<br>[2] G. Moser and R. Zach,<br>The epsilon calculus and Herbrand complexity,<br>Studia Logica, vol. 82 (2006), no. 1, pp. 133--155.<br><br><div><br class="webkit-block-placeholder"></div><div>
<div style="orphans: auto; text-align: start; text-indent: 0px; widows: auto; word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;"><div style="orphans: auto; text-align: start; text-indent: 0px; widows: auto; word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;"><div style="orphans: auto; text-align: start; text-indent: 0px; widows: auto; word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;"><div style="orphans: auto; text-align: start; text-indent: 0px; widows: auto; word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;"><div style="color: rgb(0, 0, 0); letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px; word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;">============================================<br><div>藤原 誠 (Makoto Fujiwara)</div><div>早稲田大学高等研究所</div><div>(Waseda Institute for Advanced Study, Waseda University)</div><div>E-mail: makoto_fujiwara@aoni.waseda.jp<br>============================================<br><br><br><br><br></div></div></div></div></div></div>
</div>
<br></div></div></body></html>