The effect of the cohesive and stable Ramsey theorems on proof size over RCA*0 (cont'd)
- Speaker(s)
- Leszek Kołodziejczyk
- Language of the talk
- English
- Date
- Jan. 21, 2026, 12:10 p.m.
- Room
- room 5450
- Seminar
- Seminar Mathematical Logic
You are not logged in |
Log in
|
