相关论文: Separating Bounded Arithmetics by Herbrand Consist…

The regular separability problem asks, for two given languages, if there exists a regular language including one of them but disjoint from the other. Our main result is decidability, and PSpace-completeness, of the regular separability…

An attempt to come closer to a resolution of the Collatz conjecture is presented. The central idea is the formation of a tree consisting of positive odd numbers with number 1 as root. Functions for generating the tree from the root are…

We study regularity issues for systems of elliptic equations of the type \[ -\Delta u_i=f_{i,\beta}(x)-\beta \sum_{j\neq i} a_{ij} u_i |u_i|^{p-1}|u_j|^{p+1} \] set in domains $\Omega \subset \mathbb{R}^N$, for $N \geq 1$. The paper is…

We consider cut-elimination in the sequent calculus for classical first-order logic. It is well known that this system, in its most general form, is neither confluent nor strongly normalizing. In this work we take a coarser (and…

Let $\mathcal{X}$ be a p-adic Hilbert space. Let $A:\mathcal{D}(A)\subseteq \mathcal{X}\to \mathcal{X}$ and $B: \mathcal{D}(B)\subseteq \mathcal{X}\to \mathcal{X}$ be possibly unbounded self-adjoint linear operators. For $x \in…

We have published several articles about generalizations and boundary-case exceptions to the Second Incompleteness Theorem during the last 25 years. The current paper will review some of our prior results and also introduce an `enriched'…

In this paper we consider, from a computational point of view, the problem of classifying logics within the Leibniz and Frege hierarchies typical of abstract algebraic logic. The main result states that, for logics presented syntactically,…

We introduce the notion of $\epsilon$-irreducibility for arithmetic cycles meaning that the degree of its analytic part is small compared to the degree of its irreducible classical part. We will show that for every $\epsilon>0$ any…

We consider the mixed Dirichlet-conormal problem for the heat equation on cylindrical domains with a bounded and Lipschitz base $\Omega\subset \mathbb{R}^d$ and a time-dependent separation $\Lambda$. Under certain mild regularity…

In this paper paraconsistent second order arithmetic Z#2 with unrestricted comprehension scheme is proposed. We outline the development of certain portions of paraconsistent mathematics within paraconsistent second order arithmetic Z#2.In…

In this work we prove the undecidability (and $\Sigma^0_1$-completeness) of several theories of semirings with fixed points. The generality of our results stems from recursion theoretic methods, namely the technique of effective…

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…

This paper gives a counterexample to the impossibility, by G\"odel's second incompleteness theorem, of proving a formula expressing the consistency of arithmetic in a fragment of arithmetic on the assumption that the latter is consistent.…

The geometric theory of additive separation of variables is applied to the search for multiplicative separated solutions of the bi-Helmholtz equation. It is shown that the equation does not admit regular separation in any coordinate system…

Coherence theorems for covariant structures carried by a category have traditionally relied on the underlying term rewriting system of the structure being terminating and confluent. While this holds in a variety of cases, it is not a…

We study two long-standing conjectures concerning lower bounds for the Betti numbers of a graded module over a polynomial ring. We prove new cases of these conjectures in codimensions five and six by reframing the conjectures as arithmetic…

Using Schmidt's Subspace Theorem, this paper improves and extends an existing transcendence result for sequences of algebraic numbers. The theorems thus produced correspond to a central theorem on the irrationality of sequences due to…

In theories with extra dimensions the Standard Model Higgs field can be identified with the internal components of higher-dimensional gauge fields (Higgs-gauge unification). The higher-dimensional gauge symmetry prevents the Higgs mass from…

Schmerl and Beklemishev's work on iterated reflection achieves two aims: It introduces the important notion of $\Pi^0_1$-ordinal, characterizing the $\Pi^0_1$-theorems of a theory in terms of transfinite iterations of consistency; and it…

Let $G$ be a simple graph on $n$ vertices, and let $J_G$ denotes the corresponding binomial edge ideal in $S=\mathbb{K}[x_1,\ldots,x_n,y_1,\ldots,y_n]$, where $\mathbb{K}$ is a field. We show that if a vertex satisfies a certain degree…