-
Intent-Aware DRL-Based Uplink Dynamic Scheduler for 5G-NR
Authors:
Salwa Mostafa,
Mateus P. Mota,
Alvaro Valcarce,
Mehdi Bennis
Abstract:
We investigate the problem of supporting Industrial Internet of Things user equipment (IIoT UEs) with intent (i.e., requested quality of service (QoS)) and random traffic arrival. A deep reinforcement learning (DRL) based centralized dynamic scheduler for time-frequency resources is proposed to learn how to schedule the available communication resources among the IIoT UEs. The proposed scheduler l…
▽ More
We investigate the problem of supporting Industrial Internet of Things user equipment (IIoT UEs) with intent (i.e., requested quality of service (QoS)) and random traffic arrival. A deep reinforcement learning (DRL) based centralized dynamic scheduler for time-frequency resources is proposed to learn how to schedule the available communication resources among the IIoT UEs. The proposed scheduler leverages an RL framework to adapt to the dynamic changes in the wireless communication system and traffic arrivals. Moreover, a graph-based reduction scheme is proposed to reduce the state and action space of the RL framework to allow fast convergence and a better learning strategy. Simulation results demonstrate the effectiveness of the proposed intelligent scheduler in guaranteeing the expressed intent of IIoT UEs compared to several traditional scheduling schemes, such as round-robin, semi-static, and heuristic approaches. The proposed scheduler also outperforms the contention-free and contention-based schemes in maximizing the number of successfully computed tasks.
△ Less
Submitted 27 March, 2024;
originally announced March 2024.
-
Unsupervised Discovery of Clinical Disease Signatures Using Probabilistic Independence
Authors:
Thomas A. Lasko,
John M. Still,
Thomas Z. Li,
Marco Barbero Mota,
William W. Stead,
Eric V. Strobl,
Bennett A. Landman,
Fabien Maldonado
Abstract:
Insufficiently precise diagnosis of clinical disease is likely responsible for many treatment failures, even for common conditions and treatments. With a large enough dataset, it may be possible to use unsupervised machine learning to define clinical disease patterns more precisely. We present an approach to learning these patterns by using probabilistic independence to disentangle the imprint on…
▽ More
Insufficiently precise diagnosis of clinical disease is likely responsible for many treatment failures, even for common conditions and treatments. With a large enough dataset, it may be possible to use unsupervised machine learning to define clinical disease patterns more precisely. We present an approach to learning these patterns by using probabilistic independence to disentangle the imprint on the medical record of causal latent sources of disease. We inferred a broad set of 2000 clinical signatures of latent sources from 9195 variables in 269,099 Electronic Health Records. The learned signatures produced better discrimination than the original variables in a lung cancer prediction task unknown to the inference algorithm, predicting 3-year malignancy in patients with no history of cancer before a solitary lung nodule was discovered. More importantly, the signatures' greater explanatory power identified pre-nodule signatures of apparently undiagnosed cancer in many of those patients.
△ Less
Submitted 8 February, 2024;
originally announced February 2024.
-
An inhomogeneous controlled branching process
Authors:
Miguel González,
Carmen Minuesa,
Manuel Mota,
Inés del Puerto,
Alfonso Ramos
Abstract:
A discrete time branching process where the offspring distribution is generation-dependent, and the number of reproductive individuals is controlled by a random mechanism is considered. This model is a Markov chain but, in general, the transition probabilities are non-stationary. Under not too restrictive hypotheses, this model presents the classical duality of branching processes: either becomes…
▽ More
A discrete time branching process where the offspring distribution is generation-dependent, and the number of reproductive individuals is controlled by a random mechanism is considered. This model is a Markov chain but, in general, the transition probabilities are non-stationary. Under not too restrictive hypotheses, this model presents the classical duality of branching processes: either becomes extinct almost surely or grows to infinity. Sufficient conditions for the almost sure extinction and for a positive probability of indefinite growth are provided. Finally rates of growth of the process provided the non-extinction are studied.
△ Less
Submitted 29 January, 2024;
originally announced January 2024.
-
Emergent Communication Protocol Learning for Task Offloading in Industrial Internet of Things
Authors:
Salwa Mostafa,
Mateus P. Mota,
Alvaro Valcarce,
Mehdi Bennis
Abstract:
In this paper, we leverage a multi-agent reinforcement learning (MARL) framework to jointly learn a computation offloading decision and multichannel access policy with corresponding signaling. Specifically, the base station and industrial Internet of Things mobile devices are reinforcement learning agents that need to cooperate to execute their computation tasks within a deadline constraint. We ad…
▽ More
In this paper, we leverage a multi-agent reinforcement learning (MARL) framework to jointly learn a computation offloading decision and multichannel access policy with corresponding signaling. Specifically, the base station and industrial Internet of Things mobile devices are reinforcement learning agents that need to cooperate to execute their computation tasks within a deadline constraint. We adopt an emergent communication protocol learning framework to solve this problem. The numerical results illustrate the effectiveness of emergent communication in improving the channel access success rate and the number of successfully computed tasks compared to contention-based, contention-free, and no-communication approaches. Moreover, the proposed task offloading policy outperforms remote and local computation baselines.
△ Less
Submitted 23 January, 2024;
originally announced January 2024.
-
Phase portraits for quadratic systems possessing an infinite elliptic-saddle or an infinite nilpotent saddle
Authors:
Joan C. Artés,
Marcos C. Mota,
Alex C. Rezende
Abstract:
This paper presents a global study of the class $\bf{Q}{\widehat{ES}}$ of all real quadratic polynomial differential systems possessing exactly one elemental infinite singular point and one triple infinite singular point, which is either an infinite nilpotent elliptic-saddle or a nilpotent saddle. This class can be divided into three different families, namely, $\bf{Q}{{\widehat{ES}(A)}}$ of phase…
▽ More
This paper presents a global study of the class $\bf{Q}{\widehat{ES}}$ of all real quadratic polynomial differential systems possessing exactly one elemental infinite singular point and one triple infinite singular point, which is either an infinite nilpotent elliptic-saddle or a nilpotent saddle. This class can be divided into three different families, namely, $\bf{Q}{{\widehat{ES}(A)}}$ of phase portraits possessing three real finite singular points, $\bf{Q}{{\widehat{ES}(B)}}$ of phase portraits possessing one real and two complex finite singular points, and $\bf{Q}{{\widehat{ES}(C)}}$ of phase portraits possessing one real triple finite singular point. Here we provide the complete study of the geometry of these three families. Modulo the action of the affine group and time homotheties, families $\bf{Q}{{\widehat{ES}(A)}}$ and $\bf{Q}{{\widehat{ES}(B)}}$ are three-dimensional and family $\bf{Q}{{\widehat{ES}(C)}}$ is two-dimensional. We study the respective bifurcation diagrams of their closures with respect to specific normal forms, in subsets of real Euclidean spaces. The bifurcation diagram of family $\bf{Q}{{\widehat{ES}(A)}}$ (respectively, $\bf{Q}{{\widehat{ES}(B)}}$ and $\bf{Q}{{\widehat{ES}(C)}}$) yields 1274 (respectively, 89 and 14) subsets with 91 (respectively, 27 and 12) topologically distinct phase portraits for systems in the closure $\overline{\bf{Q}{{\widehat{ES}(A)}}}$ (respectively, $\overline{\bf{Q}{{\widehat{ES}(B)}}}$ and $\overline{\bf{Q}{{\widehat{ES}(C)}}}$) within the representatives of $\bf{Q}{{\widehat{ES}(A)}}$ (respectively, $\bf{Q}{{\widehat{ES}(B)}}$ and $\bf{Q}{{\widehat{ES}(C)}}$) given by a specific normal form.
△ Less
Submitted 9 April, 2024; v1 submitted 2 December, 2023;
originally announced December 2023.
-
On the Consistency Strength of MM($ω_1$)
Authors:
Natasha Dobrinen,
John Krueger,
Pedro Marun,
Miguel Angel Mota,
**drich 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.
-
Explanation-by-Example Based on Item Response Theory
Authors:
Lucas F. F. Cardoso,
José de S. Ribeiro,
Vitor C. A. Santos,
Raíssa L. Silva,
Marcelle P. Mota,
Ricardo B. C. Prudêncio,
Ronnie C. O. Alves
Abstract:
Intelligent systems that use Machine Learning classification algorithms are increasingly common in everyday society. However, many systems use black-box models that do not have characteristics that allow for self-explanation of their predictions. This situation leads researchers in the field and society to the following question: How can I trust the prediction of a model I cannot understand? In th…
▽ More
Intelligent systems that use Machine Learning classification algorithms are increasingly common in everyday society. However, many systems use black-box models that do not have characteristics that allow for self-explanation of their predictions. This situation leads researchers in the field and society to the following question: How can I trust the prediction of a model I cannot understand? In this sense, XAI emerges as a field of AI that aims to create techniques capable of explaining the decisions of the classifier to the end-user. As a result, several techniques have emerged, such as Explanation-by-Example, which has a few initiatives consolidated by the community currently working with XAI. This research explores the Item Response Theory (IRT) as a tool to explaining the models and measuring the level of reliability of the Explanation-by-Example approach. To this end, four datasets with different levels of complexity were used, and the Random Forest model was used as a hypothesis test. From the test set, 83.8% of the errors are from instances in which the IRT points out the model as unreliable.
△ Less
Submitted 4 October, 2022;
originally announced October 2022.
-
Scalable Joint Learning of Wireless Multiple-Access Policies and their Signaling
Authors:
Mateus P. Mota,
Alvaro Valcarce,
Jean-Marie Gorce
Abstract:
In this paper, we apply an multi-agent reinforcement learning (MARL) framework allowing the base station (BS) and the user equipments (UEs) to jointly learn a channel access policy and its signaling in a wireless multiple access scenario. In this framework, the BS and UEs are reinforcement learning (RL) agents that need to cooperate in order to deliver data. The comparison with a contention-free a…
▽ More
In this paper, we apply an multi-agent reinforcement learning (MARL) framework allowing the base station (BS) and the user equipments (UEs) to jointly learn a channel access policy and its signaling in a wireless multiple access scenario. In this framework, the BS and UEs are reinforcement learning (RL) agents that need to cooperate in order to deliver data. The comparison with a contention-free and a contention-based baselines shows that our framework achieves a superior performance in terms of goodput even in high traffic situations while maintaining a low collision rate. The scalability of the proposed method is studied, since it is a major problem in MARL and this paper provides the first results in order to address it.
△ Less
Submitted 8 June, 2022;
originally announced June 2022.
-
Near unity Raman $β$-factor of surface enhanced Raman scattering in a waveguide
Authors:
Ming Fu,
Mónica P. dS. P. Mota,
Xiaofei Xiao,
Andrea Jacassi,
Nicholas A. Güsken,
Yi Li,
Ahad Riaz,
Stefan A. Maier,
Rupert F. Oulton
Abstract:
The Raman scattering of light by molecular vibrations offers a powerful technique to 'fingerprint' molecules via their internal bonds and symmetries. Since Raman scattering is weak, methods to enhance, direct and harness it are highly desirable, e.g. through the use of optical cavities, waveguides, and surface enhanced Raman scattering (SERS). While SERS offers dramatic enhancements by localizing…
▽ More
The Raman scattering of light by molecular vibrations offers a powerful technique to 'fingerprint' molecules via their internal bonds and symmetries. Since Raman scattering is weak, methods to enhance, direct and harness it are highly desirable, e.g. through the use of optical cavities, waveguides, and surface enhanced Raman scattering (SERS). While SERS offers dramatic enhancements by localizing light within vanishingly small 'hot-spots' in metallic nanostructures, these tiny interaction volumes are only sensitive to few molecules, yielding weak signals that are difficult to detect. Here, we show that SERS from 4-Aminothiophenol (4-ATP) molecules bonded to a plasmonic gap waveguide is directed into a single mode with >99% efficiency. Although sacrificing a confinement dimension, we find 10$^4$ times SERS enhancement across a broad spectral range enabled by the waveguide's larger sensing volume and non-resonant mode. Remarkably, the waveguide-SERS (W-SERS) is bright enough to image Raman transport across the waveguides exposing the roles of nanofocusing and the Purcell effect. Emulating the $β$-factor from laser physics, the near unity Raman $β$-factor observed exposes the SERS technique in a new light and points to alternative routes to controlling Raman scattering. The ability of W-SERS to direct Raman scattering is relevant to Raman sensors based on integrated photonics with applications in gas and bio-sensing as well as healthcare.
△ Less
Submitted 22 February, 2022; v1 submitted 22 December, 2021;
originally announced December 2021.
-
The Emergence of Wireless MAC Protocols with Multi-Agent Reinforcement Learning
Authors:
Mateus P. Mota,
Alvaro Valcarce,
Jean-Marie Gorce,
Jakob Hoydis
Abstract:
In this paper, we propose a new framework, exploiting the multi-agent deep deterministic policy gradient (MADDPG) algorithm, to enable a base station (BS) and user equipment (UE) to come up with a medium access control (MAC) protocol in a multiple access scenario. In this framework, the BS and UEs are reinforcement learning (RL) agents that need to learn to cooperate in order to deliver data. The…
▽ More
In this paper, we propose a new framework, exploiting the multi-agent deep deterministic policy gradient (MADDPG) algorithm, to enable a base station (BS) and user equipment (UE) to come up with a medium access control (MAC) protocol in a multiple access scenario. In this framework, the BS and UEs are reinforcement learning (RL) agents that need to learn to cooperate in order to deliver data. The network nodes can exchange control messages to collaborate and deliver data across the network, but without any prior agreement on the meaning of the control messages. In such a framework, the agents have to learn not only the channel access policy, but also the signaling policy. The collaboration between agents is shown to be important, by comparing the proposed algorithm to ablated versions where either the communication between agents or the central critic is removed. The comparison with a contention-free baseline shows that our framework achieves a superior performance in terms of goodput and can effectively be used to learn a new protocol.
△ Less
Submitted 17 August, 2021; v1 submitted 16 August, 2021;
originally announced August 2021.
-
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.
-
Low-Rank Tensor MMSE Equalization
Authors:
Lucas N. Ribeiro,
André L. F. de Almeida,
João C. M. Mota
Abstract:
New-generation wireless communication systems will employ large-scale antenna arrays to satisfy the increasing capacity demand. This massive scenario brings new challenges to the channel equalization problem due to the increased signal processing complexity. We present a novel low-rank tensor equalizer to tackle the high computational demands of the classical linear approach. Specifically, we prop…
▽ More
New-generation wireless communication systems will employ large-scale antenna arrays to satisfy the increasing capacity demand. This massive scenario brings new challenges to the channel equalization problem due to the increased signal processing complexity. We present a novel low-rank tensor equalizer to tackle the high computational demands of the classical linear approach. Specifically, we propose a method to design a canonical polyadic tensor filter to minimize the mean square error criterion. Our simulation results indicate that the proposed equalizer needs fewer calculations and is more robust to short training sequences than the benchmark.
△ Less
Submitted 17 December, 2019;
originally announced December 2019.
-
Adaptive Modulation and Coding based on Reinforcement Learning for 5G Networks
Authors:
Mateus P. Mota,
Daniel C. Araujo,
Francisco Hugo Costa Neto,
Andre L. F. de Almeida,
F. Rodrigo P. Cavalcanti
Abstract:
We design a self-exploratory reinforcement learning (RL) framework, based on the Q-learning algorithm, that enables the base station (BS) to choose a suitable modulation and coding scheme (MCS) that maximizes the spectral efficiency while maintaining a low block error rate (BLER). In this framework, the BS chooses the MCS based on the channel quality indicator (CQI) reported by the user equipment…
▽ More
We design a self-exploratory reinforcement learning (RL) framework, based on the Q-learning algorithm, that enables the base station (BS) to choose a suitable modulation and coding scheme (MCS) that maximizes the spectral efficiency while maintaining a low block error rate (BLER). In this framework, the BS chooses the MCS based on the channel quality indicator (CQI) reported by the user equipment (UE). A transmission is made with the chosen MCS and the results of this transmission are converted by the BS into rewards that the BS uses to learn the suitable map** from CQI to MCS. Comparing with a conventional fixed look-up table and the outer loop link adaptation, the proposed framework achieves superior performance in terms of spectral efficiency and BLER.
△ Less
Submitted 25 November, 2019;
originally announced December 2019.
-
Low-complexity separable beamformers for massive antenna array systems
Authors:
Lucas N. Ribeiro,
André L. F. de Almeida,
Josef A. Nossek,
João César M. Mota
Abstract:
Future cellular systems will likely employ massive bi-dimensional arrays to improve performance by large array gain and more accurate spatial filtering, motivating the design of low-complexity signal processing methods. We propose optimising a Kronecker-separable beamforming filter that takes advantage of the bi-dimensional array geometry to reduce computational costs. The Kronecker factors are ob…
▽ More
Future cellular systems will likely employ massive bi-dimensional arrays to improve performance by large array gain and more accurate spatial filtering, motivating the design of low-complexity signal processing methods. We propose optimising a Kronecker-separable beamforming filter that takes advantage of the bi-dimensional array geometry to reduce computational costs. The Kronecker factors are obtained using two strategies: alternating optimisation, and sub-array minimum mean square error beamforming with Tikhonov regularization. According to the simulation results, the proposed methods are computationally efficient but come with source recovery degradation, which becomes negligible when the sources are sufficiently separated in space.
△ Less
Submitted 25 January, 2019; v1 submitted 30 April, 2018;
originally announced May 2018.
-
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.
-
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.
-
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.
-
Time to Extinction in Subcritical Two-Sex Branching Processes
Authors:
David M. Hall,
Manuel Mota,
George P. Yanev
Abstract:
Lower and upper bounds for the cumulative distribution function (cdf) of the time to extinction in a subcritical two-sex branching process are derived. A recursive procedure for approximating this cdf is also utilized. The results are illustrated with some simulations.
Lower and upper bounds for the cumulative distribution function (cdf) of the time to extinction in a subcritical two-sex branching process are derived. A recursive procedure for approximating this cdf is also utilized. The results are illustrated with some simulations.
△ Less
Submitted 3 November, 2013;
originally announced November 2013.
-
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.
-
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.
-
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.
-
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.
-
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.