8 citations · 28 across the 40 of their papers we have counts for
45 papers
The Boolean Prime Ideal Theorem and Vitali Sets
Jindrich Zapletal
If ZFC is consistent, then so is ZF+DC+BPI+there is no Vitali set.
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…
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…