Related papers: Extended finite operator calculus as an example of…
We introduce a sequent calculus with a simple restriction of Lambek's product rules that precisely captures the classical Tamari order, i.e., the partial order on fully-bracketed words (equivalently, binary trees) induced by a…
We study the scaling dimension $\Delta_{\phi^n}$ of the operator $\phi^n$ where $\phi$ is the fundamental complex field of the $U(1)$ model at the Wilson-Fisher fixed point in $d=4-\varepsilon$. Even for a perturbatively small fixed point…
In the paper "Extensional PERs" by P. Freyd, P. Mulry, G. Rosolini and D. Scott, a category $\mathcal{C}$ of "pointed complete extensional PERs" and computable maps is introduced to provide an instance of an \emph{algebraically compact…
An extension of the General Coordinate Transformations algebra is constructed by means geometrical consistency conditions. An class of infinite invariants is derived. In particular we construct the consistent extension of the gravitational…
We introduce a functional calculus with simple syntax and operational semantics in which the calculi introduced so far in the Curry-Howard correspondence for Classical Logic can be faithfully encoded. Our calculus enjoys confluence without…
We introduce real vector spaces composed of set-valued maps on an open set. They are also complete metric spaces, lattices, commutative rings. The set of differentiable functions is a dense subset of these spaces and the classical gradient…
In this paper we present a new extension of the theory of well-bounded operators to cover operators with complex spectrum. In previous work a new concept of the class of absolutely continuous functions on a nonempty compact subset $\sigma$…
In relation to a thesis put forward by Marx Wartofsky, we seek to show that a historiography of mathematics requires an analysis of the ontology of the part of mathematics under scrutiny. Following Ian Hacking, we point out that in the…
In order to study Fractional operator, Caffarelli introduced the concept of extension problem. Hence, for any fractional elliptic operator, we get a degenerate elliptic equation. By studying the W^{1,p} regularity of extension problem, we…
The present article is a review of recent developments concerning the notion of F{\o}lner sequences both in operator theory and operator algebras. We also give a new direct proof that any essentially normal operator has an increasing…
We study the structure and dynamics of the infinite sequence of extensions of the Poincar{\'e} algebra whose method of construction was described in a previous paper [1]. We give explicitly the Maurer-Cartan (MC) 1-forms of the extended Lie…
We study a natural extension to complex numbers of the standard continued fractions. The basic algorithm is due to Lagrange and Gauss, though it seems to have gone mostly unnoticed as a way to create continued fractions. The new…
$p$-adic continued fractions, as an extension of the classical concept of classical continued fractions to the realm of $p$-adic numbers, offering a novel perspective on number representation and approximation. While numerous $p$-adic…
We develop a continued fraction algorithm in finite extensions of $\Q_p$ generalising certain algorithms in $\Q_p$, and prove the finiteness property for certain small degree extensions. We also discuss the metrical properties of the…
A semiregular operator on a Hilbert C^*-module, or equivalently, on the C^*-algebra of `compact' operators on it, is a closable densely defined operator whose adjoint is also densely defined. It is shown that for operators on extensions of…
We define base-extension semantics (Bes) using atomic systems based on sequent calculus rather than natural deduction. While traditional Bes aligns naturally with intuitionistic logic due to its constructive foundations, we show that…
To extend the Euclidean operator radius, we define $w_p$ for an $n$-tuples of operators $(T_1,\ldots, T_n)$ in $\mathbb{B}(\mathscr{H})$ by $w_p(T_1,\ldots,T_n):= \sup_{\| x \| =1} \left(\sum_{i=1}^{n}| \langle T_i x, x \rangle |^p…
We investigate the behavior of extension monads, introduced in the 1990s by the second author, in terms of structure results for infinitely many finitary operations and common constructions in varieties or categories of algebras.…
These notes were delivered as a series of NIMROD lectures at the Rutherford Appleton Laboratory by the author in February 1976 (RL-76-022). The purpose of these lectures was primarily two-fold: to discuss the classical theory of free point…
In 2012, Diem introduced a new figure of merit for cryptographic sequences called expansion complexity. In this paper, we slightly modify this notion to obtain the so-called irreducible-expansion complexity which is more suitable for…