みなさま
神奈川大学の松田と申します．
第55回MLG数理論理学研究集会を以下の要領で開催させていただきます． 日時：2021年3月1日(月) - 3月2日(火) 場所：オンライン開催
参加方法など，詳細は https://sites.google.com/view/55thmlg/home をご覧ください．
MLG数理論理学研究集会は，1971年開始された， この分野の多くの研究者が参加している40年以上続く研究集会です． 成果を発表し合ったり，アイデアを交換したりと， ザックバランな雰囲気で行われています． 数学の他分野や，広く数理科学，情報科学，哲学の方々や， 外国からの研究者を迎えるなど，オープンに運営されています．
今年度も多くのみなさまのご参加をお待ちしております．
-- 松田直祐 神奈川大学 matsuda.naosuke@gmail.com
Slendernessというのは頗るversatileな概念で、基礎論ともnon-measurable cardinalsあたりで 接点を持ちます。これについてまとまった本が出版されたので ご案内しておきます。
https://zbmath.org/?q=an%3A06947511
参考文献には K.Eda の前世記の2本の論文や
https://zbmath.org/?q=an%3A0538.20027 https://zbmath.org/?q=an%3A0779.20012
model theoryで基本となるLos's theoremで有名なLosによる 1950年代の論文なんかも
https://zbmath.org/?q=an%3A0079.03402 https://zbmath.org/?q=an%3A0058.01801 https://zbmath.org/?q=an%3A0083.25101 https://zbmath.org/?q=an%3A0083.25003
上がっています。
にしむら https://www.researchgate.net/profile/Hirokazu_Nishimura
Purityというと、algebraに限らず、model theoryでも 好んで取り上げられる概念ですが、最近これに関して 一寸面白い論文をreviewしたので、ご案内いたして おきます。
https://zbmath.org/?q=an%3A07303578
にしむら https://www.researchgate.net/profile/Hirokazu-Nishimura https://www.youtube.com/watch?v=7QbRbcMyXHI
Ultrafiltersというのは、基礎論では不可欠の 道具立てですが、これについて
Annals of Pure and Applied Logic
に掲載された一寸面白い論文をreviewしたので ご案内いたしておきます。
https://zbmath.org/?q=an%3A07257239
にしむら https://www.researchgate.net/profile/Hirokazu-Nishimura https://www.youtube.com/watch?v=dXuGGJCqktQ
上記について、少し面白い論文をreviewしましたので ご案内しておきます。
https://zbmath.org/?q=an%3A1445.03068
にしむら https://www.researchgate.net/profile/Hirokazu-Nishimura https://www.youtube.com/watch?v=psGWbSESNJg
上記の定理が証明されたのは第２次世界大戦が 終わって１０年と経たない頃の話ですが、 homotopy論において枢要な位置を占めており、 Freudenthal Suspension Theoremをsparkし、 stable homotopy theoryへと誘います。
この定理は２１世紀に入ってから HoTT (Homotopy Type Theory)の枠組みの 中で構成的に別証明が与えられ、しかも computerを用いてverificationに委ねられました。
https://zbmath.org/?q=an:1395.55011
最近、この定理をさらに一般化し、 それが単に位相空間のみならす 任意のinfinity toposで成り立つことを 示す論文をreviewしましたので、 ご案内しておきます。
https://zbmath.org/pdf/07262227.pdf
にしむら https://www.researchgate.net/profile/Hirokazu-Nishimura https://www.youtube.com/watch?v=X7Dlk1Jd-Jk
Geometric morphismsで保存される理論として 特徴づけられるgeometric theoriesに関する 本をreviewしましたので、ご案内しておきます。
https://zbmath.org/pdf/06638227.pdf
にしむら https://www.researchgate.net/profile/Hirokazu-Nishimura https://www.youtube.com/watch?v=AfBViJGmDl4
Journal of Automated Reasoning
に掲載された下記の論文をreviewしましたので、 ご案内しておきます。
https://zbmath.org/?q=an%3A07311961
にしむら https://www.researchgate.net/profile/Hirokazu-Nishimura https://www.youtube.com/watch?v=a4m3ejgGOkI
上記に関するproof-theoreticalな研究というと、
https://zbmath.org/?q=an%3A0953.03065 https://zbmath.org/?q=an%3A0990.03048
あたりに集約されますが、これをcategory-theoretical ないしhomotopy-theoreticalな観点から補完する 研究をreviewしたので、ご案内しておきます。
https://zbmath.org/?q=an%3A07323980
にしむら https://www.researchgate.net/profile/Hirokazu-Nishimura https://www.youtube.com/watch?v=7vBit1MVfc8
Birkhauserから出版されている双書
Progress in Computer Science and Applied Logic
の一冊として出版されている上記のtitleの 本をreviewしましたので、ご案内いたしておきます。
にしむら https://www.researchgate.net/profile/Hirokazu-Nishimura https://www.youtube.com/watch?v=E2hZDzJp9Pc
Natural number objectの存在を示すことは 難しい話ではありませんが、これが homotopicalな 世界でということになると、様相は全く違って、大変 難しい話になります。次の論文をreviewしたので、 ご案内しておきます。
https://zbmath.org/pdf/07333622.pdf
にしむら https://www.researchgate.net/profile/Hirokazu-Nishimura https://www.youtube.com/watch?v=4Ja6JhkyF64
Ann. Pure Appl.Logic
に掲載された次の論文をreviewしましたので、 御案内しておきます。
https://zbmath.org/pdf/07327745.pdf
にしむら https://www.researchgate.net/profile/Hirokazu-Nishimura https://www.youtube.com/watch?v=qhXrye7zkwY
Rev. Symbolic Logic
に掲載された下記の論文を reviewしましたので、 御案内しておきます。
https://zbmath.org/pdf/06826851.pdf
にしむら https://www.researchgate.net/profile/Hirokazu-Nishimura https://www.youtube.com/watch?v=tzdY1eLOePQ&list=RDtzdY1eLOePQ&start...
Arch. Math. Logicに掲載された 以下の論文をreviewしましたので、 御案内しておきます。
https://zbmath.org/pdf/07334536.pdf
にしむら https://www.researchgate.net/profile/Hirokazu-Nishimura https://www.youtube.com/watch?v=FUjqYfyvynQ
Journal of Symbolic Logicに 掲載された以下の論文をreviewしたので、 御案内しておきます。
https://zbmath.org/?q=an%3A7326437
にしむら https://www.researchgate.net/profile/Hirokazu-Nishimura https://www.youtube.com/watch?v=eQr9pUtEoQE&t=585s
Cambridge University Pressから 出版された下記の本をreviewしましたので、 御案内しておきます。
https://zbmath.org/pdf/07162761.pdf
にしむら https://www.researchgate.net/profile/Hirokazu-Nishimura https://www.youtube.com/watch?v=378AnxAve9Y
下記のdissertaionをreviewしましたので、 御案内しておきます。
https://zbmath.org/pdf/1131.03303.pdf
にしむら https://www.researchgate.net/profile/Hirokazu-Nishimura https://www.youtube.com/watch?v=EXHbnsuQ0b8
次の論文をreviewしたので、 御案内しておきます。
https://zbmath.org/pdf/07357174.pdf
この論文は今世紀初頭にPetricが
Ann. Pure Appl. Logicでsyntacticalに した話を
https://zbmath.org/pdf/1036.18001.pdf
Petri nets等を用いてsemanticalにやったような 話です。
にしむら https://www.researchgate.net/profile/Hirokazu-Nishimura https://www.youtube.com/watch?v=v5Y_MJncPz0
Math. Proc. Camb. Philos. Soc.に 昨年掲載された次の論文をreviewしましたので、 御案内しておきますね。
https://zbmath.org/pdf/07395401.pdf
にしむら https://www.researchgate.net/profile/Hirokazu-Nishimura https://www.youtube.com/watch?v=cjFdbKh34IU
Notre Dam J. Formal Logic
に掲載された下記の論文をreview しましたので、御案内しておきます。
にしむら https://www.researchgate.net/profile/Hirokazu-Nishimura https://www.youtube.com/watch?v=xonSQNbSvNk
Notre Dam J. Formal Logic
に掲載された下記の論文をreview しましたので、御案内しておきます。
https://zbmath.org/pdf/07391965.pdf
にしむら https://www.researchgate.net/profile/Hirokazu-Nishimura https://www.youtube.com/watch?v=xonSQNbSvNk
Birkhauserから出版されている
Compact Textbooks in Mathematics
の一冊として出版された下記の本を reviewしましたので、御案内いたして おきます。
https://zbmath.org/pdf/07332844.pdf
にしむら https://www.researchgate.net/profile/Hirokazu-Nishimura https://www.youtube.com/watch?v=s-ltmarIBP8
Voevodsky (June 1966-September 2017)の遺作というべき 論文をreviewしましたので、 御案内しておきます。
https://zbmath.org/pdf/07357368.pdf
にしむら https://www.researchgate.net/profile/Hirokazu-Nishimura https://www.youtube.com/watch?v=wpYRoeczWO8
Oxford University Pressから 出版されている書きの本を reviewしましたので、 御案内しておきます。
https://zbmath.org/pdf/07289983.pdf
にしむら https://www.researchgate.net/profile/Hirokazu-Nishimura https://www.youtube.com/watch?v=2I1ZU5g1QNo
次の論文をreviewしましたので、 御案内しておきます。
Journal of Symbolic Logic
に掲載された以下の論文を reviewしたので、 御案内しておきます。
https://zbmath.org/pdf/07442024.pdf
にしむら https://www.researchgate.net/profile/Hirokazu-Nishimura https://www.youtube.com/watch?v=c3GRMAdnCwY&list=RDc3GRMAdnCwY&start...
以下の論文をreviewしたので 御案内しておきます。
https://zbmath.org/pdf/07425827.pdf
にしむら https://www.researchgate.net/profile/Hirokazu-Nishimura https://www.youtube.com/watch?v=FX_4Iq8cQTM
1923年に出版されたBertrand Russelの古典的名著
The ABC of Atoms
の復刻版を出版することになり、 それにforewordを寄せることに なりましたので、御案内して おきます。
http://www.minkowskiinstitute.org/mip/books/Russell5.html
にしむら https://www.researchgate.net/profile/Hirokazu-Nishimura https://www.youtube.com/watch?v=dWHu-EAw7_Y
以下の論文をrevewしましたので、 御案内しておきます。
https://zbmath.org/pdf/07454906.pdf
にしむら https://www.researchgate.net/profile/Hirokazu-Nishimura https://www.youtube.com/watch?v=nJd9boOGk9Q
次の論文をreviewしましたので、 御案内しておきます。
https://zbmath.org/pdf/07440906.pdf
にしむら https://www.researchgate.net/profile/Hirokazu-Nishimura https://www.youtube.com/watch?v=ykWCL8Iy3Hs
次の論文をreviewしましたので、 御案内しておきます。
https://zbmath.org/pdf/07408497.pdf
にしむら https://www.researchgate.net/profile/Hirokazu-Nishimura https://www.youtube.com/watch?v=9CEw7HAnhoM
次の論文をreviewしましたので、 御案内しておきます。
https://zbmath.org/pdf/07455911.pdf
にしむら https://www.researchgate.net/profile/Hirokazu-Nishimura https://www.youtube.com/watch?v=mULvGLOKVCA
次の論文をreviewしましたので、 御案内しておきます。
https://zbmath.org/?q=an%3A7408501
にしむら https://www.researchgate.net/profile/Hirokazu-Nishimura https://www.youtube.com/watch?v=ZYknoILvGgM
次の論文をreviewしましたので、 御案内しておきます。
https://zbmath.org/pdf/07460114.pdf
にしむら https://www.researchgate.net/profile/Hirokazu-Nishimura https://www.youtube.com/watch?v=N0vUHRnvId4
次の論文をreviewしましたので、 御案内しておきます。
https://zbmath.org/pdf/07396429.pdf
にしむら https://www.researchgate.net/profile/Hirokazu-Nishimura https://www.youtube.com/watch?v=GBmat-HrkY8
次の論文をreviewしましたので、 御案内しておきます。
https://zbmath.org/?q=an%3A7471717
にしむら https://www.researchgate.net/profile/Hirokazu-Nishimura
次の論文をreviewしましたので、 御案内しておきます。
https://zbmath.org/pdf/07155169.pdf
にしむら https://www.researchgate.net/profile/Hirokazu-Nishimura https://www.youtube.com/watch?v=k9QWQVpI3bs
次の論文をreviewしましたので、 御案内しておきます。
https://zbmath.org/pdf/1437.18016.pdf
にしむら https://www.researchgate.net/profile/Hirokazu-Nishimura https://www.youtube.com/watch?v=b3Yb-iI8ipE
次の論文をreviewしましたので、 御案内しておきます。
https://zbmath.org/pdf/07203212.pdf
にしむら https://www.researchgate.net/profile/Hirokazu-Nishimura https://www.youtube.com/watch?v=238pW086UII
次の本をreviewしましたので、 御案内しておきます。
https://zbmath.org/pdf/1470.03008.pdf
にしむら https://www.researchgate.net/profile/Hirokazu-Nishimura https://www.youtube.com/watch?v=V1Pl8CzNzCw
次の論文をreviewしましたので、 御案内しておきます。
https://zbmath.org/pdf/07440902.pdf
にしむら https://www.youtube.com/watch?v=JNBeT8jDjUs https://www.researchgate.net/profile/Hirokazu-Nishimura/stats
次の論文をreviewしましたので、 御案内しておきます。
https://zbmath.org/?q=an%3A7440912
にしむら https://www.researchgate.net/profile/Hirokazu-Nishimura https://www.youtube.com/watch?v=TAJW1rbi6EA
次の論文をreviewしましたので、 御案内しておきます。
https://zbmath.org/pdf/07440910.pdf
にしむら https://www.researchgate.net/profile/Hirokazu-Nishimura https://www.youtube.com/watch?v=tk4VnGWU-cY
次の論文をreviewしましたので、 御案内しておきます。
https://zbmath.org/pdf/07440911.pdf
にしむら https://www.researchgate.net/profile/Hirokazu-Nishimura https://www.youtube.com/watch?v=y3t1rWU_L9E
次の論文をreviewしましたので、 御案内しておきます。
https://zbmath.org/?q=an%3A1482.81006
にしむら https://www.researchgate.net/profile/Hirokazu-Nishimura https://www.youtube.com/watch?v=ApMpIM6mY6Y
次の論文をreviewしましたので、 御案内しておきます。
https://zbmath.org/pdf/1160.03305.pdf
にしむら https://www.researchgate.net/profile/Hirokazu-Nishimura https://www.youtube.com/watch?v=ZQHfUbyXF1E
次の論文をreviewしましたので、 御案内しておきます。
https://zbmath.org/pdf/1005.03034.pdf
にしむら https://www.researchgate.net/profile/Hirokazu-Nishimura https://www.youtube.com/watch?v=GgwxMq_1kBs
次の本をreviewしましたので、 御案内しておきます。
https://zbmath.org/pdf/1166.03315.pdf
にしむら https://www.researchgate.net/profile/Hirokazu-Nishimura https://www.youtube.com/watch?v=7LGQEjApmjI
次の本をreviewしましたので、 御案内しておきます。
https://zbmath.org/?q=an%3A7401241
にしむら https://www.researchgate.net/profile/Hirokazu-Nishimura https://www.youtube.com/watch?v=8wiSZXx7uWA
次の論文をreviewしましたので、 御案内しておきます。
https://zbmath.org/?q=an%3A0813.68129
にしむら https://www.researchgate.net/profile/Hirokazu-Nishimura https://www.youtube.com/watch?v=OlDsh3hyFZU
次の論文をreviewしましたので、 御案内しておきます。
https://zbmath.org/pdf/07576895.pdf
にしむら https://www.researchgate.net/profile/Hirokazu-Nishimura https://www.youtube.com/watch?v=0t5ohgJJ_KU
次のdifferential linear logic関連の論文を２本 reviewしましたので、御案内しておきます。
https://zbmath.org/pdf/07348342.pdf https://zbmath.org/pdf/07283043.pdf
にしむら https://www.researchgate.net/profile/Hirokazu-Nishimura https://www.youtube.com/watch?v=ip5_CkML_Zk
次の論文をreviewしましたので、 御案内しておきます。
https://zbmath.org/?q=an%3A7440905
にしむら https://www.researchgate.net/profile/Hirokazu-Nishimura https://www.youtube.com/watch?v=buccUt4hhvo
次の論文をreviewしましたので、 御案内しておきます。
https://zbmath.org/pdf/07588015.pdf
にしむら https://www.researchgate.net/profile/Hirokazu-Nishimura https://www.youtube.com/watch?v=iSLlYVh2tds
次の論文をreviewしましたので、 御案内しておきます。
https://zbmath.org/pdf/07603237.pdf
にしむら https://www.researchgate.net/profile/Hirokazu-Nishimura https://www.youtube.com/watch?v=Wi9YdbElGAw
次の論文をreviewしましたので、 御案内しておきます。
https://zbmath.org/pdf/07595207.pdf
にしむら https://www.researchgate.net/profile/Hirokazu-Nishimura https://www.youtube.com/watch?v=l5AQvPCPjwc
Bimbó, Katalin (ed.), Relevance logics and other tools for reasoning. Essays in honor of J. Michael Dunn
に掲載された次の論文をreviewしましたので、 御案内しておきます。
https://zbmath.org/pdf/07576841.pdf
なおMichael Dunnは一昨年4月に79歳で 他界されています。
にしむら https://www.researchgate.net/profile/Hirokazu-Nishimura https://www.youtube.com/watch?v=OwgCbY-yJ5E
Ann. Pure Appl. Logicに掲載された 次の論文をreviewしましたので、 御案内しておきます。
https://zbmath.org/pdf/07628767.pdf
にしむら https://www.researchgate.net/profile/Hirokazu-Nishimura https://www.youtube.com/watch?v=Oiwnr18MYaY
Ann. Pure Appl. Logicに掲載された 次の論文をreviewしましたので、 御案内しておきます。
https://zbmath.org/pdf/07653730.pdf
にしむら https://www.researchgate.net/profile/Hirokazu-Nishimura https://www.youtube.com/watch?v=Dfeq-ITDooA
次の論文をreviewしましたので、 御案内しておきます。
にしむら https://www.researchgate.net/profile/Hirokazu-Nishimura https://www.youtube.com/watch?v=UyLdfEmRCBQ
みなさま
神奈川大学の松田と申します． MLG数理論理学研究集会の講演申し込み締め切りが近づきましたので， 再送させてただ来ます． 分野問わず様々なご講演を募集しております． お気軽にご参加いただければと思います．
また，講演無しのご参加に関しましては， 当日までいつでも受け付けておりますので， こちらもお気軽にお問い合わせください．
よろしくお願いいたします．
-------- Forwarded Message -------- Subject: 第55回MLG数理論理学研究集会 Date: Thu, 14 Jan 2021 11:01:00 +0900 From: Naosuke MATSUDA matsuda.naosuke@gmail.com To: logic-ml@fos.kuis.kyoto-u.ac.jp, kisoron-ml@fos.kuis.kyoto-u.ac.jp
みなさま
神奈川大学の松田と申します．
第55回MLG数理論理学研究集会を以下の要領で開催させていただきます． 日時：2021年3月1日(月) - 3月2日(火) 場所：オンライン開催
参加方法など，詳細は https://sites.google.com/view/55thmlg/home をご覧ください．
MLG数理論理学研究集会は，1971年開始された， この分野の多くの研究者が参加している40年以上続く研究集会です． 成果を発表し合ったり，アイデアを交換したりと， ザックバランな雰囲気で行われています． 数学の他分野や，広く数理科学，情報科学，哲学の方々や， 外国からの研究者を迎えるなど，オープンに運営されています．
今年度も多くのみなさまのご参加をお待ちしております．
-- 松田直祐 神奈川大学 matsuda.naosuke@gmail.com
kisoron-ml@fos.kuis.kyoto-u.ac.jp
-
logic -
Naosuke MATSUDA