English
Related papers

Related papers: Bounded Namba forcing axiom may fail

200 papers

Irredundance has been studied in the context of dominating sets, via the concept of private neighbor. Here irredundance of zero forcing sets is introduced via the concept of a private fort and the upper and lower zero forcing irrdedundance…

Combinatorics · Mathematics 2026-03-31 Bryan A. Curtis , Leslie Hogben , Adriana Roux

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

We revisit a bound on symbolic powers found by Ein-Lazarsfeld-Smith and subsequently improved by Takagi-Yoshida. We show that the original argument of Ein-Lazarsfeld-Smith actually gives the same improvement. On the other hand, we show by…

Algebraic Geometry · Mathematics 2009-11-10 Zach Teitler

We show that the Proper Forcing Axiom implies the Singular Cardinal Hypothesis. The proof is by interpolation and uses the Mapping Reflection Principle.

Logic · Mathematics 2007-05-23 Matteo Viale

We give a necessary and sufficient condition on beta of the natural extension of a beta-shift, so that any equilibrium measure for a function of bounded total oscillations is a weak Gibbs measure.

Dynamical Systems · Mathematics 2020-11-17 C. -E. Pfister , W. G. Sullivan

The zero forcing number was introduced as a combinatorial bound on the maximum nullity taken over the set of real symmetric matrices that respect the pattern of an underlying graph. The $Z_q$-forcing game is an analog to the standard zero…

Combinatorics · Mathematics 2023-05-22 Jorge Blanco , Stephanie Einstein , Caleb Hostetler , Jurgen Kritschgau , Daniel Ogbe

The goal is to show that an edge-reinforced random walk on a graph of bounded degree, with reinforcement weight function $W$ taken from a general class of reciprocally summable reinforcement weight functions, traverses a random attracting…

Probability · Mathematics 2009-09-29 Vlada Limic , Pierre Tarrès

We study curved space versions of matrix string theory taking as a definition of the theory a gauged matrix sigma model. By analyzing the divergent terms in the loop expansion for the effective action we reduce the problem to a simple…

High Energy Physics - Theory · Physics 2009-10-31 Ph. Brax , T. Wynter

In this paper, as a study of reinforcement learning, we converge the Q function to unbounded rewards such as Gaussian distribution. From the central limit theorem, in some real-world applications it is natural to assume that rewards follow…

Optimization and Control · Mathematics 2021-09-14 Konatsu Miyamoto , Masaya Suzuki , Yuma Kigami , Kodai Satake

We formalize the theory of forcing in the set theory framework of Isabelle/ZF. Under the assumption of the existence of a countable transitive model of ZFC, we construct a proper generic extension and show that the latter also satisfies…

Logic in Computer Science · Computer Science 2020-04-21 Emmanuel Gunther , Miguel Pagano , Pedro Sánchez Terraf

We add to the theory of preservation of topological properties under forcing. In particular, we answer a question of Gilton and Holshouser in a strong sense, showing that if player II has a winning strategy in the strong countable fan…

Logic · Mathematics 2026-01-13 Chris Lambie-Hanson , Pedro Marun

A central theme in set theory is to find universes with extreme, well-understood behaviour. The case we are interested in is assuming GCH and has a strong forcing axiom of higher order than usual. Instead of "for every suitable forcing…

Logic · Mathematics 2022-03-02 Noam Greenberg , Saharon Shelah

We prove a central limit theorem with aassumptions which are many weak than classical conditions

Probability · Mathematics 2007-05-23 René Blacher

In this paper we isolate the notion of Stratified class forcing and show that Stratification implies cofinality-preservation and is preserved by iterations with the appropriate support. Many familiar class forcings are stratified and…

Logic · Mathematics 2008-02-03 Sy D. Friedman

We discuss the non-linear sigma model representing a NSR open string in a curved background with non-zero $B_{\mu\nu}$-field. With this coupling the theory is not automatically supersymmetric, due to boundary contributions. When B=0…

High Energy Physics - Theory · Physics 2009-10-31 Parviz Haggi-Mani , Ulf Lindstrom , Maxim Zabzine

We present a method which allows the combination of forcing uniformization on the $\Pi$- and the $\Sigma$-side of the projective hierarchy to a certain extent. Using this method we construct a universe where ${\Pi}^1_3$-reduction holds,…

Logic · Mathematics 2025-11-10 Stefan Hoffelner

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

We consider two-player contests with the possibility of ties and study the effect of different tie-breaking rules on effort. For ratio-form and difference-form contests that admit pure-strategy Nash equilibrium, we find that the effort of…

Theoretical Economics · Economics 2024-02-05 Sumit Goel , Amit Goyal

Under the assumption that the distribution of a nonnegative random variable $X$ admits a bounded coupling with its size biased version, we prove simple and strong concentration bounds. In particular the upper tail probability is shown to…

Probability · Mathematics 2014-07-15 Richard Arratia , Peter Baxendale

We study the boundary contribution to the low energy effective action of the open string describing the confining flux tube in gauge theories. The form of the boundary terms is strongly constrained by the requirement of Lorentz symmetry,…

High Energy Physics - Theory · Physics 2015-06-04 M. Billo , M. Caselle , F. Gliozzi , M. Meineri , R. Pellegrini