[logic-ml] （詳報）第18回関西集合論セミナ：2019年7月5日 大阪府立大学

[Masaru KADA]

みなさま：

大阪府立大学 嘉田勝です。
過日ご案内しました小集会「第18回関西集合論セミナ」の詳報です。
お問い合わせは嘉田まで。（講演のお申し込みは締め切りました）

なお、関西集合論セミナの後、16:30 より、同じ講義室にて、
Paul Larson 氏による談話会講演を計画しています。（講演題目未定）

========
第18回関西集合論セミナ

2019年7月5日（金） 13:00–-15:50
大阪府立大学中百舌鳥キャンパス A14棟333講義室

プログラム（進行により多少前後します）

13:00--13:50
Paul Larson (Miami University, Ohio USA)
Balanced Forcing Extensions

14:00--14:30
静間荘司 （大阪府立大学）
title to be announced

14:40--15:10
依岡輝幸 （静岡大学）
title to be announced

15:20--15:50
渕野昌 （神戸大学）
title to be announced

----
Paul Larson 氏講演概要

Title: Balanced Forcing Extensions

Abstract: We will introduce the notions of virtual conditions and 
balanced conditions in definable partial orders, and apply these ideas to forcing extensions of the Solovay model. We will present a variety of independence results, and some ZF implications, for weak forms of the Axiom of Choice, and discuss related issues concerning the preservation of cardinals and chromatic numbers. Some of these results can be stated more generally using a natural classification of definable partial orders in terms of amalgamation properties.
========




--------
 Masaru KADA  （嘉田 勝）
 kada at mi.s.osakafu-u.ac.jp
--------