Kisoron-ml February 2024

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

6 participants
7 discussions

RIMS共同研究（公開型）のご案内
by kota takeuchi 08 Apr '24

08 Apr '24

皆様下記のようにモデル理論の研究集会を行います。ご参加をお待ちしております。 --------------------------------------------------------------------------------- RIMS共同研究(公開型)「モデル理論における独立概念と次元の研究」日時：2023年12月4日(月)～2023年12月6日(水) 場所：京都大学数理解析研究所110室+オンライン(ZOOM) 代表者：竹内耕太（筑波大学）副代表：桔梗宏孝（神戸大学） Webページ： https://sites.google.com/gsuite.kobe-u.ac.jp/rimsmodeltheoryworkshop2023/ --------------------------------------------------------------------------------- 参加申し込みは上記webページからお願いします。 ※参加申し込みの情報は京都大学数理解析研究所および次年度世話人に提供されます．以上、よろしくお願いします。筑波大学竹内耕太

2 1

集合論の特別なセミナー@静岡大学
by Diego A. Mejia 28 Feb '24

28 Feb '24

皆様、静岡大学理学部のメヒアです。静岡大学で3月6日（水）～8日（金）に集合論の特別なセミナーを開催します。メイントピックは Malliaris and Shelah の p=t の証明です。また、神戸大学から訪問していただく博士課程学生の講演も開催します。対象は大学院生ですが、集合論に興味のある方はだれでも歓迎します。場所：静岡大学静岡キャンパス理学部B棟213室プログラム: 3月6日（水） 10:00～12:00 Diego Mejia（静岡大学）: Malliaris' and Shelah's p=t (1/5) 13:00～15:00 Diego Mejia（静岡大学）: Malliaris' and Shelah's p=t (2/5) 15:30～17:00 後藤達哉（神戸大学） : 比較可能性と比較不可能性が定める基数不変量 18:00～懇親会（JR静岡駅の辺） 3月7日（木） 10:00～12:00 Diego Mejia（静岡大学）: Malliaris' and Shelah's p=t (3/5) 3月8日（金） 10:00～12:00 Diego Mejia（静岡大学）: Malliaris' and Shelah's p=t (4/5) 13:00～15:00 Diego Mejia（静岡大学）: Malliaris' and Shelah's p=t (5/5) 15:30～17:00 山添隆志（神戸大学） : On splitting* game: Avoiding head-on battles is sometimes useful -- Diego A. Mejía (PhD) Associate Professor Faculty of Science, Shizuoka University 836 Ohya, Suruga-ku, Shizuoka 422-8529 Japan Tel: +81-54-2384787

1 0

NCL'24: Non-Classical Logics: Theory and Applications 2024
by drnkamide08＠kpd.biglobe.ne.jp 28 Feb '24

28 Feb '24

皆様、お世話になっております。上出と申します。 2024年9月5日～8日にポーランド・ウッチで開催される以下の会議のCFPです。 NCL'24: Non-Classical Logics: Theory and Applications 2024: https://easychair.org/cfp/NCL24 アブストラクト登録の締め切りが4月20日、論文の締め切りが4月25日です。 ---------- Abstract registration deadline April 20, 2024 Submission deadline April 25, 2024 Notification June 15, 2024 Registration opens June 15, 2024 Final version due July 10, 2024 ---------- ご投稿及びご参加いただければ幸いです。また、本CFPをお心当たりの方々に広めていただければ幸いです。よろしくお願いいたします。上出哲広

1 0

東大数理の３月の談話会のご案内
by Daisuke Ikegami 20 Feb '24

20 Feb '24

（重複して受け取られた方はご容赦ください） Logic-ml, kisoron-ml のみなさま：中山大学の池上と申します。東大数理の新井先生が今年度をもって定年退職されます。３月に東大数理の談話会で講演をされるので、東大の知り合いから以下のご案内の代理投稿を頼まれました。興味のある方、ぜひご参加ください。池上大祐 ------------------------------------------------ Logic-ml, kisoron-ml の皆様：東京大学大学院数理科学研究科における3月の談話会についてご案内申し上げます．講演者は本研究科の新井敏康先生と山本昌宏先生です．曜日と時間が通常と異なりますのでご注意ください．講演は対面形式で行い，オンラインでのライブ配信はいたしません．東大数理メンバー以外の方が参加される場合は後述のリンクからの参加登録をお願いいたします． ============================================== 日時：３月１４日（木）１４：３０～１７：００場所：東京大学大学院数理科学研究科大講義室（対面のみ） https://www.ms.u-tokyo.ac.jp/access/ ------ １４：３０～１５：３０講演者：新井敏康氏 (東京大学大学院数理科学研究科) 題目：40年くらい摘要：1980年代から証明論を研究してきました．この講演ではこの40年くらいの間に私に起きたことと順序数解析に関する最新の結果をお話しします． ------ １６：００～１７：００講演者：山本昌宏氏 (東京大学大学院数理科学研究科) 題目：結局，好きだった数学：外縁部を歩んで摘要：40年余りたってから，今から振り返ってみると，異分野連携や運営業務にも携わってきたなかで結局，自分の数学が大好きだったと思いいたりました．自分の数学は，制御理論，逆問題，非整数階偏微分方程式の３つで尽くされます．これらは，現在では研究が盛んな分野に発展していたり，依然としてマイナーな部分もありますが，私が，たとえば逆問題をやり始めた頃は我が国では研究者人口が少なかったです．その頃は（今でもそうかもしれません），これらの分野は，華々しい注目を浴びてはおらず数学研究の外縁部に位置していましたが，基礎として使いうる発想や方法論が辛抱強く蓄積されていた時期でした．そのような状況にひかれて研究者としての歩みを始めました．研究活動の状況もあって，海外との研究者との共同研究が最初から大半を占めました．このような経過は，第3者の評価はともかくとして，自分に大きな楽しみを恵んでくれました．この講演では，自分の数学の内容にふれつつ，研究の進め方などにも関連させて，回顧的になりすぎないようにお話しをしたいと思います． ------ 東大数理メンバー以外の方が参加される場合は、以下のリンクから参加登録をお願いいたします． https://forms.gle/m38f1KRi67ECuA7MA 多くの皆様のご参加をお待ちしております． 2023年度談話会委員阿部紀行，岩木耕平，河澄響矢（委員長），小池祐太補足1：談話会の情報は，下記の談話会のホームページに掲載されております． https://www.ms.u-tokyo.ac.jp/seminar/colloquium/ 補足2：次回の談話会は新学期4月以降となります． %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1 0

William Mance氏による東北大での講演会のお知らせ
by shioya 10 Feb '24

10 Feb '24

皆様東北大学数学専攻　赤間陽二先生の依頼により代理投稿いたします．東北大学ロジックセミナーでWilliam Mance先生の講演が行われます． TITLE: Descriptive complexity in number theory and dynamics SPEAKER: William Mance, University of Adam Mickiewicz in Poznan, Poland http://wilman.home.amu.edu.pl DATE: 16:00-18:00, 1 March 2024 VENUE: In conjunct with Sendai Logic Seminar, The Mathematical Institute, Graduate School of Science, Tohoku University Room 801, Science Complex A 塩谷真弘筑波大学数学系

1 0

第58回MLG数理論理学研究集会(2/16--18)
by Hitoshi Omori 09 Feb '24

09 Feb '24

みなさま (重複してお受け取りの際はどうぞご容赦ください。) 東北大学の大森仁と申します。直前の連絡になってしまいましたが、第58回MLG数理論理学研究集会のプログラムが確定しましたのでご案内申し上げます。 https://sites.google.com/view/mlg58/home/program 参加は無料ですので、お気軽にお越しください。なお、懇親会への参加を希望される方は予約などの都合上14日までに私までご連絡いただけますと幸いです。どうぞよろしくお願いいたします。大森仁

1 0

Talk by Mance about ``Descriptive complexity in number theory and dynamics'' on 1 March
by 赤間陽二 08 Feb '24

08 Feb '24

お誘い合わせの上ご来訪ください。正規数の背景の説明も丁寧にするようにお願いしています。 TITLE: Descriptive complexity in number theory and dynamics SPEAKER: William Mance, University of Adam Mickiewicz in Poznan, Poland DATE: 16:00-18:00, 1 March 2024 VENUE: Sendai Logic Seminar, The Mathematical Institute, Graduate School of Science, Tohoku University Room 801, Science Complex A ABSTRACT: Informally, a real number is normal in base b if in its b-ary expansion, all digits and blocks of digits occur as often as one would expect them to, uniformly at random. We will denote the set of numbers normal in base b by \mathcal{N}(b). Kechris asked several questions involving descriptive complexity of sets of normal numbers. The first of these was resolved in 1994 when Ki and Linton proved that \mathcal{N}(b) is \boldsymbol{Pi}_3^0-complete. Further questions were resolved by Becher, Heiber, and Slaman who showed that \bigcap_{b=2}^\infty \mathcal{N}(b) is \boldsymbol{\Pi}_3^0-complete and that \bigcup_{b=2}^infty \mathcal{N}(b) is \boldsymbol{\Sigma}_4^0-complete. Many of the techniques used in these proofs can be used elsewhere. We will discuss recent results where similar techniques were applied to solve a problem of Sharkovsky and Sivak and a question of Kolyada, Misiurewicz, and Snoha. Furthermore, we will discuss a recent result where the set of numbers that are continued fraction normal, but not normal in any base b, was shown to be complete at the expected level of D_2(\boldsymbol{\Pi}_3^0). An immediate corollary is that this set is uncountable, a result (due to Vandehey) only known previously assuming the generalized Riemann hypothesis. Contact: Yohji Akama The Mathematical Institute, Graduate School of Science, Tohoku University yoji.akama.e8(a)tohoku.ac.jp

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Kisoron-ml February 2024