Related papers: Mathias and Silver forcing parametrized by density
The increasing richness of data related to cold dense matter, from laboratory experiments to neutron-star observations, requires a framework for constraining the properties of such matter that makes use of all relevant information. Here, we…
We demonstrate in this paper that atomic force microscopy can be successfully used to gain further insights into the understanding of transformation toughening in ceria stabilized zirconia. Transformation was induced by stresses accumulated…
The ability to control the magnetic state provides a powerful means to tune the underlying band topology, enabling transitions between distinct electronic phases and the emergence of novel quantum phenomena. In this work, we address the…
The major goal of this paper is to study the second order frequentist properties of the marginal posterior distribution of the parametric component in semiparametric Bayesian models, in particular, a second order semiparametric…
We introduce a method of constructing a forcing along a simplified $(\kappa,1)$-morass such that the forcing satisfies the $\kappa$-chain condition. Alternatively, this may be seen as a method to thin out a larger forcing to get a chain…
In this article, we try to complete the regularity implications between the regularitites of the well-known tree forcing notions at the $\boldsymbol{\Delta}^1_2$ level of the projective hierarchy. The missing links in this case were the…
It is well known that pretameness implies the forcing theorem, and that pretameness is characterized by the preservation of the axioms of $\mathsf{ZF}^-$, that is $\mathsf{ZF}$ without the power set axiom, or equivalently, by the…
We provide a study of the phenomenology of orbifold compactifications of the heterotic string within the context of supergravity effective theories. Our investigation focuses on those models where the soft Lagrangian is dominated by loop…
We investigate families of partitions of omega which are related to special coideals, so-called happy families, and give a dual form of Ramsey ultrafilters in terms of partitions. The combinatorial properties of these…
We introduce Strong Measuring, a maximal strengthening of J. T. Moore's Measuring principle, which asserts that every collection of fewer than continuum many closed bounded subsets of $\omega_1$ is measured by some club subset of…
Constraining the equation of state of cold dense matter in compact stars is a major science goal for observing programmes being conducted using X-ray, radio, and gravitational wave telescopes. We discuss Bayesian hierarchical inference of…
The question of naturalness is addressed in the context of gauge-mediated supersymmetry breaking models. Requiring that $M_Z$ arises naturally imposes upper limits on the right-handed selectron mass in these models that are stronger than in…
We study Baire category for subsets of 2^omega that are downward-closed with respect to the almost-inclusion ordering (on the power set of the natural numbers, identified with 2^omega). We show that it behaves better in this context than…
Motivated by the forensic problem of determining the strength of evidence of a continuously distributed measurement of evidence, in the situation of composite hypotheses of the prosecutor and the defence concerning a parameter of a…
We present a systematic study of the method of "norms on possibilities" of building forcing notions with keeping their properties under full control. This technique allows us to answer several open problems, but on our way to get the…
Mixtures of Fe and Cu powders are cold-compacted and subsequently deformed with severe plastic deformation by high-pressure torsion, leading to bulk samples. The dilution of Fe in the Cu matrix is investigated with SQUID-magnetometry,…
Let $T$ be a tree with induced partial order $\preceq$. We investigate centered Gaussian processes $X=(X_t)_{t\in T}$ represented as $$ X_t=\sigma(t)\sum_{v \preceq t}\alpha(v)\xi_v $$ for given weight functions $\alpha$ and $\sigma$ on $T$…
Countable tightness may be destroyed by countably closed forcing. We characterize the indestructibility of countable tightness under countably closed forcing by combinatorial statements similar to the ones Tall used to characterize…
We investigate properties of stationary tower forcings and give conditions on stationary towers to derive the universally Baireness of sets of reals in $L(\mathbb{R})$.
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 $\omega_1$ that don't seem to have been considered in the…