English
Related papers

Related papers: Martin's maximum revisited

200 papers

For an arbitrary finite tree $T$, we find the exact value of the wort-case stabilisation time of majority dynamics on $T$. We also prove that for a perfect rooted cubic tree $T$ with diameter $D$ and uniformly random initial opinions, the…

Combinatorics · Mathematics 2025-07-08 Itai Benjamini , Georgii Zakharov , Maksim Zhukovskii

A summary is given of some results and perspectives of the hamiltonian ADM approach to 2+1 dimensional gravity. After recalling the classical results for closed universes in absence of matter we go over the the case in which matter is…

General Relativity and Quantum Cosmology · Physics 2007-05-23 Pietro Menotti

Motivated from one-dimensional rigidity results of entire solutions to Liouville equation, we consider the semilinear equation \begin{align} \label{liouvilleequationab} \Delta u=G(u) \quad \mbox{in $\mathbb{R}^n$}, \end{align}where $G>0,…

Analysis of PDEs · Mathematics 2023-08-08 Qinfeng Li , Lu Xu

In a recent article by Farah and the authors, a strong lifting theorem was proved for a class of coordinate-respecting maps between reduced products of discrete structures, hereby working under mild Forcing Axioms. We generalise this…

Logic · Mathematics 2024-11-19 Ben De Bondt , Alessandro Vignati

We consider the non-linear equation $T^{-1} u+\partial_tu-\partial_x^2\pi(u)=\xi$ driven by space-time white noise $\xi$, which is uniformly parabolic because we assume that $\pi'$ is bounded away from zero and infinity. Under the further…

Analysis of PDEs · Mathematics 2015-12-21 Felix Otto , Hendrik Weber

We introduce a property of posets which strengthens (\omega_1+1)-strategic closedness. This property is defined using a variation of the Banach-Mazur game on posets, where the first player chooses a countable set of conditions instead of a…

Logic · Mathematics 2026-03-06 Yasuo Yoshinobu

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

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

Woodward proposed that driven mass-energy fluctuations could yield a frequency-dependent "Machian" gravitational response $\propto \partial_t^2 M_{\rm loc}(t)$, amplified by a Sciama-scale cosmic potential $\Phi/c^2\sim -1$. We test this…

General Relativity and Quantum Cosmology · Physics 2025-12-30 José Rodal

Let $\{X_{\mathbf{n}} : \mathbf{n}\in\mathbb{Z}^d\}$ be a weakly dependent stationary field with maxima $M_{A} := \sup\{X_{\mathbf{i}} : \mathbf{i}\in A\}$ for finite $A\subset\mathbb{Z}^d$ and $M_{\mathbf{n}} := \sup\{X_{\mathbf{i}} :…

Probability · Mathematics 2019-08-20 Natalia Soja-Kukieła

I show that it is consistent relative to the consistency of a Mahlo cardinal that Martin's axiom holds at $\omega_2$, but the weak Kurepa Hypothesis fails. This answers a question posed by Honzik, Lambie-Hanson and Stejskalov\'a. The…

Logic · Mathematics 2024-11-12 Rahman Mohammadpour

Our main theorem is an extension of the well-known Mizoguchi-Takahaashi's fixed point theorem [N. Mizogochi and W. Takahashi, Fixed point theorems for multi-valued mappings on complete metric space, {\it J. Math. Anal. Appl.} 141 (1989)…

Metric Geometry · Mathematics 2010-01-08 M. Eshaghi Gordji , H. Baghani , M. Ramezani , H. Khodaei

Generic absoluteness is the phenomenon that certain truths in the set-theoretic universe remain stable under forcing expansions. A classical result by Kripke asserts that every complete Boolean algebra completely embeds into a countably…

Logic · Mathematics 2026-05-08 Cesare Straffelini

We start providing a quantitative stability theorem for the rigidity of an overdetermined problem involving harmonic functions in a punctured domain. Our approach is inspired by and based on the proof of rigidity established by Enciso and…

Analysis of PDEs · Mathematics 2023-08-22 Giorgio Poggesi

We establish the existence and the pointwise bound of the fundamental solution for the stationary Stokes system with measurable coefficients in the whole space $\mathbb{R}^d$, $d \ge 3$, under the assumption that weak solutions of the…

Analysis of PDEs · Mathematics 2017-05-09 Jongkeun Choi , Minsuk Yang

These are lecture notes from a course I gave at the University of Wisconsin during the Spring semester of 1993. Part 1 is concerned with Borel hierarchies. Section 13 contains an unpublished theorem of Fremlin concerning Borel hierarchies…

Logic · Mathematics 2009-09-25 Arnold Miller

In this paper, we prove the exponential stability property of a class of mechanical systems represented in the port-Hamiltonian framework. To this end, we propose a Lyapunov candidate function different from the Hamiltonian of the system.…

Systems and Control · Electrical Eng. & Systems 2021-10-25 Carmen Chan-Zheng , Pablo Borja , Nima Monshizadeh , Jacquelien M. A. Scherpen

We show a pointwise estimate for the Fourier transform on the line involving the number of times the function changes monotonicity. The contrapositive of the theorem may be used to find a lower bound to the number of local maxima of a…

Classical Analysis and ODEs · Mathematics 2009-11-02 Ryan Berndt

We introduce a stronger version of an $\omega_1$-guessing model, which we call an indestructibly $\omega_1$-guessing model. The principle IGMP states that there are stationarily many indestructibly $\omega_1$-guessing models. This…

Logic · Mathematics 2019-07-09 Sean Cox , John Krueger

In this paper we continue the study of the Hamiltonian formalism of the healthy extended Horava-Lifshitz gravity. We find the constraint structure of given theory and argue that this is the theory with the second class constraints. Then we…

High Energy Physics - Theory · Physics 2014-11-20 J. Kluson