Related papers: Mathias and Silver forcing parametrized by density
Data sets for fairness relevant tasks can lack examples or be biased according to a specific label in a sensitive attribute. We demonstrate the usefulness of weight based meta-learning approaches in such situations. For models that can be…
We introduce an iteration of forcing notions satisfying the countable chain condition with minimal damage to a strong coloring. Applying this method, we prove that Martin's axiom is strictly stronger than its restriction to forcing notions…
This paper investigates a well-posedness property of parametric constraint systems named here Robinson stability. Based on advanced tools of variational analysis and generalized differentiation, we derive first-order and second-order…
Recent studies showed that hardness, a complex property, can be calculated using very simple approaches or even analytical formulae. These form the basis for evaluating controversial experimental results (as we illustrate for…
In this paper we consider the structure of $\omega$-limit sets in subshifts of Baire space. We consider both subshifts of finite type and subshifts of bounded type and we demonstrate that many classical structure theorems for $\omega$-limit…
Starting from an action for discretized gravity we derive a canonical formalism that exactly reproduces the dynamics and (broken) symmetries of the covariant formalism. For linearized Regge calculus on a flat background -- which exhibits…
With every $\sigma$-ideal $I$ on a Polish space we associate the $\sigma$-ideal $I^*$ generated by the closed sets in $I$. We study the forcing notions of Borel sets modulo the respective $\sigma$-ideals $I$ and $I^*$ and find connections…
Given a dynamical system, a characteristic measure is a Borel probability measure invariant under all of its automorphisms. Frisch and Tamuz asked if every symbolic system supports such a measure. Motivated by this problem, we study the…
Metallic ferromagnetism is in general an intermediate to strong coupling phenomenon. Since there do not exist systematic analytic methods to investigate such types of problems, the microscopic origin of metallic ferromagnetism is still not…
We propose a new parametrization of the deceleration parameter to study its time-variation behavior. The advantage of parameterizing the deceleration parameter is that we do not need to assume any underlying theory of gravity. By fitting…
We have studied the dependence of metal oxide properties in molecular dynamics (MD) simulations on the polarizability of oxygen ions. We present studies of both liquid and crystalline structures of silica (SiO2), magnesia (MgO) and alumina…
In the first part of this paper, we consider several natural axioms in urelement set theory, including the Collection Principle, the Reflection Principle, the Dependent Choice scheme and its generalizations, as well as other axioms…
We carry out a dynamical analysis of first order perturbations for Cold Dark Matter, $\Lambda$ Cold Dark Matter, and a couple of Modified Gravity models using the Parametrized Post-Friedmann formalism. We use normalized variables to set the…
We show that the forcing axiom for countably compact, $\omega_2$-Knaster, well-met posets is inconsistent. This is supplemental to an inconsistency result of Shelah and sets a new limit to the generalization of Martin's Axiom to the stage…
We use virial series to study the equilibrium properties of confined soft-spheres fluids interacting through the inverse-power potentials. The confinement is induced by hard walls with planar, spherical and cylindrical shapes. We evaluate…
In this article, we examine the theorem of Mattila establishing rectifiability for regular sets in the setting of strictly convex, finite-dimensional Banach spaces.
Henle, Mathias, and Woodin proved that, provided that $\omega\rightarrow(\omega)^{\omega}$ holds in a model $M$ of ZF, then forcing with $([\omega]^{\omega},\subseteq^*)$ over $M$ adds no new sets of ordinals, thus earning the name a…
Long range magnetic ordering in the quasi-one-dimensional random-bond antiferromagnet BaCu$_2$(Si$_{1-x}$Ge$_{x}$)$_2$O$_7$ is studied in $\mu$SR experiments as a function of disorder strength. Compared to the disorder-free parent…
We give a forcing construction of the square principle on omega_1 using forcing with conditions whose domain is finite.
The main result of this paper is a partial answer to [math.LO/9909115, Problem 5.5]: a finite iteration of Universal Meager forcing notions adds generic filters for many forcing notions determined by universality parameters. We also give…