English
Related papers

Related papers: Namba forcing, weak approximation, and guessing

200 papers

We establish bounds for the measure of deviation sets associated to continuous observables with respect to not necessarily invariant weak Gibbs measures. Under some mild assumptions, we obtain upper and lower bounds for the measure of…

Dynamical Systems · Mathematics 2011-10-27 Paulo Varandas

The aim of this article is to refine a weak invariance principle for stationary sequences given by Doukhan & Louhichi (1999). Since our conditions are not causal our assumptions need to be stronger than the mixing and causal $\theta$-weak…

Statistics Theory · Mathematics 2007-09-19 Paul Doukhan , Olivier Wintenberger

Causal effect estimation has been studied by many researchers when only observational data is available. Sound and complete algorithms have been developed for pointwise estimation of identifiable causal queries. For non-identifiable causal…

Machine Learning · Statistics 2023-06-26 Ziwei Jiang , Lai Wei , Murat Kocaoglu

We deal with an iteration theorem of forcing notion with a kind of countable support of nice enough forcing notion which is proper aleph_2-c.c. forcing notions. We then look at some special cases (Q_D 's preceded by random forcing).

Logic · Mathematics 2007-05-23 Saharon Shelah

This paper explores the consistency strength of The Proper Forcing Axiom ($\textsf{PFA}$) and the theory (T) which involves a variation of the Viale-Wei$\ss$ guessing hull principle. We show that (T) is consistent relative to a supercompact…

Logic · Mathematics 2016-08-23 Nam Trang

Weak-to-strong generalization is a phenomenon in post-training whereby a strong student model, when finetuned solely with feedback from a weaker teacher, can not only surpass the teacher, but can improve upon its own capabilities. Recent…

Machine Learning · Computer Science 2026-05-08 Scott Geng , Dutch Hansen , Jerry Li

We demonstrate that the Weak Gravity Conjecture (WGC) and the Festina-Lente Conjecture (FLC) yield novel bounds on fifth force searches and milli-Charged Particles (mCPs), as well as on the scale of inflation and on the effective Higgs…

High Energy Physics - Phenomenology · Physics 2026-03-18 Fayez Abu-Ajamieh , Pratik Chattopadhyay , Nobuchika Okada , Roman Pasechnik , Zhi-Wei Wang

We present a version with non-definable forcing notions of Shelah's theory of iterated forcing along a template. Our main result, as an application, is that, if $\kappa$ is a measurable cardinal and $\theta<\kappa<\mu<\lambda$ are…

Logic · Mathematics 2015-06-23 Diego Alejandro Mejía

Various theorems for the preservation of set-theoretic axioms under forcing are proved, regarding both forcing axioms and axioms true in the Levy-Collapse. These show in particular that certain applications of forcing axioms require to add…

Logic · Mathematics 2007-05-23 Bernhard Koenig

Let $S$ be a Scott set, or even an $\omega$-model of $\mathsf{WWKL}$. Then for each $A\in S$, either there is $X \in S$ that is weakly 2-random relative to $A$, or there is $X\in S$ that is 1-generic relative to $A$. It follows that if…

Logic · Mathematics 2017-11-02 Linda Brown Westrick

We develop a toolbox for forcing over arbitrary models of set theory without the axiom of choice. In particular, we introduce a variant of the countable chain condition and prove an iteration theorem that applies to many classical forcings…

Logic · Mathematics 2023-01-02 Daisuke Ikegami , Philipp Schlicht

Bayesian modelling of dynamic systems must achieve a compromise between providing a complete mechanistic specification of the process while retaining the flexibility to handle those situations in which data is sparse relative to model…

Machine Learning · Statistics 2018-11-02 Daniel J. Tait , Bruce J. Worton

We give some sufficient and necessary conditions on a forcing notion Q for preserving the forcing notion ([omega]^{aleph_0},supseteq^*) is proper. They cover many reasonable forcing notions.

Logic · Mathematics 2018-01-16 Saharon Shelah

The forcing theorem is the most fundamental result about set forcing, stating that the forcing relation for any set forcing is definable and that the truth lemma holds, that is everything that holds in a generic extension is forced by a…

Logic · Mathematics 2017-10-31 Peter Holy , Regula Krapf , Philipp Lücke , Ana Njegomir , Philipp Schlicht

Causal effect estimation from observational data is an important and much studied research topic. The instrumental variable (IV) and local causal discovery (LCD) patterns are canonical examples of settings where a closed-form expression…

Machine Learning · Statistics 2018-09-19 Ioan Gabriel Bucur , Tom Claassen , Tom Heskes

Weak convergence of the empirical copula process is shown to hold under the assumption that the first-order partial derivatives of the copula exist and are continuous on certain subsets of the unit hypercube. The assumption is…

Statistics Theory · Mathematics 2012-07-06 Johan Segers

The coalgebraic modelling of alternating automata and of probabilistic automata has long been obstructed by the absence of distributive laws of the powerset monad over itself, respectively of the powerset monad over the finite distribution…

Logic in Computer Science · Computer Science 2020-10-05 Alexandre Goy , Daniela Petrisan

We study the weak equivalence principle in the context of modified dispersion relations, a prevalent approach to quantum gravity phenomenology. We find that generic modified dispersion relations violate the weak equivalence principle. The…

General Relativity and Quantum Cosmology · Physics 2024-11-19 Manuel Hohmann , Christian Pfeifer , Fabian Wagner

We propose the almost-geodesic motion of self-gravitating test bodies as a possible selection rule among metric theories of gravity. Starting from a heuristic statement, the "gravitational weak equivalence principle", we build a formal,…

General Relativity and Quantum Cosmology · Physics 2014-04-14 Eolo Di Casola , Stefano Liberati , Sebastiano Sonego

We introduce and consider the inner-model reflection principle, which asserts that whenever a statement $\varphi(a)$ in the first-order language of set theory is true in the set-theoretic universe $V$, then it is also true in a proper inner…