BZPEERSource author record
Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.
Catalog footprint
Published work
We introduce finite support iterations of symmetric systems, and use them to provide a strongly modernized proof of David Pincus' classical result that the axiom of dependent choice is independent over ZF with the ordering principle together with a failure of the axiom of choice.
We show that it is consistent relative to ZF, that there is no well-ordering of R while a wide class of special sets of reals such as Hamel bases, transcendence bases, Vitali sets or Bernstein sets exists. To be more precise, we can assume that every projective hypergraph on R has a maximal independent set, among a few other things. For example, we get transversals for all projective equivalence relations. Moreover, this is possible while either DCω1 holds, or countable choice for reals fails. Assuming the consistency of an inaccessible cardinal, "projective" can even be replaced with "L(R)". This vastly strengthens earlier consistency results in the literature.
We show that after forcing with a countable support iteration or a finite product of Sacks or splitting forcing over L, every analytic hypergraph on a Polish space admits a Δ21 maximal independent set. As a main application we get the consistency of r=u=i=ω2 together with the existence of a Δ21 ultrafilter, a Π11 maximal independent family and a Δ21 Hamel basis. This solves open problems of Brendle, Fischer and Khomskii and the author. We also show in ZFC that d≤icl.
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.