English
Related papers

Related papers: Martin's maximum revisited

200 papers

We provide a new proof of ``most" cases of the polynomial Wiener-Wintner theorem for $\sigma$-finite spaces, using hard-analytic methods. Specifically, we prove that whenever $(X,\mu,T)$ is a $\sigma$-finite measure-preserving system, and…

Dynamical Systems · Mathematics 2025-11-05 Ben Krause

We show that many principles of first-order arithmetic, previously only known to lie strictly between $\Sigma_1$-induction and $\Sigma_2$-induction, are equivalent to the well-foundedness of $\omega^\omega$. Among these principles are the…

Logic · Mathematics 2015-12-15 Alexander P. Kreuzer , Keita Yokoyama

We show that under $\BMM$ and "there exists a Woodin cardinal$"$, the nonstationary ideal on $\omega_1$ can not be defined by a $\Sigma_1$ formula with parameter $A \subset \omega_1$. We show that the same conclusion holds under the…

Logic · Mathematics 2025-06-17 Stefan Hoffelner , Paul Larson , Ralf Schindler , Liuzhen Wu

In this article we show how ideas, methods and results from optimal transportation can be used to study various aspects of the stationary measuresof Iterated Function Systems equipped with a probability distribution. We recover a classical…

Classical Analysis and ODEs · Mathematics 2021-06-02 Benoît Kloeckner

In this paper we study the following Burgers equation du/dt + d/dx (u^2/2) = epsilon d^2u/dx^2 + f(x,t) where f(x,t)=dF/dx(x,t) is a random forcing function, which is periodic in x and white noise in t. We prove the existence and uniqueness…

Analysis of PDEs · Mathematics 2016-09-07 Weinan E , K. M. Khanin , A. E. Mazel , Ya. G. Sinai

The purpose of this paper is to present a general method for forcing on $\omega_2$ and $\omega_3$ with finite conditions, while preserving all cardinals and some fragments of $\mathrm{GCH}$. This method is based on the technique of forcing…

Logic · Mathematics 2026-03-16 Curial Gallart

We prove the following two results. Theorem A: Let alpha be a limit ordinal. Suppose that 2^{|alpha|}<aleph_alpha and 2^{|alpha|^+}<aleph_{|alpha|^+}, whereas aleph_alpha^{|alpha|}>aleph_{|alpha|^+}. Then for all n< omega and for all…

Logic · Mathematics 2014-11-11 Moti Gitik , Ralf Schindler , Saharon Shelah

In this paper, we introduce fundamental notions of homotopy theory, including homotopy excision and the Freudenthal suspension theorem. We then explore framed cobordism and its connection to stable homotopy groups of spheres through the…

Algebraic Topology · Mathematics 2025-03-17 Trishan Mondal

A classical theorem of Hechler asserts that the structure $\left(\omega^\omega,\le^*\right)$ is universal in the sense that for any $\sigma$-directed poset P with no maximal element, there is a ccc forcing extension in which…

Logic · Mathematics 2020-04-21 Gabriel Fernandes , Miguel Moreno , Assaf Rinot

This paper aims to provide various applications for second-order variational analysis of extended-real-valued piecewise liner functions recently obtained in [1]. We mainly focus here on establishing relationships between full stability of…

Optimization and Control · Mathematics 2016-08-23 B. S. Mordukhovich , M. E. Sarabi

We study the homogenization of a stationary random maximal monotone operator on a probability space equipped with an ergodic dynamical system. The proof relies on Fitzpatrick's variational formulation of monotone relations, on Visintin's…

Analysis of PDEs · Mathematics 2017-03-31 Luca Lussardi , Stefano Marini , Marco Veneroni

These notes are extracted from the lectures on forcing axioms and applications held by professor Matteo Viale at the University of Turin in the academic year 2011-2012. Our purpose is to give a brief account on forcing axioms with a special…

Logic · Mathematics 2014-12-25 Giorgio Audrito , Gemma Carotenuto

Given a subset $A \subseteq \{0,1\}^n$, let $\mu(A)$ be the maximal ratio between $\ell_4$ and $\ell_2$ norms of a function whose Fourier support is a subset of $A$. We make some simple observations about the connections between $\mu(A)$…

Combinatorics · Mathematics 2018-06-12 Naomi Kirshner , Alex Samorodnitsky

This article describes a Turing machine which can solve for $\beta^{'}$ which is RE-complete. RE-complete problems are proven to be undecidable by Turing's accepted proof on the Entscheidungsproblem. Thus, constructing a machine which…

Computational Complexity · Computer Science 2018-04-24 Mark Inman

The axioms of ZFC provide a foundation for mathematics, however, there are statements independent of ZFC, such as the Continuum Hypothesis (CH). We discuss Martin's axiom, which is an alternative to CH that roughly states that if there is a…

Logic · Mathematics 2023-01-20 Helena Jorquera Riera

We establish new Liouville-type theorems for the two-dimensional stationary magneto-hydrodynamic incompressible system assuming that the velocity and magnetic field have bounded Dirichlet integral. The key tool in our proof is observing…

Analysis of PDEs · Mathematics 2022-01-07 Nicola De Nitti , Francis Hounkpe , Simon Schulz

We analyze a coupled Cahn-Hilliard-Forchheimer system featuring concentration-dependent mobility, mass source and convective transport. The velocity field is governed by a generalized quasi-incompressible Forchheimer equation with…

Numerical Analysis · Mathematics 2026-02-05 Aaron Brunk , Marvin Fritz

Based on the Hamiltonian equation of motion of the $\phi^4$ theory with quenched disorder, we investigate the depinning phase transition of the domain-wall motion in two-dimensional magnets. With the short-time dynamic approach, we…

Disordered Systems and Neural Networks · Physics 2015-06-11 R. H. Dong , B. Zheng , N. J. Zhou

We continue our study of the problem of mixing for a class of PDEs with very degenerate noise. As we established earlier, the uniqueness of stationary measure and its exponential stability in the dual-Lipschitz metric holds under the…

Analysis of PDEs · Mathematics 2019-02-04 Sergei Kuksin , Vahagn Nersesyan , Armen Shirikyan

Using variants of the TT* method we give a self-contained proof of the result of Alfonseca, Soria and Vargas on maximal operators on arbitrary directions in $\rr^2$. We also give a sharp $L^2$ estimate for a maximal function extending a…

Classical Analysis and ODEs · Mathematics 2009-02-13 Jose A. Barrionuevo , Lucas Oliveira
‹ Prev 1 3 4 5 6 7 10 Next ›