3 papers
math.LO2013
Canonization of analytic equivalences on the Carlson-Simpson forcing
Michal Doucha
We prove a canonization result for the Carlson-Simpson forcing in the spirit of \cite{KSZ}. We generalize the weak form of the Carlson-Simpson theorem (\cite{CaSi}) dealing with pa…
math.LO2012
equivalence relations and Laver forcing
Michal Doucha
Following the topic of the book Canonical Ramsey Theory on Polish Spaces by V. Kanovei, M. Sabok and J. Zapletal we study Borel equivalences on Laver trees. Here we prove that equi…
math.LO2012
Base Tree Property
Bohuslav Balcar, Michal Doucha, Michael Hrušák
Building on previous work of [BPS] we investigate -closed partial orders of size continuum. We provide both an internal and external characterization of such partial orders by s…