遺伝的有限集合勉強会 10 - connpass

Jun

27
遺伝的有限集合勉強会 10

Hashtag ：#巨大基数勉強会

Registration info	Attendee Type 1 Free Attendees 4

Description

概要

HFと有限の世界を勉強しましょう。第10回は[1]のIV.5.20と、IV.5.8の証明を読みます.

予習不要

計画

I章
p.107 HFの定義
p.119 データ構造の例

II章
II.17 Δ0
II.17.21 Σ1, Π1
II.18 CST

IV章
IV pp.289- (ω| HF)上(Δ0|Δ1)
IV.3.1 HFでの決定可能性, 計算可能性
IV.5.8 - IV.5.20 第一不完全性
IV.3 pp.313-317 構文のencoding
IV.5.32 第二不完全性

III章
III pp.273- 有限主義

II章
II.18.12 PAとの関係

教科書

[1] https://www.nippyo.co.jp/shop/book/7176.html

参考書

Media View all Media

If you add event media, up to 3 items will be shown here.

Feed

t6s published 遺伝的有限集合勉強会 10.

06/09/2017 23:42

遺伝的有限集合勉強会 10 has been published!

Ended

2017/06/27(Tue)

18:30 〜 21:00

Google Calendar iCal

Registration Period
2017/06/09(Fri) 23:41 〜
2017/06/27(Tue) 21:00

Event Organizer Contact

Location

愛知県名古屋市中村区名駅2丁目35番22号メビウス名古屋ビル2階

Organizer

Attendees（4）

I joined 遺伝的有限集合勉強会 10!

遺伝的有限集合勉強会 10に参加を申し込みました！

遺伝的有限集合勉強会 10 に参加を申し込みました！

遺伝的有限集合勉強会 10に参加を申し込みました！