Logic-ml

logic-ml@fos.kuis.kyoto-u.ac.jp

1792 discussions

Set Theory Seminar in Kobe
by Joerg Brendle 18 Oct '10

18 Oct '10

Set Theory Seminar in Kobe 以下の要領でセミナーを開催します．日時：2010年10月21日（木）15:00-17:00 場所：神戸大学自然科学総合研究棟3号館4階421室（プレゼンテーション室）講演者：池上大祐（ヘルシンキ大学）題目：Wadge reducibility for the real line アブストラクト： In 1968, Wadge introduced Wadge reducibility for the Baire space, that is an analogue of many-one reducibility in recursion theory. For two subsets A, B of Baire space, we say A is Wadge reducible to B if there is a continuous function from the Baire space to itself such that A = f^{-1} (B). We can introduce Wadge degrees in the same way as many-one degrees. In the 1970s and 1980s, set theorists in California developed a beautiful theory of Wadge degree structure under ZF+AD+DC. On the other hand, we can easily introduce Wadge reducibility on any topological space as above. In 1998, Woodin claimed that Wadge reducibility on the real line is totally different from that on the Baire space. In this talk, we compare them and claim how different they are. This is joint work with Hisao Tanaka and Philipp Schlicht. 交通：阪急六甲駅またはJR六甲道駅から神戸市バス36系統「鶴甲団地」行きに乗車，「神大本部工学部前」停留所下車，徒歩すぐ． http://www.kobe-u.ac.jp/info/access/rokko/rokkodai-dai2.htm 連絡先：ブレンドレヨーグ brendle(a)kurt.scitec.kobe-u.ac.jp

1 0

数学基礎論若手の会2010・締切延長
by leibniz 18 Oct '10

18 Oct '10

logic-mlの皆様，数学基礎論若手の会の幹事の山下です。昨日10月18日（月）に募集を締め切ったのですが，講演枠，宿泊・食事にまだ余裕があるため締め切りをあと1週間延長し、10/26 （火）とします。いずれも先着順とし，枠が埋まり次第終了とします． ------- 日時：　11月19日（金）午後〜21日（日）午前場所：　愛知県青年の家（愛知県岡崎市, http://aichi-yh.jp/) 参加費用：フル参加でも1万円以内に収まると思います（多分8000円くらい）締め切り：10月18日（月）申し込みは下記情報を今年度幹事の山下 (leibniz7(a)gmail.com) までお知らせください．確認のメールを差し上げます．氏名性別メールアドレス所属身分宿泊・食事（全参加の場合は2泊5食となります）講演のご希望詳しくは2010年数学基礎論若手の会のページをごらんください： http://www.aichi-gakuin.ac.jp/~yamasita/wakate-no-kai2010.html =========================================== 愛知学院大学教養部山下秀康 email: yamasita(a)dpc.aichi-gakuin.ac.jp, leibniz7(a)gmail.com

1 0

Jump to page:

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml