David Chodounsky got his PhD in 2011 at the Charles University in Prague under the supervision of P. Simon and B. Balcar.

Starting October 2011 he works as a postdoctoral researcher at the Institute of Mathematics of the Czech Academy of Sciences and in July 2012 – June 2013 he is a postdoctoral fellow in Toronto.

His research is focused mainly on substructures of the powerset of integers.


Recent and upcoming talks by David Chodounsky

David Chodounsky: A generalization of the Solovay–Tennenbaum theorem

Dear all, The seminar meets on Wednesday November 29th at 11:00 in the Institute of Mathematics CAS, Zitna 25, seminar room, 3rd floor, front building. Program: David Chodounsky will present a generalization of the Solovay–Tennenbaum theorem; Assuming a diamond principle and given a suitable class PHI of ccc posets, there is a poset in the class PHI which forces MA(PHI) and c=kappa. continue reading…

Iterated Forcing Theory and Cardinal Invariants, Kyoto, November 6 – 9, 2017

RIMS Workshop on Iterated Forcing Theory and Cardinal Invariants November 6 – 9, 2017 at the Research Institute for Mathematical Sciences (RIMS), Kyoto University ORGANIZER: Jörg Brendle (Kobe) MINICOURSE: Diego Mejía (Shizuoka)  Recent (and not that recent) forcing techniques on fi nite support iterations SPEAKERS: David Asperó (Norwich) Few new reals Fabiana Castiblanco (Münster) David Chodounský (Praha) Monroe Eskew (Wien) Local saturation at every successor cardinal JiaLiang He (Chengdu) An elementary proof of p = t Daisuke Ikegami (Tokyo) On supercompactness of $\omega_1$ Hiromi Ishii (Tsukuba) Reflection Principle and construction of saturated ideals on $\mathcal P_{\omega_1}(\lambda)$ Yo Matsubara (Nagoya) On the existence of skinny stationary subsets Tadatoshi Miyamoto (Nagoya) No Suslin trees but a non-special Aronszajn tree exists by a side condition method Francesco Parente (Norwich) Keisler’s order via Boolean ultrapowers André Rodrigues (Kobe) Hiroshi Sakai (Kobe) On models generated by uncountable indiscernible sequences Dmitri Shakhmatov (Matsuyama) Compactness-like properties de ned by open-point games and maximal almost disjoint families Toshimichi Usuba (Tokyo) $G_\delta$ modification and large cardinals Teruyuki Yorioka (Shizuoka) Aspero-Mota’s finitely proper forcing axiom and k-entangled sets of reals Yasuo Yoshinobu (Nagoya) A further variation of the Banach-Mazur game and forcing axioms continue reading…

Set Theory, Model Theory and Applications (In memory of Mati Rubin), Eilat, April 22-26, 2018

RESEARCH WORKSHOP OF THE ISRAEL SCIENCE FOUNDATION Set Theory, Model Theory and Applications (In memory of Mati Rubin)   The international conference “Set Theory, Model Theory and Applications,” in memory of our late colleague Mati Rubin, will take place at the Eilat Campus of Ben-Gurion University of the Negev (Israel) from 22 – 26 April, 2018. continue reading…

Frontiers of Selection Principles, Warsaw, Aug 20 – Sep 1, 2017

The conference Frontiers of Selection Principles, celebrating the 60th birthday of Marion Scheepers will take place at the Dewajtis Campus, Bielanski forest, Warsaw, 20.8-1.9, 2017: 20.8-25.8 tutorial, 26.8 excursion, 27.8-1.9 conference. continue reading…

David Chodounsky: Combinatorial properties of the Mathias-Prikry forcing

Tuesday, October 25, 2016, 17:15 Wrocław University of Technology, 215 D-1 Speaker: David Chodounsky (Czech Academy of Sciences) Title: Combinatorial properties of the Mathias-Prikry forcing Abstract: I will review basic fact and results about the Mathis-Prikry forcing and I will present and prove sufficient condition for genericity of reals with respect to this poset. continue reading…

Infinite Combinatorics and Forcing Theory, Kyoto, November 28 – December 1, 2016

RIMS Workshop on Infinite Combinatorics and Forcing Theory November 28 – December 1, 2016 at the Research Institute for Mathematical Sciences (RIMS), Kyoto University The workshop website: http://www.ipc.shizuoka.ac.jp/~styorio/rims16/index.html Tutorial speakers: Natasha Dobrinen (University of Denver), Ramsey theory in forcing Yinhe Peng (University of Toronto), Negative partition relations on $\omega_1$ Speakers: Jörg Brendle (Kobe University), Maximal trees Fabiana Castiblanco (Universität Münster), Preserving sharps by tree forcings David Chodounsky (Institute of Mathematics of the Czech Academy of Science), Mathias-Prikry forcing and generic ultrafilters Sakaé Fuchino (Kobe University), Reflection theorems on non-existence of orthonormal bases of pre-Hilbert spaces Daisuke Ikegami (Tokyo Denki University), Boolean valued second order logic Diego A. continue reading…

David Chodounsky: Y-cc and Y-proper forcing notions

Tuesday, December 8, 2015, 17:15 Wrocław University of Technology, 215 D-1 Speaker: David Chodounsky (Czech Academy of Sciences) Title: Y-cc and Y-proper forcing notions Abstract: In our recent joint work with J. continue reading…

Recent Developments in Axiomatic Set Theory, September 16-18, 2015

RIMS Set Theory Workshop 2015 Recent Developments in Axiomatic Set Theory   September 16 (Wed.) 14:20-14:50 Masaru Kada and Takuto Kato: Variants of AC under ZF minus union 15:10-15:40 Masaru Kada and Souji Shizuma: Some remarks on in nite hat guessing games 16:00-16:50 Makoto Takahashi: On non -shortness of Axiom A posets with frame systems September 17  (Thu.) 10:00-10:50 Teruyuki Yorioka: Some consistency results with the existence of a non special Aronszajn tree 11:10-12:00 David Chodounsky: F-Mathias reals and generic filters 14:00-14:50 Joel David Hamkins: Upward closure in the generic multiverse of a countable model of set theory 15:10-16:00 Toshimichi Usuba: Set-theoretic geology and large large cardinals 16:20-17:00 Tadatoshi Miyamoto: Side condition methods and morasses September 18 (Fri.) 9:00-9:50 Sakae Fuchino: On the superuniverse of the set theoretic multiverses 10:10-11:00 Hiroshi Sakai: Covering and approximation properties of ultrapower Venue Room 420, RIMS Kyoto Organizer Masahiro Shioya (University of Tsukuba), E-mail: shioya _at_ math.tsukuba.ac.jp continue reading…

BLAST Conference at UNT June 8–12, 2015

BLAST2015@UNT Conference – ANNOUNCEMENT 1. http://math.unt.edu/BLAST2015@UNT DATE: June 8 – 12, 2015 WHERE: University of North Texas in Denton, TX BLAST (Boolean Algebras, Lattices, Algebraic & Quantum Logic, Universal Algebra, Set Theory, and Set-theoretic & Point-free Topology) is an annual conference sponsored by the National Science Foundation that has been running since 2008. continue reading…

David Chodounsky: Y-properness of Laver and Miller forcing

Wednesday, December 17, 2014, 11:00 Prague – IM AS CR, Zitna 25, konirna (front building, ground floor) Speaker: David Chodounsky Title: Y-properness of Laver and Miller forcing continue reading…