Showing 1–10 of 10 results for author: Mota, M A

On the Consistency Strength of MM($ω_1$)

Authors: Natasha Dobrinen, John Krueger, Pedro Marun, Miguel Angel Mota, Jindrich Zapletal

Abstract: We prove that the consistency strength of Martin's Maximum restricted to partial orders of cardinality $ω_1$ follows from the consistency of ZFC. We prove that the consistency strength of Martin's Maximum restricted to partial orders of cardinality $ω_1$ follows from the consistency of ZFC. △ Less

Submitted 28 October, 2023; v1 submitted 12 July, 2023; originally announced July 2023.

MSC Class: 03E35; 03E50

Corrigendum to "Measuring club-sequences together with the continuum large"

Authors: David Aspero, Miguel Angel Mota

Abstract: Measuring says that for e\-very sequence $(C_δ)_{δ<ω_1}$ with each $C_δ$ being a closed subset of $δ$ there is a club $C\subseteqω_1$ such that for every $δ\in C$, a tail of $C\capδ$ is either contained in or disjoint from $C_δ$. In our JSL paper "Measuring club-sequences together with the continuum large" we claimed to prove the consistency of Measuring with $2^{\aleph_0}$ being arbitrarily large… ▽ More Measuring says that for e\-very sequence $(C_δ)_{δ<ω_1}$ with each $C_δ$ being a closed subset of $δ$ there is a club $C\subseteqω_1$ such that for every $δ\in C$, a tail of $C\capδ$ is either contained in or disjoint from $C_δ$. In our JSL paper "Measuring club-sequences together with the continuum large" we claimed to prove the consistency of Measuring with $2^{\aleph_0}$ being arbitrarily large, thereby answering a question of Justin Moore. The proof in that paper was flawed. In the presented corrigendum we provide a correct proof of that result. The construction works over any model of ZFC+CH and can be described as the result of performing a finite-support forcing construction with side conditions consisting of suitable symmetric systems of models with markers. △ Less

Submitted 13 April, 2021; v1 submitted 14 December, 2020; originally announced December 2020.

Comments: 21 pages. arXiv admin note: substantial text overlap with arXiv:1712.07724

Few new reals

Authors: David Aspero, Miguel Angel Mota

Abstract: We introduce a new method for building models of CH, together with $Π_2$ statements over $H(ω_2)$, by forcing. Unlike other forcing constructions in the literature, our construction adds new reals, although only $\aleph_1$-many of them. Using this approach, we build a model in which a very strong form of the negation of Club Guessing at $ω_1$ known as Measuring holds together with CH, thereby answ… ▽ More We introduce a new method for building models of CH, together with $Π_2$ statements over $H(ω_2)$, by forcing. Unlike other forcing constructions in the literature, our construction adds new reals, although only $\aleph_1$-many of them. Using this approach, we build a model in which a very strong form of the negation of Club Guessing at $ω_1$ known as Measuring holds together with CH, thereby answering a well-known question of Moore. This construction can be described as a finite-support weak forcing iteration with side conditions consisting of suitable graphs of sets of models with markers. The CH-preservation is accomplished through the imposition of copying constraints on the information carried by the condition, as dictated by the edges in the graph. △ Less

Submitted 21 March, 2023; v1 submitted 20 December, 2017; originally announced December 2017.

Comments: 39 pages

Generalized symmetric systems and thin-very tall compact scattered spaces

Authors: Miguel Angel Mota, William Weiss

Abstract: 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 $κ\geq ω$, there is a poset $\mathcal P_κ$ preserving all cardinals and forcing the existence of a $κ$--thin very tall locally compact scattered space. For $κ> ω$, we conceive the poset $\mathcal P_κ$ as a higher analogue of the poset… ▽ More 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 $κ\geq ω$, there is a poset $\mathcal P_κ$ preserving all cardinals and forcing the existence of a $κ$--thin very tall locally compact scattered space. For $κ> ω$, we conceive the poset $\mathcal P_κ$ as a higher analogue of the poset $\mathcal P_ω$ originally introduced by Asperó and Bagaria in the context of an (unpublished) alternative consistency proof. △ Less

Submitted 14 July, 2015; originally announced July 2015.

Comments: 14 pages

MSC Class: 03E35; 03G05; 54A25; 54A35; 54G12

Coherent Adequate Forcing and Preserving CH

Authors: John Krueger, Miguel Angel Mota

Abstract: We develop a general framework for forcing with coherent adequate sets on $H(λ)$ as side conditions, where $λ\ge ω_2$ is a cardinal of uncountable cofinality. We describe a class of forcing posets which we call coherent adequate type forcings. The main theorem of the paper is that any coherent adequate type forcing preserves CH. We show that there exists a forcing poset for adding a club subset of… ▽ More We develop a general framework for forcing with coherent adequate sets on $H(λ)$ as side conditions, where $λ\ge ω_2$ is a cardinal of uncountable cofinality. We describe a class of forcing posets which we call coherent adequate type forcings. The main theorem of the paper is that any coherent adequate type forcing preserves CH. We show that there exists a forcing poset for adding a club subset of $ω_2$ with finite conditions while preserving CH, solving a problem of Friedman. △ Less

Submitted 12 June, 2014; originally announced June 2014.

MSC Class: 03E40; 03E05

A Generalization of Martin's Axiom

Authors: David Asperó, Miguel Angel Mota

Abstract: 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 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. △ Less

Submitted 22 January, 2015; v1 submitted 28 June, 2012; originally announced June 2012.

Comments: 36 pages

MSC Class: 03E50; 03E57; 03E35; 03E05

Measuring club-sequences with a large continuum

Authors: David Asperó, Miguel Angel Mota

Abstract: 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. 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. △ Less

Submitted 6 March, 2012; originally announced March 2012.

Comments: 15 pages

MSC Class: 03E50; 03E35; 03E05

Forcing consequences of PFA together with the continuum large

Authors: David Asperó, Miguel Angel Mota

Abstract: 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. 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. △ Less

Submitted 22 January, 2015; v1 submitted 6 March, 2012; originally announced March 2012.

Comments: 35 pages

MSC Class: 03E50; 03E57; 03E35; 03E05

Measuring club sequences, together with the Continuum Hypothesis

Authors: David Asperó, Miguel Angel Mota

Abstract: 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… ▽ More 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. △ Less

Submitted 10 November, 2011; v1 submitted 28 October, 2011; originally announced October 2011.

Comments: This paper has been momentarily withdrawn due to a gap in the proof of lemma 3.8

MSC Class: 03E50; 03E35; 03E05

Bounded forcing axioms and Baumgartner's conjecture

Authors: David Aspero, Sy-David Friedman, Miguel Angel Mota, Marcin Sabok

Abstract: 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 for indecomposable countable ordinals as well as the Axiom A forcings. We focus on the bounded forcing axioms for the hierarchy of $α$-proper forcings and connect them to a hierarchy of weak club guessing principles. We s… ▽ More 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 for indecomposable countable ordinals as well as the Axiom A forcings. We focus on the bounded forcing axioms for the hierarchy of $α$-proper forcings and connect them to a hierarchy of weak club guessing principles. We show that they are, in a sense, dual to each other. In particular, these weak club guessing principles separate the bounded forcing axioms for distinct countable indecomposable ordinals. In the study of forcings completely embeddable into an iteration of $σ$-closed followed by ccc forcing, we present an equivalent characterization of this class in terms of Baumgartner's Axiom A. This resolves a well-known conjecture of Baumgartner from the 1980's. △ Less

Submitted 10 February, 2011; originally announced February 2011.

MSC Class: 03E57; 03E40