Adventar

Proper Forcing Advent Calendar 2025

登録数 2/25人
作成者 Tatsuya Goto's icon Tatsuya Goto

proper forcingに関するアドベントカレンダーです。
関連する内容なら何でもOKです。たとえば：

  • proper forcingの基本的な事柄
  • proper forcing axiomの応用
  • creature forcingのような具体的なproper forcingについて
  • side condition methodについて

もっとニッチじゃないAdvent Calendarをお探しの方はこちらへ：Mathematical Logic Advent Calendar 2025

SUN MON TUE WED THU FRI SAT
1
Tatsuya Goto's icon
Tatsuya Goto
2
3
4
5
6
7
8
Tatsuya Goto's icon
Tatsuya Goto
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
  • 12/1
    Tatsuya Goto's icon Tatsuya Goto
    Cohen実数を付け加えない十分条件
  • 12/8
    Tatsuya Goto's icon Tatsuya Goto
    side conditionを使ったPFA→OCAの証明