Kisoron-ml

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

1 participants
576 discussions

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

ラムダ計算と論理のセミナー
by Naosuke Matsuda 27 Jan '24

27 Jan '24

みなさま湘南工科大学の松田直祐と申します。以下の要領でラムダ計算と論理のセミナーを開催させていただきます。 [日程] 2024年3月8日(金)13:00 - 10日(日)12:00 [開催場所] ロッジ丘 949-6212 新潟県南魚沼郡湯沢町大字三国469-7 [世話人] 松田直祐（湘南工科大学）新屋良磨（秋田大学） [ホームページ] https://sites.google.com/view/lls2024 講演枠や講演時間を事前に固定せず，当日の参加者に状況に合わせて柔軟に計画をしてもらうようになっています。議論し成果を挙げる場・学生の簡単な発表の場・研究者同士の交流の場など，さまざまな用途で利用していただければ幸いです。ラムダ計算・論理の話題に拘わらず，周辺の分野についての講演を広く募集しております。詳細や申し込み方法についてはホームページをご確認ください。 -- 松田直祐湘南工科大学情報学部情報学科〒251-8511 神奈川県藤沢市辻堂西海岸1-1-25 Tel: 0466-30-0219 matsuda.naosuke(a)gmail.com

1 0

数学会奨励研究生の募集について
by Hiroshi SAKAI 17 Jan '24

17 Jan '24

皆様：数学会「数学基礎論および歴史分科会」評議員の酒井と申します．お世話になっております．数学会では奨励研究生の制度を設けており，博士学位取得後５年以内の研究者に研究奨励金を支給しています． 2024年度の奨励研究生への応募は1月31日までですが，現時点で応募件数が大変少なくなっているようです．ご興味のある方は下記ページをご参照のうえご応募ください．また，お近くの対象者にも周知いただけますと幸いです． 2024年度日本数学会奨励研究生 https://www.mathsoc.jp/publicity/news20231026/2024shourei.html よろしくお願いいたします．酒井拓史

1 0

数学通信で周知する研究集会等の情報
by Hiroshi SAKAI 05 Jan '24

05 Jan '24

皆様：数学会「数学基礎論および歴史分科会」評議員の酒井拓史です．数学通信28巻4号（2月20日発送予定）で数学会会員に周知を希望する研究集会等がありましたら，その情報を酒井までお寄せください．研究集会の場合は，以下の情報のご連絡をお願いします．　集会名・日程・会場・幹事・連絡先・ホームページ連絡期限と連絡先は以下の通りです．　締切：1月14日(日) 　連絡先：hsakai(a)people.kobe-u.ac.jp <mailto:hsakai@people.kobe-u.ac.jp> 連絡期間が短く申し訳ございませんが，よろしくお願いいたします．酒井拓史

1 0

MLメンテ作業
by Atsushi Igarashi 29 Dec '23

29 Dec '23

fos.kuis.kyoto-u.ac.jp でホストしている各種ＭＬのみなさま，管理人の五十嵐です．メイリングリスト管理に使っているソフトウェアのバージョンアップのため，一時的に使用できなくなります．うまくいけば1時間程度で終わると思います．終了しましたら改めてお知らせいたします． -- 五十嵐淳 (IGARASHI Atsushi) E-mail: igarashi(a)kuis.kyoto-u.ac.jp url: http://www.fos.kuis.kyoto-u.ac.jp/~igarashi/

1 1

助教（任期制）2名の公募（東京理科大学理学部第一部応用数学科）
by Makoto Fujiwara 18 Dec '23

18 Dec '23

皆様東京理科大学の藤原誠です．本学理学部第一部応用数学科にて来年度4月着任予定の助教（任期制）2名の公募を行っております． https://jrecin.jst.go.jp/seek/SeekJorDetail?id=D123111966 応募締切は12月25日です．もしよろしければ応募をご検討下さい．また，お近くに適任の方がいらっしゃればご紹介いただければ幸いです．どうぞよろしくお願いいたします． ---------------------------------------------------------- 藤原誠 (Makoto FUJIWARA) 東京理科大学理学部第一部応用数学科助教 E-mail: makotofujiwara(a)rs.tus.ac.jp<mailto:makotofujiwara@rs.tus.ac.jp> ----------------------------------------------------------

1 0

Kobe Logic Seminar のご案内
by Hirotaka Kikyo 12 Dec '23

12 Dec '23

皆様下記のようにKobe Logic Seminarを開催しますので、お知らせいたします。（神戸大学桔梗宏孝） Kobe Logic Seminar https://www.edu.kobe-u.ac.jp/csi-lsi/seminar/kls.html Date: Tuesday, December 26, 2023 Time: 15:10-16:10 Speaker: Koki Okura (University of Tsukuba) Place:　Kobe University, Science and Technology Research Building 3, Room 421, (4th Floor) 日時：2023年12月26日（火）15:10~16:10 講演者：大倉　昂貴　氏（筑波大学数理物質科学研究群）場所：神戸大学自然科学総合研究棟3号館4階421室（プレゼンテーション室） ============================================================ Title ：On rationality of Poincaré series in expansions of the p-adic fields Abstract： Researches in model theory focus on algebraic or more general structures, that is, a set with some functions and relations on it, and also focus on subsets definable by those functions and relations. Various "good" properties of definable sets have been introduced. Some properties describe concrete forms of definable sets while others are more abstract and combinatoric ones applicable without respect to the sort of structures. Recently, the relation of concrete properties and abstract ones have been revealed for several structures. For instance, o-minimality and dp-minimality coincide for expansions of the real field. In this talk, we will deal with the rationality of Poincaré series of definable sets in expansions of the p-adic fields as a concrete property, and see some positive and negative results of tries to connect it to several abstract properties. ======================================================== 交通：阪急六甲駅またはJR六甲道駅から神戸市バス36系統「鶴甲団地」行きに乗車，「神大本部工学部前」停留所下車，徒歩すぐ． (次の地図で[65]の建物) https://www.kobe-u.ac.jp/guid/access/rokko/rokkodai-dai2.html

1 0

証明論研究集会2023: RIMS共同研究(公開型)「証明論と計算論の最前線」のご案内
by YOKOYAMA Keita 02 Dec '23

02 Dec '23

みなさま，東北大学の横山です． 2023年度の証明論研究集会を以下の通りRIMS共同研究(公開型)として開催いたします．ご講演・ご参加をご検討いただけましたら幸いです．どうぞよろしくお願いいたします． ********************************* RIMS共同研究(公開型)「証明論と計算論の最前線」日時：2022/12/11(月)午後-2022/12/14(木)午前場所：京都大学数理解析研究所(RIMS)110号室(およびオンライン) 講演募集：11月20日締め切り詳細は研究集会のウェブページをご覧ください． https://sites.google.com/view/proof-theory-2023 また講演申し込み(11月20日締め切り)及び参加登録は以下のフォームよりお願いいたします． https://forms.gle/HoMR3wx595FbLxHc7 ********************************* どうぞよろしくお願いいたします．横山啓太 -- Keita Yokoyama Mathematical Institute, Tohoku University Aoba, Sendai, JAPAN, 980-8578 keita.yokoyama.c2(a)tohoku.ac.jp

1 2

Mini-course: Forcing techniques for Cichoń’s Maximum (University of Vienna)
by Diego A. Mejia 26 Nov '23

26 Nov '23

The University of Vienna Set Theory Research Seminar will host the following mini-course in hybrid format in the coming Winter Semester 2023. Mini-course: Forcing techniques for Cichon's Maximum by Diego Mejia (Shizuoka University) Thursdays (6 lectures) Japan Standart Time 19:30-21:00 (Central European Time 11:30-13:00) Nov 30th-Dec 14th; Jan 11th-25th Seminarraum 10, Kolingasse 14-16, Uni Wien Zoom Meeting ID: 210 955 0387, Passcode: kgrc https://univienna.zoom.us/j/2109550387?pwd=ZXZMLzZIWERXK2lnWlROZncxQkVSUT09 Abstract: Cichon’s diagram describes the connections between combinatorial notions related to measure, category, and compactness of sets of irrational numbers. In the second part of the 2010’s decade, Goldstern, Kellner and Shelah constructed a forcing model of Cichon’s Maximum (meaning that all non-dependent cardinal characteristics are pairwise different) by using large cardinals. Some years later, we eliminated this large cardinal assumption. In this mini-course, we explore the forcing techniques to construct the Cichon’s Maximum model and much more. Concretely, we discuss the following components: 1. (Nov 30th) Tukey connections and cardinal characteristics of the continuum 2. (Dec 7th) Review of FS (finite support) iterations and basic methods to modify cardinal characteristics. 3. (Dec 14th) Preservation theory for cardinal characteristics. 4. (Jan 11th) FS iterations with measures and ultrafilters on the natural numbers. 5. (Jan 18th) Boolean Ultrapowers. 6. (Jan 25th) Forcing Intersected with submodels. -- 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

第58回 MLG 数理論理学研究集会のご案内
by Hitoshi Omori 15 Nov '23

15 Nov '23

第58回 MLG 数理論理学研究集会のご案内 (重複してお受け取りの際はどうぞご容赦ください。) 東北大学の大森仁と申します。少し先にはなりますが、2023年度MLG数理論理学研究集会（第58回）を下記の要領で開催いたします。多くの方のご講演・ご参加をお待ちしております。 ========================================= 第58回 MLG 数理論理学研究集会開催要領 ========================================= - 期間: 2024年2月16日 (金) 午後--2月18日 (日) - 場所: 東北大学大学院情報科学研究科中講義室 - 講演申込締め切り: 1月16日 (火) - ホームページ: https://sites.google.com/view/mlg58/home - 連絡先E-mail: hitoshiomori[at]gmail[dot]com ============ 参加募集 ============ - 講演時間は原則40分を予定しています。 - 2月17日 (土)の夜に懇親会を行います。 - 参加・講演申し込みは、上記ホームページにある参加申込フォームからお願いいたします。 ==================================== 学部及び修士の学生向けの会合 ==================================== 今回は学部及び修士の学生向けの会合を2月16日 (金)の午前中に計画しております。数に限りはありますが、旅費の援助も可能ですので、是非周りにお知り合いの若い方がいらっしゃいましたら、おすすめいただければと思います。詳細は上記ホームページをご覧ください。

1 0

Jump to page:

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Kisoron-ml