2 citations · 6 across the 9 of their papers we have counts for
9 papers
On the Consistency Strength of MM()
Natasha Dobrinen, John Krueger, Pedro Marun +2
We prove that the consistency strength of Martin's Maximum restricted to partial orders of cardinality follows from the consistency of ZFC.
Few new reals
David Aspero, Miguel Angel Mota
We introduce a new method for building models of CH, together with statements over , by forcing. Unlike other forcing constructions in the literature, our constructio…
Generalized symmetric systems and thin-very tall compact scattered spaces
Miguel Angel Mota, William Weiss
We solve a well--known problem in the theory of compact scattered spaces and superatomic boolean algebras by showing that, under GCH and for each regular cardinal , there…
Coherent Adequate Forcing and Preserving CH
John Krueger, Miguel Angel Mota
We develop a general framework for forcing with coherent adequate sets on as side conditions, where is a cardinal of uncountable cofinality. We describe a class o…
A Generalization of Martin's Axiom
David Asperó, Miguel Angel Mota
We define the chain condition. The corresponding forcing axiom is a generalization of Martin's Axiom and implies certain uniform failures of club--guessing on …
Measuring club-sequences with a large continuum
David Asperó, Miguel Angel Mota
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 grea…
Forcing consequences of PFA together with the continuum large
David Asperó, Miguel Angel Mota
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 a…
Measuring club sequences, together with the Continuum Hypothesis
David Asperó, Miguel Angel Mota
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…
Bounded forcing axioms and Baumgartner's conjecture
David Aspero, Sy-David Friedman, Miguel Angel Mota +1
We study the spectrum of forcing notions between the iterations of -closed followed by ccc forcings and the proper forcings. This includes the hierarchy of -proper forcings f…