On the consistency strength of level by level inequivalence

2017 ◽  
Vol 56 (7-8) ◽  
pp. 715-723
Author(s):  
Arthur W. Apter
Keyword(s):  
2020 ◽  
pp. 1901815
Author(s):  
Thomas A. Wills ◽  
Samir S. Soneji ◽  
Kelvin Choi ◽  
Ilona Jaspers ◽  
Elizabeth K. Tam

BackgroundUse of electronic cigarettes (e-cigarettes) is prevalent among adolescents and young adults but there has been limited knowledge about health consequences in human populations. We conduct a systematic review and meta-analysis of results on respiratory disorder from studies of general-population samples and consider the mapping of these results to findings about biological processes linked to e-cigarettes in controlled laboratory studies.MethodWe conduct a literature search and meta-analysis of epidemiological studies on the association of e-cigarette use with asthma and with chronic obstructive pulmonary disease (COPD). We then discuss findings from laboratory studies about effects of e-cigarettes on four biological processes: cytotoxicity, oxidative stress/inflammation, susceptibility to infection, and genetic expression.ResultsEpidemiological studies, both cross-sectional and longitudinal, show a significant association of e-cigarette use with asthma and COPD, controlling for cigarette smoking and other covariates. For asthma (n=15 studies), the pooled adjusted odds ratio (AOR) was 1.39 (CI 1.28–1.51); for COPD (n=9 studies) the AOR was 1.49 (CI 1.36–1.65). Laboratory studies consistently show an effect of e-cigarettes on biological processes related to respiratory harm and susceptibility to illness, with e-cigarette conditions differing significantly from clean-air controls though sometimes less than for cigarettes.ConclusionsThe evidence from epidemiological studies meets established criteria for consistency, strength of effect, temporality, and in some cases a dose-response gradient. Biological plausibility is indicated by evidence from multiple laboratory studies. We conclude that e-cigarette use has consequences for asthma and COPD, which is of significant concern for respirology and public health.


2019 ◽  
Vol 85 (1) ◽  
pp. 338-366 ◽  
Author(s):  
JUAN P. AGUILERA ◽  
SANDRA MÜLLER

AbstractWe determine the consistency strength of determinacy for projective games of length ω2. Our main theorem is that $\Pi _{n + 1}^1 $-determinacy for games of length ω2 implies the existence of a model of set theory with ω + n Woodin cardinals. In a first step, we show that this hypothesis implies that there is a countable set of reals A such that Mn (A), the canonical inner model for n Woodin cardinals constructed over A, satisfies $$A = R$$ and the Axiom of Determinacy. Then we argue how to obtain a model with ω + n Woodin cardinal from this.We also show how the proof can be adapted to investigate the consistency strength of determinacy for games of length ω2 with payoff in $^R R\Pi _1^1 $ or with σ-projective payoff.


2018 ◽  
Vol 83 (04) ◽  
pp. 1512-1538 ◽  
Author(s):  
CHRIS LAMBIE-HANSON ◽  
PHILIPP LÜCKE

AbstractWith the help of various square principles, we obtain results concerning the consistency strength of several statements about trees containing ascent paths, special trees, and strong chain conditions. Building on a result that shows that Todorčević’s principle $\square \left( {\kappa ,\lambda } \right)$ implies an indexed version of $\square \left( {\kappa ,\lambda } \right)$, we show that for all infinite, regular cardinals $\lambda < \kappa$, the principle $\square \left( \kappa \right)$ implies the existence of a κ-Aronszajn tree containing a λ-ascent path. We then provide a complete picture of the consistency strengths of statements relating the interactions of trees with ascent paths and special trees. As a part of this analysis, we construct a model of set theory in which ${\aleph _2}$-Aronszajn trees exist and all such trees contain ${\aleph _0}$-ascent paths. Finally, we use our techniques to show that the assumption that the κ-Knaster property is countably productive and the assumption that every κ-Knaster partial order is κ-stationarily layered both imply the failure of $\square \left( \kappa \right)$.


2011 ◽  
Vol 76 (2) ◽  
pp. 541-560 ◽  
Author(s):  
Victoria Gitman ◽  
P. D. Welch

AbstractThis paper continues the study of the Ramsey-like large cardinals introduced in [5] and [14]. Ramsey-like cardinals are defined by generalizing the characterization of Ramsey cardinals via the existence of elementary embeddings. Ultrafilters derived from such embeddings are fully iterable and so it is natural to ask about large cardinal notions asserting the existence of ultrafilters allowing only α-many iterations for some countable ordinal α. Here we study such α-iterable cardinals. We show that the α-iterable cardinals form a strict hierarchy for α ≤ ω1, that they are downward absolute to L for , and that the consistency strength of Schindler's remarkable cardinals is strictly between 1-iterable and 2-iterable cardinals.We show that the strongly Ramsey and super Ramsey cardinals from [5] are downward absolute to the core model K. Finally, we use a forcing argument from a strongly Ramsey cardinal to separate the notions of Ramsey and virtually Ramsey cardinals. These were introduced in [14] as an upper bound on the consistency strength of the Intermediate Chang's Conjecture.


2008 ◽  
Vol 73 (4) ◽  
pp. 1307-1314
Author(s):  
James Cummings ◽  
Sy-David Friedman

AbstractWe give upper and lower bounds for the consistency strength of the failure of a combinatorial principle introduced by Jensen. Square on singular cardinals.


1999 ◽  
Vol 64 (4) ◽  
pp. 1527-1551 ◽  
Author(s):  
Moti Gitik ◽  
Saharon Shelah

AbstractWe give some general criteria, when κ-complete forcing preserves largeness properties—like κ-presaturation of normal ideals on λ (even when they concentrate on small cofinalities). Then we quite accurately obtain the consistency strength “NSλ is αi-preserving”, for λ > α2.


1989 ◽  
Vol 54 (2) ◽  
pp. 540-552 ◽  
Author(s):  
Akihiro Kanamori

Several rather concrete propositions about Borel measurable functions of several variables on the Hilbert cube (countable sequences of reals in the unit interval) were formulated by Harvey Friedman [F1] and correlated with strong set-theoretic hypotheses. Most notably, he established that a “Borel diagonalization” proposition P is equivalent to: for any a ⊆ co and n ⊆ ω there is an ω-model of ZFC + ∃κ(κ is n-Mahlo) containing a. In later work (see the expository Stanley [St] and Friedman [F2]), Friedman was to carry his investigations further into propositions about spaces of groups and the like, and finite propositions. He discovered and analyzed mathematical propositions which turned out to have remarkably strong consistency strength in terms of large cardinal hypotheses in set theory.In this paper, we refine and extend Friedman's work on the Borel diagonalization proposition P. First, we provide more combinatorics about regressive partitions and n-Mahlo cardinals and extend the approach to the context of the Erdös cardinals In passing, a combinatorial proof of a well-known result of Silver about these cardinals is given. Incorporating this work and sharpening Friedman's proof, we then show that there is a level-by-level analysis of P which provides for each n ⊆ ω a proposition almost equivalent to: for any a ⊆ co there is an ω-model of ZFC + ∃κ(κ is n-Mahlo) containing a. Finally, we use the combinatorics to bracket a natural generalization Sω of P between two large cardinal hypotheses.


2012 ◽  
Vol 583 ◽  
pp. 154-157 ◽  
Author(s):  
Jarosław Rajczyk ◽  
Bogdan Langier

Modern concrete technology requires the use of a large scale of different types of additives that modify the concrete’s properties of features. Often, complicated technical conditions impose the usage of concretes with certain properties. One such example is a mixture transported by gravitational methods using rain gutters. In this situation, it is required to have a concrete mixture that has a high degree of fluidity and does not undergo segregation, sedimentation or other modification of uniformity while in transit. When placing the additional requirement that the concrete must have a high water resistance; bentonites may be particularly useful. This paper presents the results of mechanical and physical properties of concrete with different concentrations of ground sodium bentonite. The particle size being from 30 to 60 nm was added as a dry ingredient together with the aggregate at 1, 2, 3 and 4% by weight of the cement. The ground sodium bentonite demonstrated significant changes in the characteristics of the fresh and hardened concrete, such as: consistency, strength and the amount of capillary pressure.


Sign in / Sign up

Export Citation Format

Share Document