English
Related papers

Related papers: On Roitman's principles $\mathsf{MH}$ and $\Delta$

200 papers

There is a model of ZF with a $\Delta^1_3$ definable Hamel basis in which $AC_\omega(R)$ fails.

Logic · Mathematics 2019-02-08 Vladimir Kanovei , Ralf Schindler

This note concerns bounded derivations on maximal triangular operator algebras on a Hilbert space. Given any bounded derivation $\delta$ on a maximal triangular algebra whose invariant lattice is continuous at 1, an operator which is shown…

Operator Algebras · Mathematics 2025-08-12 Mark Spivack

Given any collection F of computable functions over the reals, we show that there exists an algorithm that, given any L_F-sentence \varphi containing only bounded quantifiers, and any positive rational number \delta, decides either "\varphi…

Logic in Computer Science · Computer Science 2012-05-01 Sicun Gao , Jeremy Avigad , Edmund Clarke

We introduce a hierarchy of models of the Axiom of Determinacy called \emph{Nairian models}. Forcing over the simplest Nairian model, we obtain a model of ${\sf{ZFC}}+{\sf{MM^{++}}}(c)+\neg\square_{\omega_3}+\neg\square(\omega_3)$. Then,…

Logic · Mathematics 2025-02-03 Douglas Blue , Paul B. Larson , Grigor Sargsyan

Assuming the Riemann Hypothesis, we provide explicit upper bounds for moduli of $S(t)$, $S_1(t)$, and $\zeta\left(1/2+\mathrm{i}t\right)$ while comparing them with recently proven unconditional ones. As a corollary we obtain a conditional…

Number Theory · Mathematics 2021-10-14 Aleksander Simonič

The technique of symmetric extensions is derived from forcing and it is one of the most important tools for studying models without the Axiom of Choice. Despite being incredibly successful since the 1960s, our understanding of the technique…

Logic · Mathematics 2026-02-20 Asaf Karagila , Jonathan Schilhan

We define $\Delta$-equivalence for operator systems and show that it is identical to stable isomorphism. We define $\Delta$-contexts and bihomomorphism contexts and show that two operator systems are $\Delta$-equivalent if and only if they…

Operator Algebras · Mathematics 2026-02-27 George K. Eleftherakis , Evgenios T. A. Kakariadis , Ivan G. Todorov

Let $\delta$ be a nondegenerate coaction of G on a C*-algebra B, and let H be a closed subgroup of G. The dual action of H on $B\times_\delta G$ is proper and saturated in the sense of Rieffel, and the generalised fixed-point algebra is the…

Operator Algebras · Mathematics 2007-05-23 Astrid an Huef , Iain Raeburn

The Riemann Hypothesis is a conjecture that all non-trivial zeros of Riemann Zeta function are located on the critical line in the complex plane. Hundreds of propositions in function theory and analytic number theory rely on this…

General Mathematics · Mathematics 2025-01-22 Dasheng Liu

Relativistic continuous matrix product states (RCMPS) are a powerful variational ansatz for quantum field theories of a single field. However, they inherit a property of their non-relativistic counterpart that makes them divergent for…

Quantum Physics · Physics 2025-11-27 Karan Tiwana , Antoine Tilloy

Given a compact and complete metric space $X$ with several continuous transformations $T_1, T_2, \ldots T_H: X \to X,$ we find sufficient conditions for the existence of a point $x\in X$ such that $(x,x,\ldots,x)\in X^H$ has dense orbit for…

Dynamical Systems · Mathematics 2019-06-24 Italo Cipriano , Ryo Moore

In this article we proved so-called strong reflection principles corresponding to formal theories Th which has omega-models. An posible generalization of the Lob's theorem is considered.Main results is: (1) let $k$ be an inaccessible…

General Mathematics · Mathematics 2019-10-08 Jaykov Foukzon

In this paper we propose an interpretation for self-referential propositions in a "meta-model" N* of ZF. This meta-model N* is considered as an informal model of arithmetic that mathematicians often use when working with number theory.…

Logic · Mathematics 2019-08-08 Arieh Lev

A proof of G\"odel's incompleteness theorem is given. With this new proof a transfinite extension of G\"odel's theorem is considered. It is shown that if one assumes the set theory ZFC on the meta level as well as on the object level, a…

Logic · Mathematics 2009-05-25 Hitoshi Kitada

We introduce and investigate a class of ring ideals, termed ring $\mathrm{M}$-ideals, inspired by the Alfsen--Effros theory of $\mathrm{M}$-ideals in Banach spaces. We show that $\mathrm{M}$-ideals extend the classical notion of essential…

Rings and Algebras · Mathematics 2025-04-29 David P. Blecher , Amartya Goswami

In previous work, the author gave upper bounds for the shifted moments of the zeta function \[ M_{{\alpha},{\beta}}(T) = \int_T^{2T} \prod_{k = 1}^m |\zeta(\tfrac{1}{2} + i (t + \alpha_k))|^{2 \beta_k} dt \] introduced by Chandee, where…

Number Theory · Mathematics 2024-05-15 Michael J. Curran

We show that, in 't Hooft's large N limit, matrix models can be formulated as a classical theory whose equations of motion are the factorized Schwinger--Dyson equations. We discover an action principle for this classical theory. This action…

High Energy Physics - Theory · Physics 2014-11-18 L. Akant , G. S. Krishnaswami , S. G. Rajeev

We derive the so-called first law of black hole mechanics for variations about stationary black hole solutions to the Einstein--Maxwell equations in the absence of sources. That is, we prove that $\delta M=\kappa\delta A+\omega\delta J+VdQ$…

General Relativity and Quantum Cosmology · Physics 2009-10-28 Rafael D. Sorkin , Madhavan Varadarajan

Riemann's hypothesis, formulated in 1859, concerns the location of the zeros of Riemann's Zeta function. The history of the Riemann hypothesis is well known. In 1859, the German mathematician B. Riemann presented a paper to the Berlin…

General Mathematics · Mathematics 2020-12-08 Jean Max Coranson Beaudu

For {\theta} \in [0, 2{\pi}), consider the rotation matrix R? and h = ({\lambda}, 0; 0, 0), {\lambda} > 1. Let W_n({\theta}) denote the product of m R?'s and n h's with the condition m \leq [\epsilon\astn], (0 < \epsilon < 1). We analyze…

Dynamical Systems · Mathematics 2011-06-16 Jeffrey Allen , Benjamin Seeger , Deborah Unger