BZPEERReading, trust and collaboration for researchDiscover
Workspaces
Network
Opportunities
Account
Researcher profile
David Asperó contributes to research discovery and scholarly infrastructure.
Trust snapshot
Actions
Research graph
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
We define the $\aleph_{1.5}$ chain condition. The corresponding forcing axiom is a generalization of Martin's Axiom and implies certain uniform failures of club--guessing on $ω_1$ that don't seem to have been considered in the literature before.
We develop a new method for building forcing iterations with symmetric systems of structures as side conditions. Using our method we prove that the forcing axiom for the class of all the small finitely proper posets is compatible with a large continuum.
One of the most frustrating problems faced by set theorists working with iterated proper forcing is the lack of techniques for producing models in which the continuum has size greater than the second uncountable cardinal. In this paper we solve this problem in the specific case of measuring, a very strong negation of Club Guessing introduced by Justin Moore.
We answer a question of Moore by building a forcing extension satisfying measuring together with CH. The construction works over any model of ZFC and can be described as a forcing iteration with countable structures as side conditions and with symmetry constraints. Also, we show that a small variation of this construction produces a model of measuring together with the continuum being larger than the second uncountable cardinal.