6 papers
More on the Boolean Prime Ideal Theorem
Jacob Kowalczyk, Jindrich Zapletal
We prove the consistency of Zermelo--Fraenkel set theory with the Axiom of Dependent Choices, no Vitali sets and a large fragment of the Boolean Prime Ideal Theorem.
Independence relations in the Solovay model II
Jindrich Zapletal
I provide a novel axiomatization of the Solovay model and a purely geometric treatment of the theory of balanced forcing.
Nonarchimedean groups and the axiom of choice
Justin Young, Jindrich Zapletal
We prove several novel connections between properties of nonarchimedean groups and fragments of the axiom of choice which hold in their associated permutation model.
Independence relations in the Solovay model I
Jindrich Zapletal
I provide a novel geometric axiomatization of the Solovay model. This serves as a vehicle for concise and forcing-free proofs of classical results in the model, as well as a tool f…
On the Isbell problem
Jonathan Cancino-ManrÃquez, Jindrich Zapletal
We present three models concerning Tukey types of ultrafilters on . The first model is built via a countable support iteration, and we show there is no basically generated ultr…
Coloring equilateral triangles
Jindrich Zapletal
It is consistent relative to an inaccessible cardinal that ZF+DC holds, the hypergraph of equilateral triangles on a given Euclidean space has countable chromatic number, while the…