Kisoron-ml September 2015

6 participants
5 discussions

JAIST Logic Seminar Series (6th Oct. 2015 by Hsing-chien Tsai)
by Katsuhiko Sano 18 Sep '15

18 Sep '15

皆様 National Chung-Cheng UniversityのHsing-chien Tsai先生の講演のお知らせです。どうぞふるってご参加ください。問合せ先：佐野勝彦北陸先端科学技術大学院大学情報科学研究科 e-mail: v-sano(a)jaist.ac.jp ------------------------------ * JAIST Logic Seminar Series * Date and Time: Tuesday, 6th October 2015, 15:30--17:00 Title: On Some General Methods of Proving Decidability or Undecidability Place: Collaboration room No.7, 5th floor of IS building No. 3, JAIST (Access: http://www.jaist.ac.jp/english/location/access.html) Speaker: Hsing-chien Tsai (Department of Philosophy, National Chung-Cheng University) Abstract: This talk will first introduce some useful general methods of proving the decidability or the undecidability of a first-order logical theory, and then will show some applications of those methods. The methods to be looked into are heavily involved with checking whether or not two models (or two classes of models) stand in certain relations. Here the two most-checked relations between two models are back-and-forth equivalence and definability (that is, defining one into another). In this light, this talk will also briefly discuss some general theorems concerning the two aforementioned model theoretical relations. -- Katsuhiko Sano School of Information Science Japan Advanced Institute of Science and Technology IS building No.1 7F, 1-1 Asahidai, Nomi, Ishikawa, 923-1292, Japan

1 0

証明論研究集会 & SLACS のご案内
by Toshihiko Kurata 17 Sep '15

17 Sep '15

皆様， 2015年度の「証明論研究集会」と「記号論理と情報科学研究集会（SLACS）」について，合同開催の案内をメイルさせて頂きます．どちらの研究集会も数理論理学，計算の理論，情報科学などの理論・応用に関係する様々な話題が発表されていて研究者・学生の貴重な相互交流の場となっています．完成された研究のみならず発展途上の話題も大歓迎ですので，気軽に講演・参加を御検討下さい．開催日：2015年12月14日（月）〜16日（水）場所：南山大学名古屋キャンパスS棟(教室棟)7階S74教室世話役：佐々木克巳（南山大学）倉田俊彦（法政大学）詳細はHP https://sites.google.com/site/ptslacs2015/ をご覧頂けたらと思います．講演を希望される方は，御手数ですが ------------------------------------- 題目講演者名所属 e-mail アドレス概要講演時間懇親会参加希望その他の希望（講演日など） ------------------------------------- を pt.slacs2015(a)gmail.com までメイル下さい．申込期限は12月04日（金）とします．それでは，よろしくお願いいたします． -- Toshihiko Kurata, Hosei University e-mail: kurata(a)hosei.ac.jp

1 0

RIMS研究集会「モデル理論における独立概念と次元の研究」のご案内
by Hirotaka Kikyo 14 Sep '15

14 Sep '15

（重複して受け取られた場合はご容赦ください）下記の要領で、RIMS研究集会を開催いたします。モデル理論に関連する話題の研究集会です。モデル理論に関連するテーマでの発表を募集いたします。 Anand Pillay 教授、Byunghan Kim教授を含む数名の外国人がすでに参加を表明されてます。概要 RIMS研究集会「モデル理論における独立概念と次元の研究」日時：2015年12月14日月曜日午後〜2015年12月16日水曜日午前場所：京都大学数理解析研究所110教室研究代表者：桔梗宏孝　副代表：池田宏一郎数理研：http://www.kurims.kyoto-u.ac.jp/~kyodo/workshop-ja.html 集会ホームページ：https://sites.google.com/site/modeltheory2015/ 講演を希望される人は次の情報を代表者の桔梗までお知らせください。 (連絡先：kikyo(a)kobe-u.ac.jp) ----- (1)氏名 (2)所属 (3)職名/学年 (4)講演題目 (5)旅費援助の希望の有無 (6)参加日程 ------ 旅費の援助は原則として講演者に限らせていただきます。桔梗宏孝神戸大学大学院システム情報学研究科

1 0

数学会よりお知らせ（数学通信）
by ikeda＠hosei.ac.jp 14 Sep '15

14 Sep '15

日本数学会　数学基礎論および歴史分科会の皆様，分科会連絡責任評議員の池田です． 11月4日発行予定の「数学通信」誌上で全会員にお知らせすべき情報（研究集会情報等）を池田（ikeda(a)hosei.ac.xn--jp)-u63b3a4a5b7b6byd5nwe5834h.xn--930-oc4by33o95yaexbuy6f （水）といたします．よろしくお願いいたします．池田宏一郎（連絡責任評議員，法政大学）

2 1

JAIST Logic Seminar Series
by Hajime Ishihara 05 Sep '15

05 Sep '15

皆様ジーゲン大学のDieter Spreen先生の講演のお知らせです。どうぞふるってご参加ください。問合せ先：石原　哉北陸先端科学技術大学院大学情報科学研究科 e-mail: ishihara(a)jaist.ac.jp ----------------------------------------------- * JAIST Logic Seminar Series * * This seminar is held as a part of JSPS Core-to-Core Program, A. Advanced Research Networks, and EU FP7 Marie Curie Actions IRSES project COMPUTAL (http://computal.uni-trier.de/). Date: Thursday 7 May, 2015, 13:30-15:00 Place: JAIST, Collaboration room 6 (I-57g) (Access: http://www.jaist.ac.jp/english/location/access.html) Speaker: Dieter Spreen (University of Siegen) Title: Digit Spaces - Topological Foundations Abstract: Digit spaces have been introduced by Ulrich Berger as a framework for extracting programs that deal with continuous data from formal proofs. The essential idea was to represent objects as streams of unary contractions on a complete metric space and to use coinduction on the logical side. In recent joint work on an extension of this approach to hyperspaces like the space of nonempty compact subsets of a digit space, it turned out that compact cannot be represented by such streams in general: instead one has to deal with infinite trees the nodes of which are labeled by contraction similar to the stream case. It was realized, however, that one will obtain a uniform theory, if the contractions, also called digits, are allowed to be multi-ary.

2 2

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Kisoron-ml September 2015