English
Related papers

Related papers: Namba forcing, weak approximation, and guessing

200 papers

Let $\Omega$ be a countable infinite product $\Omega^\N$ of copies of the same probability space $\Omega_1$, and let ${\Xi_n}$ be the sequence of the coordinate projection functions from $\Omega$ to $\Omega_1$. Let $\Psi$ be a possibly…

Probability · Mathematics 2014-08-22 Alexander R. Pruss

Nested error regression models are useful tools for analysis of grouped data, especially in the case of small area estimation. This paper suggests a nested error regression model using uncertain random effects in which the random effect in…

Methodology · Statistics 2017-02-28 Shonosuke Sugasawa , Tatsuya Kubokawa

In this paper, we investigate connections between structures present in every generic extension of the universe $V$ and computability theory. We introduce the notion of {\em generic Muchnik reducibility} that can be used to to compare the…

Logic · Mathematics 2014-12-11 Julia Knight , Antonio Montalban , Noah Schweber

This paper explores the well known approximation approach to decide weak bisimilarity of Basic Parallel Processes. We look into how different refinement functions can be used to prove weak bisimilarity decidable for certain subclasses. We…

Formal Languages and Automata Theory · Computer Science 2012-08-15 Piotr Hofman , Patrick Totzke

We prove that certain triangulated categories are (weakly) approximable in the sense of A. Neeman. We prove that a triangulated $C$ that is compactly generated by a single object $G$ is weakly approximable if $C(G,G[i])=0$ for $i>1$ (we say…

K-Theory and Homology · Mathematics 2019-07-23 Mikhail V. Bondarko , Sergei V. Vostokov

The equivariant Tamagawa number conjecture (hereinafter called the eTNC) predicts close relationships between algebraic and analytic aspects of motives. In this paper, we prove a lot of new cases of the minus component of the eTNC for…

Number Theory · Mathematics 2021-12-10 Mahiro Atsuta , Takenori Kataoka

We introduce a new extragradient iterative process, motivated and inspired by [S. H. Khan, A Picard-Mann Hybrid Iterative Process, Fixed Point Theory and Applications, doi:10.1186/1687-1812-2013-69], for finding a common element of the set…

Functional Analysis · Mathematics 2014-03-14 Ibrahim Karahan , Murat Ozdemir

The (extensional) theory of arrays is widely used to model systems. Hence, efficient decision procedures are needed to model check such systems. Current decision procedures for the theory of arrays saturate the read-over-write and…

Logic in Computer Science · Computer Science 2014-05-28 Jürgen Christ , Jochen Hoenicke

In terms of the Dirac representation of sample mean and the weak convergence of empirical distributions that holds almost surely, we construct a new proof for a strong law of large numbers of Kolmogorov's type with i.i.d. random variables…

Probability · Mathematics 2020-09-02 Yu-Lin Chou

Effective versions of strong measure zero sets are developed for various levels of complexity and computability. It is shown that the sets can be equivalently defined using a generalization of supermartingales called odds supermartingales,…

Logic · Mathematics 2026-01-09 Matthew Rayman

I investigate the relationships between three hierarchies of reflection principles for a forcing class $\Gamma$: the hierarchy of bounded forcing axioms, of $\Sigma^1_1$-absoluteness and of Aronszajn tree preservation principles. The latter…

Logic · Mathematics 2023-06-22 Gunter Fuchs

The Necessary Maximality Principle for c.c.c. forcing asserts that any statement about a real in a c.c.c. extension that could become true in a further c.c.c. extension and remain true in all subsequent c.c.c. extensions, is already true in…

Logic · Mathematics 2007-05-23 Joel David Hamkins , W. Hugh Woodin

This paper introduces Force Matching (ForM), a novel framework for generative modeling that represents an initial exploration into leveraging special relativistic mechanics to enhance the stability of the sampling process. By incorporating…

Machine Learning · Computer Science 2025-02-13 Yang Cao , Bo Chen , Xiaoyu Li , Yingyu Liang , Zhizhou Sha , Zhenmei Shi , Zhao Song , Mingda Wan

We study $\omega$-weak equivalences between weak $\omega$-categories in the sense of Batanin-Leinster. Our $\omega$-weak equivalences are strict $\omega$-functors satisfying essential surjectivity in every dimension, and when restricted to…

Category Theory · Mathematics 2025-08-22 Soichiro Fujii , Keisuke Hoshino , Yuki Maehara

In mathematical logic there are two seemingly distinct kinds of principles called "reflection principles." Semantic reflection principles assert that if a formula holds in the whole universe, then it holds in a set-sized model. Syntactic…

Logic · Mathematics 2022-06-16 Fedor Pakhomov , James Walsh

Power law or generalized polynomial regressions with unknown real-valued exponents and coefficients, and weakly dependent errors, are considered for observations over time, space or space--time. Consistency and asymptotic normality of…

Statistics Theory · Mathematics 2012-05-14 Peter M. Robinson

A classical counterexample due to E. De Giorgi, shows that the weak maximum principle does not remain true for general linear elliptic differential systems. After that, there are some efforts to establish the weak maximum principle for…

Analysis of PDEs · Mathematics 2010-09-24 Xu Liu , Xu Zhang

It is well-known that nonlinearity may lead to localization effects and coupling of internally resonant modes. However, research focused primarily on conservative systems commonly assumes that the near-resonant forced response closely…

Pattern Formation and Solitons · Physics 2021-01-12 Malte Krack , Lawrence A. Bergman , Alexander F. Vakakis

Most theories that predict time and/or space variation of fundamental constants also predict violations of the Weak Equivalence Principle. In 2004 Khoury and Weltman proposed the so called chameleon field arguing that it could help avoiding…

General Relativity and Quantum Cosmology · Physics 2018-05-30 Lucila Kraiselburd , Susana J. Landau , Marcelo Salgado , Daniel Sudarsky , Héctor Vucetich

We prove a variety of theorems about stationary set reflection and concepts related to internal approachability. We prove that an implication of Fuchino-Usuba relating stationary reflection to a version of Strong Chang's Conjecture cannot…

Logic · Mathematics 2023-06-22 Sean D. Cox