Search engine for discovering works of Art, research articles, and books related to Art and Culture
Javascript must be enabled to continue!
Borel Conjecture, dual Borel Conjecture, and other variants of the Borel Conjecture
View through CrossRef
This survey article is about the Borel Conjecture and several variants (which are inspired by the Galvin-Mycielski-Solovay characterization of strong measure zero) such as the dual Borel Conjecture and the Marczewski Borel Conjecture. We discuss their status in various models of ZFC, and provide the values of the cardinal characteristics in Cichoń’s diagram.
In particular, we prove necessary conditions for the (dual) Borel Conjecture, and give a detailed proof of Laver’s theorem that the Borel Conjecture holds in the Laver model and of Carlson’s theorem that the dual Borel Conjecture holds in the Cohen model. Moreover, we give an informal overview of the construction for the model of ZFC in which both the Borel Conjecture and the dual Borel Conjecture hold. We also discuss the notion of very meager (a weakening of strongly meager), and we demonstrate that the (dual) Borel Conjecture is consistent with a projective well-order of the reals.
Title: Borel Conjecture, dual Borel Conjecture, and other variants of the Borel Conjecture
Description:
This survey article is about the Borel Conjecture and several variants (which are inspired by the Galvin-Mycielski-Solovay characterization of strong measure zero) such as the dual Borel Conjecture and the Marczewski Borel Conjecture.
We discuss their status in various models of ZFC, and provide the values of the cardinal characteristics in Cichoń’s diagram.
In particular, we prove necessary conditions for the (dual) Borel Conjecture, and give a detailed proof of Laver’s theorem that the Borel Conjecture holds in the Laver model and of Carlson’s theorem that the dual Borel Conjecture holds in the Cohen model.
Moreover, we give an informal overview of the construction for the model of ZFC in which both the Borel Conjecture and the dual Borel Conjecture hold.
We also discuss the notion of very meager (a weakening of strongly meager), and we demonstrate that the (dual) Borel Conjecture is consistent with a projective well-order of the reals.
Related Results
Bi-Borel reducibility of essentially countable Borel equivalence relations
Bi-Borel reducibility of essentially countable Borel equivalence relations
This note answers a questions from [2] by showing that considered up to Borel reducibility, there are more essentially countable Borel equivalence relations than countable Borel eq...
When Does a Dual Matrix Have a Dual Generalized Inverse?
When Does a Dual Matrix Have a Dual Generalized Inverse?
This paper deals with the existence of various types of dual generalized inverses of dual matrices. New and foundational results on the necessary and sufficient conditions for vari...
Clinical Implications of Germline Predisposition Gene Variants in Patients with Refractory or Relapsed B Acute Lymphoblastic Leukemia
Clinical Implications of Germline Predisposition Gene Variants in Patients with Refractory or Relapsed B Acute Lymphoblastic Leukemia
Objectives:Gene variants are important factors in prognosis of the patients with hematological malignancies. In current study, our team investigate the relationship between blood a...
Hip Stability Parameters with Dual Mobility, Modular Dual Mobility and Fixed Bearing in Total Hip Arthroplasty: an Analytical Evaluation.
Hip Stability Parameters with Dual Mobility, Modular Dual Mobility and Fixed Bearing in Total Hip Arthroplasty: an Analytical Evaluation.
Abstract
Background. Use of dual mobility in total hip arthroplasty has gained popularity due to the ability to reduce dislocation through increased jumping distance and im...
Importance of transcript variants in transcriptome analyses
Importance of transcript variants in transcriptome analyses
Abstract
RNA sequencing (RNA-Seq) has become a widely adopted genome-wide technique for investigating gene expression patterns. However, conventi...
Borel structures and Borel theories
Borel structures and Borel theories
AbstractWe show that there is a complete, consistent Borel theory which has no “Borel model” in the following strong sense: There is no structure satisfying the theory for which th...
Borel canonization of analytic sets with Borel sections
Borel canonization of analytic sets with Borel sections
Kanovei, Sabok and Zapletal asked whether every proper
σ
\sigma
-ideal satisfies the following property: given
E
E
an analytic equivalence relati...
A dichotomy theorem for turbulence
A dichotomy theorem for turbulence
In this note we show:Theorem 1.1. Let G be a Polish group and X a Polish G-space with the induced orbit equivalence relation EG Borel as a subset of X × X. Then exactly one of the ...