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

In 1859, Riemann had announced the following conjecture : the nontrivial roots (zeros) $s=\alpha+i\beta$ of the zeta function, defined by: $$\zeta(s) =\displaystyle \sum_{n=1}^{+\infty}\frac{1}{n^s},\,\mbox{for}\quad \Re(s)>1$$ have real…

G\"odel proved in the 1930s in his famous Incompleteness Theorems that not all statements in mathematics can be proven or disproven from the accepted ZFC axioms. A few years later he showed the celebrated result that Cantor's Continuum…

The original theme of the paper is the existence proof of ``there is < eta_alpha : alpha < lambda > which is a (lambda,J)-sequence for < I_i:i<delta >, a sequence of ideals. This can be thought of as in a generalization to Luzin sets and…

We investigate some Weihrauch problems between $\mathsf{ATR}_2$ and $\mathsf{C}_{\omega^\omega}$ . We show that the fixed point theorem for monotone operators on the Cantor space (a weaker version of the Knaster-Tarski theorem) is not…

P\'olya's Positivstellensatz and Handelman's Positivstellensatz are known to be concrete instances of the abstract Archimedean Representation Theorem for (commutative unital) rings. We generalise the Archimedean Representation Theorem to…

A proof of the Riemann hypothesis is proposed by relying on the properties of the Mellin transform. The function $\mathfrak{G}_{\eta}\left(t\right)$ is defined on the set $\bar{\mathbb{R}}_+$ of the non-negative real numbers, in term of a…

The notion of a $\delta$-generic sequence of P-points is introduced in this paper. It is proved assuming the Continuum Hypothesis that for each $\delta < {\omega}_{2}$, any $\delta$-generic sequence of P-points can be extended to an…

The purpose of this paper is to study the properties of the solutions to the biharmonic equations: $\Delta(\Delta f)=g$, where $g:$ $\overline{\mathbb{D}}\rightarrow\mathbb{C}$ is a continuous function and $\overline{\mathbb{D}}$ denotes…

This paper introduces a new family of cognitive modal logics designed to formalize conjectural reasoning: modal systems in which cognitive contexts extend known facts with hypothetical assumptions in order to explore their consequences.…

Let $M$ be a model set meeting two simple conditions: (1) the internal space $H$ is a product of $R^n$ and a finite group, and (2) the window $W$ is a finite union of disjoint polyhedra. Then any point pattern with finite local complexity…

Let $\mathcal{M}\subset \mathbb{R}^n$ be a compact and sufficiently smooth manifold of dimension $d$. Suppose $\mathcal{M}$ is nowhere completely flat. Let $N_{\mathcal{M}}(\delta,Q)$ denote the number of rational vectors $\mathbf{a}/q$…

We investigate the mathematics of a model of the human mind which has been proposed by the psychologist Jens Mammen. Mathematical realizations of this model consist of so-called \emph{Mammen spaces}, where a Mammen space is a triple…

In this paper we discuss some unusual and unsuspected relations between Maxwell, Dirac and the Seiberg-Witten equations. First we investigatethe Maxwell-Dirac equivalence (MDE) of the first kind. Crucial to that proposed equivalence is the…

In this note, following the work of Seiberg in hep-th/0211234 for the conjecture between the field theory and matrix model in the case with massive fundamental flavors, we generalize it to the case with massless fundamental flavors. We show…

Many-valued models generalise the structures from classical model theory by defining truth values for a model with an arbitrary algebra. Just as algebraic varieties provide semantics for many non-classical propositional logics, models…

Theorem: There is a {\em complete sentence} $\phi$ of $L_{\omega_1,\omega}$ such that $\phi$ has maximal models in a set of cardinals $\lambda$ that is cofinal in the first measurable $\mu$ while $\phi$ has no maximal models in any $\chi…

The extensively cited work of Barzilai, J. (1997): Deriving weights from pairwise comparison matrices, published in Journal of the Operational Research Society, 48(12), 1226-1232., derives the geometric mean method from two simple axioms.…

We prove that if $(M,\mathcal{X})$ and $(M,\mathcal{Y})$ are countable models of the theory $\mathrm{WKL}^*_0$ such that $\mathrm{I}\Sigma_1(A)$ fails for some $A \in \mathcal{X} \cap \mathcal{Y}$, then $(M,\mathcal{X})$ and…

Recently, the Elementary Process Theory (EPT) has been developed as a set of fundamental principles that might underlie a gravitational repulsion of matter and antimatter. This paper presents set matrix theory (SMT) as the foundation of the…

We construct a C*-algebra that has only one irreducible representation up to unitary equivalence but is not isomorphic to the algebra of compact operators on any Hilbert space. This answers an old question of Naimark. Our construction uses…