Related papers: A Completeness Theorem for "Total Boolean Function…
Coalgebras for a functor model different types of transition systems in a uniform way. This paper focuses on a uniform account of finitary logics for set-based coalgebras. In particular, a general construction of a logic from an arbitrary…
In this article, a new class of the entire function of order one, expressed by the series and product representations with the real positive coefficients and complex zeros, is investigated for the first time. The entire function on the…
We apply some tools developed in categorical logic to give an abstract description of constructions used to formalize constructive mathematics in foundations based on intensional type theory. The key concept we employ is that of a Lawvere…
We prove strong completeness results for some modal logics with the universal modality, with respect to their topological semantics over 0-dimensional dense-in-themselves metric spaces. We also use failure of compactness to show that, for…
We define an extension of predicate logic, called Binding Logic, where variables can be bound in terms and in propositions. We introduce a notion of model for this logic and prove a soundness and completeness theorem for it. This theorem is…
We introduce perfect tangles for modular tensor categories. These are intended to generalise the perfect tensors first introduced in the context of a toy model for the AdS/CFT correspondence. We construct perfect tangles for several…
The notion of unboundedly order converges has been recieved recently a particular attention by several authors. The main result of the present paper shows that the notion is efficient and deserves that care. It states that a vector lattice…
Let A be the integral closure of the ring of polynomials CC[t], within the field of algebraic functions in one variable. We show that A interprets the ring of integers. This contrasts with the analogue for finite fields, proved to have a…
In this paper, we study the value distributions of perfect nonlinear functions, i.e., we investigate the sizes of image and preimage sets. Using purely combinatorial tools, we develop a framework that deals with perfect nonlinear functions…
Estimating the coefficient functionals on various classes of holomorphic functions traditionally forms an important field of geometric complex analysis and its mathematical and physical applications. These coefficients reflect fundamental…
The basic notions of logic-predicate logic, Peano arithmetic, incompleteness theorems, etc.-have for long been an advanced topic. In the last decades, they became more widely taught, inphilosophy, mathematics, and computer science…
We introduce and study the Steiner entire function, an analytic generating function for the intrinsic volumes of a convex compact set in a Hilbert space. This function extends the classical Steiner polynomial to infinite dimensions and…
We investigate algebraic and topological semantics of the modal logic S4CI and obtain strong completeness of the given system in the case of local semantic consequence relations. In addition, we consider an extension of the logic S4CI with…
The theory of integration over infinite-dimensional spaces is known to encounter serious difficulties. Categorical ideas seem to arise naturally on the path to a remedy. Such an approach was suggested and initiated by Segal in his…
In this paper we present an abstraction-refinement approach to Satisfiability Modulo the theory of transcendental functions, such as exponentiation and trigonometric functions. The transcendental functions are represented as uninterpreted…
Challenging the standard notion of totality in computable functions, one has that, given any sufficiently expressive formal axiomatic system, there are total functions that, although computable and "intuitively" understood as being total,…
New unconditional estimates of the divisor and totient functions are contributed to the literature. These results are consistent with the Riemann hypothesis and seem to solve the Nicolas inequality for all sufficiently large integers.
We prove a multilinear local $T(b)$ theorem that differs from previously considered multilinear local $T(b)$ theorems in using exclusively general testing functions $b$ as opposed to a mix of general testing functions and indicator…
The concept of a $ C $*-algebra-valued metric space was introduced in 2014. It is a generalization of a metric space by replacing the set of real numbers by a $ C $*-algebra. In this paper, we show that $ C $*-algebra-valued metric spaces…
We recall the notion of abstract bornology, and connect it with topological spaces and size functions. As a generalization of measures of non-compactness, we show how every size function can be mapped to a maxitive measure.