Related papers: On extracting variable Herbrand disjunctions
In view of recent developments of the study of reproducing kernel Hilbert spaces, in particular with the context the Hardy spaces on tubes, aspects of rational approximation for functions of finite energy in several complex and several real…
We prove H\"ormander's type hypoellipticity theorem for stochastic partial differential equations when the coefficients are only measurable with respect to the time variable. The need for such kind of results comes from filtering theory of…
The metrical theory of the product of consecutive partial quotients is associated with the uniform Diophantine approximation, specifically to the improvements to Dirichlet's theorem. Achieving some variant forms of metrical theory in…
Analyzing the covariance structure of data is a fundamental task of statistics. While this task is simple for low-dimensional observations, it becomes challenging for more intricate objects, such as multivariate functions. Here, the…
Generalised quantifiers, which include Henkin's branching quantifiers, have been introduced by Mostowski and Lindstr\"om and developed as a substantial topic application of logic, especially model theory, to linguistics with work by…
We address the decision problem for a fragment of real analysis involving differentiable functions with continuous first derivatives. The proposed theory, besides the operators of Tarski's theory of reals, includes predicates for…
This dissertation focuses on developing a new construction of a functional calculus using Henstock-Kurzweil integration methods. The assignment of a functional calculus will be applied to self-adjoint operators. We will address both the…
A new calculus of planar diagrams involving diagrammatics for biadjoint functors and degenerate affine Hecke algebras is introduced. The calculus leads to an additive monoidal category whose Grothendieck ring contains an integral form of…
Recently, Abbadini and Guffanti gave an algebraic proof of Herbrand's theorem using a completion for Lawvere doctrines that freely adds existential and universal quantifiers. A more direct argument can be given by only completing with…
Using the method of multiple Dirichlet series, we develop L-functions ratios conjecture with one shift in both the numerator and denominator in certain ranges for quadratic families of Dirichlet and Hecke L-functions of primerelated moduli…
The study of the pentagon (fusion) equation leds to the Structure and the Classification theorem for finite dimenasional Hopf algebras: there exists a one to one correspondence between the set of types of n-dimensional Hopf algebtras and…
We announce a number of conjectures associated with and arising from a study of primes and irrationals in $\mathbb{R}$. All are supported by numerical verification to the extent possible.
A multidimensional generalization of the Bernstein class of functions and the properties of functions of the introduced class are examined. In particular, a new proof of the integral representation of Bernstein functions of many variables…
We deal with the existence of quantitative estimates for solutions of mixed problems to an elliptic second order equation in divergence form with discontinuous coefficient. Our concern is to estimate the solutions with explicit constants,…
This document serves as a companion to the paper of the same title, wherein we introduce a Gentzen-style sequent calculus for HXPathD. It provides full technical details and proofs from the main paper. As such, it is intended as a reference…
In this paper we consider the classical $\bar{\partial}$-problem in the case of one complex variable both for analytic and polyanalytic data. We apply the decomposition property of polyanalytic functions in order to construct particular…
Given a vector space of microscopic quantum observables, density functional theory is formulated on its dual space. A generalized Hohenberg-Kohn theorem and the existence of the universal energy functional in the dual space are proven. In…
We consider an extension of the modal logic of transitive closure K+ with some inifinitary derivations and present a sequent calculus for this extension, which allows non-well-founded proofs. For the given calculus, we obtain the…
The bilateralist approach to logical consequence maintains that judgments of different qualities should be taken into account in determining what-follows-from-what. We argue that such an approach may be actualized by a two-dimensional…
We determine the $1$-exponent (according to the Calder\'on-Zygmund definition) of the Brjuno function $B$ everywhere, thus showing that it is a new example of multifractal function. We also discuss various notions of pointwise regularity of…