Related papers: The extensional realizability model of continuous …
Let S be a dense sub-semigroup of the positive real numbers, and let X be a separable, reflexive Banach space. This note contains a proof that every weakly continuous contractive semigroup of operators on X over S can be extended to a…
The sequential form of a statement $\forall\xi(B(\xi) \rightarrow \exists\zeta A(\xi,\zeta))$ is the statement $\forall\xi(\forall n B(\xi_n) \rightarrow \exists\zeta \forall n A(\xi_n,\zeta_n))$. There are many classically true statements…
We study Sp(2n,R)-invariant functionals on the spaces of smooth vectors in Speh representations of GL(2n,R). For even n we give expressions for such invariant functionals using an explicit realization of the space of smooth vectors in the…
We state several equivalent noncommutative versions of the Cauchy-Riemann equations and characterize the unbounded operators on L^2(R) which satisfy them. These operators arise from the creation operator via a functional calculus involving…
The main aim of this paper is to generalize the classical concept of positive operator, and to develop a general extension theory, which overcomes not only the lack of a Hilbert space structure, but also the lack of a normable topology. The…
In 1992, Kiendi, Adamy and Stelzner investigated under which conditions a certain type of function constituted a Lyapunov function for some time-invariant linear system. Six years later, it was obtained that this property holds if and only…
Classic complex analysis is built on structural function $K=1$ only associated with Cauchy-Riemann equations, subsequently various generalizations of Cauchy-Riemann equations start to break this situation. The goal of this article is to…
We consider a nonlinear partial differential equation for complex-valued functions which is related to the two-dimensional stationary Schrodinger equation and enjoys many properties similar to those of the ordinary differential Riccati…
The Kochen-Specker theorem states that exclusive and complete deterministic outcome assignments are impossible for certain sets of measurements, called Kochen-Specker (KS) sets. A straightforward consequence is that KS sets do not have…
We investigate differentiability of functions defined on regions of the real quaternion field and obtain a noncommutative version of the Cauchy-Riemann conditions. Then we study the noncommutative analog of the Cauchy integral as well as…
Alternative partial Boolean structures, implicit in the discussion of classical representability of sets of quantum mechanical predictions, are characterized, with definite general conclusions on the equivalence of the approaches going back…
We employ the theory of canonical extensions to study residuation algebras whose associated relational structures are functional, i.e., for which the ternary relations associated to the expanded operations admit an interpretation as…
The use of Extended Logics to replace ordinary second order definability in Kleene's {\em Ramified Analytical Hierarchy} is investigated. This mirrors a similar investigation of Kennedy, Magidor and V\"a\"an\"anen \cite{KeMaVa2016} where…
We introduce the two substructural propositional logics KL, KL+, which use disjunction, fusion and a unary, (quasi-)exponential connective. For both we prove strong completeness with respect to the interpretation in Kleene algebras and a…
We show that when certain statements are provable in subsystems of constructive analysis using intuitionistic predicate calculus, related sequential statements are provable in weak classical subsystems. In particular, if a $\Pi^1_2$…
We show that the validity of the non-commutative Khintchine inequality for some $q$ with $1<q<2$ implies its validity (with another constant) for all $1\le p<q$. We prove this for the inequality involving the Rademacher functions, but also…
We provide a sound and complete proof system for an extension of Kleene's ternary logic to predicates. The concept of theory is extended with, for each function symbol, a formula that specifies when the function is defined. The notion of…
We define a smooth functional calculus for a non-commuting tuple of (unbounded) operators $A_j$ on a Banach space with real spectra and resolvents with temperate growth, by means of an iterated Cauchy formula. The construction is also…
Our aim is to study the Ulam's problem for Cauchy's functional equations. First, we present some new results about the superstability and stability of Cauchy exponential functional equation and its Pexiderized for class functions on…
Classical results in computability theory, notably Rice's theorem, focus on the extensional content of programs, namely, on the partial recursive functions that programs compute. Later and more recent work investigated intensional…