English
Related papers

Related papers: Bounded Namba forcing axiom may fail

200 papers

We answer a question of Woodin by showing that assuming an inaccessible cardinal $\kappa$ which is a limit of ${<}\kappa$-supercompact cardinals exists, there is a stationary set preserving forcing $\mathbb{P}$ so that $V^{\mathbb…

Logic · Mathematics 2024-03-15 Andreas Lietz

We present a method for iterating semiproper forcing which uses side conditions and is inspired by the technique recently introduced by Neeman.

Logic · Mathematics 2014-10-21 Boban Velickovic

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

We study the influence of strong forcing axioms on the complexity of the non-stationary ideal on $\omega_2$ and its restrictions to certain cofinalities. Our main result shows that the strengthening $MM^{++}$ of Martin's Maximum does not…

Logic · Mathematics 2022-06-06 Sean Cox , Philipp Lücke

As a consequence of the strong and usually violated conditional independence assumption (CIA) of naive Bayes (NB) classifier, the performance of NB becomes less and less favorable compared to sophisticated classifiers when the sample size…

Machine Learning · Statistics 2014-12-23 Kim-Hung Li , Cheuk Ting Li

This note addresses a key limitation of the Folding Test of Unimodality (FTU). In specific univariate mixture settings, the folding-based criterion can systematically fail, misclassifying clearly multimodal distributions as unimodal. We…

Methodology · Statistics 2026-05-14 Colombe Becquart , Aurore Archimbaud , Anne M. Ruiz , Zaineb Smida

In reinforcement learning, it is common to let an agent interact for a fixed amount of time with its environment before resetting it and repeating the process in a series of episodes. The task that the agent has to learn can either be to…

Machine Learning · Computer Science 2022-01-28 Fabio Pardo , Arash Tavakoli , Vitaly Levdik , Petar Kormushev

Consider a difference equation which takes the k-th largest output of m functions of the previous m terms of the sequence. If the functions are also allowed to change periodically as the difference equation evolves this is analogous to a…

Dynamical Systems · Mathematics 2010-06-04 Tyrus Berry , Timothy Sauer

This paper follows on from our previous work, where we introduced the notion of \emph{confined extensions}, and our purpose is to widen the context in which such extensions appear. We do so in the setup of Poisson suspensions: we take a…

Dynamical Systems · Mathematics 2025-06-23 Séverin Benzoni , Emmanuel Roy , Thierry de la Rue

Many time series produced by complex systems are empirically found to follow power-law distributions with different exponents $\alpha$. By permuting the independently drawn samples from a power-law distribution, we present non-trivial…

Data Analysis, Statistics and Probability · Physics 2017-05-24 Fangjian Guo , Dan Yang , Zimo Yang , Zhi-Dan Zhao , Tao Zhou

This paper provides refined versions of some known functional central limit theorems for conditional Poisson sampling which are more suitable for applications. The theorems presented in this paper are generalizations of some results that…

Statistics Theory · Mathematics 2019-06-18 Leo Pasquazzi

We introduce more properties of forcing notions which imply that their lambda-support iterations are lambda-proper, where lambda is an inaccessible cardinal. This paper is a direct continuation of section A.2 of math.LO/0210205. As an…

Logic · Mathematics 2013-01-04 Andrzej Roslanowski , Saharon Shelah

We prove that Tietze Extension does not always exist in constructive mathematics if closed sets on which the function we are extending are defined as sequentially closed sets. Firstly, we take a discrete metric space as our topological…

General Topology · Mathematics 2025-08-19 Shun Ding , Yang Wan , Luofei Wang , Siqi Xiao

In a previous paper, we introduced a way of constructing a forcing along a simplified gap-1 morass such that the forcing satisfies a chain condition. Now, we generalize this to gap-2 morasses. As an application, we prove that GCH is…

Logic · Mathematics 2011-07-26 Bernhard Irrgang

We introduce several properties of forcing notions which imply that their lambda-support iterations are lambda-proper. Our methods and techniques refine those studied in math.LO/9906024, math.LO/0210205, math.LO/0508272 and math.LO/0605067,…

Logic · Mathematics 2013-01-04 Andrzej Roslanowski , Saharon Shelah

The purpose of this article is twofold. The first aim is to prove that if there exist a sequence $\{\varphi_j\}\subset \mathrm{Aut}(\Omega)$ and $a\in \Omega$ such that $\lim_{j\to\infty}\varphi_j(a)=\xi_0$ and…

Complex Variables · Mathematics 2022-09-29 Ninh Van Thu , Nguyen Thi Lan Huong , Nguyen Quang Dieu

We develop phase limitations for the discrete-time Zames-Falb multipliers based on the separation theorem for Banach spaces. By contrast with their continuous-time counterparts they lead to numerically efficient results that can be computed…

Optimization and Control · Mathematics 2024-03-15 Jingfan Zhang , Joaquin Carrasco , William Heath

Based on works of Saharon Shelah, Jakob Kellner, and Anda T\u{a}nasie for controlling the cardinal characteristics of the continuum in ccc forcing extensions, in the author's master's thesis was introduced a new combinatorial notion: the…

Logic · Mathematics 2024-02-09 Andrés F. Uribe-Zapata

We consider a general asynchronous Stochastic Approximation (SA) scheme featuring a weighted infinity-norm contractive operator, and prove a bound on its finite-time convergence rate on a single trajectory. Additionally, we specialize the…

Optimization and Control · Mathematics 2020-02-06 Guannan Qu , Adam Wierman

A complete extension theorem for linear codes over a module alphabet and the symmetrized weight composition is proved. It is shown that an extension property with respect to arbitrary weight function does not hold for module alphabets with…

Information Theory · Computer Science 2016-07-19 Dyshko Serhii