中文
相关论文

相关论文: On Roitman's principles $\mathsf{MH}$ and $\Delta$

200 篇论文

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

逻辑 · 数学 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…

算子代数 · 数学 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…

计算机科学中的逻辑 · 计算机科学 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,…

逻辑 · 数学 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…

数论 · 数学 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…

逻辑 · 数学 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…

算子代数 · 数学 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…

算子代数 · 数学 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…

综合数学 · 数学 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…

量子物理 · 物理学 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…

动力系统 · 数学 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…

综合数学 · 数学 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.…

逻辑 · 数学 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…

逻辑 · 数学 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…

环与代数 · 数学 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…

数论 · 数学 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…

高能物理 - 理论 · 物理学 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$…

广义相对论与量子宇宙学 · 物理学 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…

综合数学 · 数学 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…

动力系统 · 数学 2011-06-16 Jeffrey Allen , Benjamin Seeger , Deborah Unger