Related papers: The extensional realizability model of continuous …
In classical complex analysis analyticity of a complex function $f$ is equivalent to differentiability of its real and imaginary parts $u$ and $v$, respectively, together with the Cauchy-Riemann equations for the partial derivatives of $u$…
Kleene's computability theory based on the S1-S9 computation schemes constitutes a model for computing with objects of any finite type and extends Turing's 'machine model' which formalises computing with real numbers. A fundamental…
On a reflexive Banach space $X$, if an operator $T$ admits a functional calculus for the absolutely continuous functions on its spectrum $\sigma(T) \subseteq \mathbb{R}$, then this functional calculus can always be extended to include all…
We discuss the reflexivity of hyperexpansions and their Cauchy dual operators. In particular, we show that any cyclic completely hyperexpansive operator is reflexive. We also establish the reflexivity of the Cauchy dual of an arbitrary…
Kleene's computability theory based on his S1-S9 computation schemes constitutes a model for computing with objects of any finite type and extends Turing's `machine model' which formalises computing with real numbers. A fundamental…
We prove a realization theorem for rational functions of several complex variables which extends the main theorem of M. Bessmertnyi, "On realizations of rational matrix functions of several complex variables," in Vol. 134 of Oper. Theory…
We build a Kleene realizability semantics for the two-level Minimalist Foundation MF, ideated by Maietti and Sambin in 2005 and completed by Maietti in 2009. Thanks to this semantics we prove that both levels of MF are consistent with the…
We investigate the end extendibility of models of arithmetic with restricted elementarity. By utilizing the restricted ultrapower construction in the second-order context, for each $n\in\mathbb{N}$ and any countable model of…
We consider linear operators defined on a subspace of a complex Banach space into its topological antidual acting positively in a natural sense. The goal of this paper is to investigate of this kind of operators. The main theorem is a…
The technique of "classical realizability" is an extension of the method of "forcing"; it permits to extend the Curry-Howard correspondence between proofs and programs, to Zermelo-Fraenkel set theory and to build new models of ZF, called…
The present paper consists of two parts. In the first part, we prove a noncommutative analogue of the Riesz(-Markov-Kakutani) theorem on representation of functionals on an algebra of continuous functions by regular measures on the…
We investigate completions of partial combinatory algebras (pcas), in particular of Kleene's second model $\mathcal{K}_2$ and generalizations thereof. We consider weak and strong notions of embeddability and completion that have been…
Let $F$ be an ordered topological vector space (over $\mathbb{R}$) whose positive cone $F_+$ is weakly closed, and let $E \subseteq F$ be a subspace. We prove that the set of positive continuous linear functionals on $E$ that can be…
We present an integral representation for the tensor product $L$-function of a pair of automorphic cuspidal representations, one of a classical group, the other of a general linear group. Our construction is uniform over all classical…
Extendability of an empirical model was shown by Abramsky & Brandenburger to correspond in a unified manner to both locality and non-contextuality. We develop their approach by presenting a refinement of the notion of extendability that can…
BD-N is a weak principle of constructive analysis. Several interesting principles implied by BD-N have already been identified, namely the closure of the anti-Specker spaces under product, the Riemann Permutation Theorem, and the Cauchyness…
Kochen-Specker theorems assure the breakdown of certain types of non-contextual hidden variable theories through the non-existence of global, holistic frame functions; alas they do not allow us to identify where this breakdown occurs, nor…
We determine the computational complexity of the Hahn-Banach Extension Theorem. To do so, we investigate some basic connections between reverse mathematics and computable analysis. In particular, we use Weak Konig's Lemma within the…
For a given Beurling-Carleson subset $E$ of the unit circle $\mathbb{T}$ which has positive Lebesgue measure, we give explicit formulas for measurable functions supported on $E$ such that their Cauchy transforms have smooth extensions from…
For every partial combinatory algebra (pca), we define a hierarchy of extensionality relations using ordinals. We investigate the closure ordinals of pca's, i.e. the smallest ordinals where these relations become equal. We show that the…