Related papers: The extensional realizability model of continuous …
The classical action of a two dimensional N=2 supersymmetric theory, characterized by a general K\"{a}hler potential, is written down on a non(anti)commutative superspace. The action has a power series expansion in terms of the determinant…
In this paper, we will see that the Cartesian product of two 2-Banach spaces is also 2-Banach space and discuss some properties of closed linear operator in linear 2-normed space. We also describe the concept of different types of…
We construct a counterexample to a well-known extension theorem for slice regular functions, which motivates us to develop a theory of Riemann slice-domains by introducing a new topology on quaternions. By some paths describing axial…
Kochen-Specker theorem rules out the non-contextual assignment of values to physical magnitudes. Here we enrich the usual orthomodular structure of quantum mechanical propositions with modal operators. This enlargement allows to refer…
We introduce infinitary action logic with exponentiation -- that is, the multiplicative-additive Lambek calculus extended with Kleene star and with a family of subexponential modalities, which allows some of the structural rules…
This paper is concerned with the study of a class of nonlinear nonlocal functional evolution problems defined in an abstract Banach algebra. We introduce an abstract functional setting that encompasses a wide range of structured population…
It was presented by Cabello and Nakamura [A. Cabello, Phys. Rev. Lett. 90, 190401 (2003)], that the Kochen-Specker theorem applies to two dimensions if one uses Positive Operator-Valued Measures. We show that contextuality in their models…
We carry out an analysis of the existence of solutions for a class of nonlinear partial differential equations of parabolic type. The equation is associated to a nonlocal initial condition, written in general form which includes, as…
In this talk we study the renormalization of the effective Kaehler potential at one and two loops for general four dimensional (non--renormalizable) N=1 supersymmetric theories described by arbitrary Kaehler potential, superpotential and…
Extending the classical notion of the spreading model, the $k$-spreading models of a Banach space are introduced, for every $k\in\mathbb{N}$. The definition, which is based on the $k$-sequences and plegma families, reveals a new class of…
We introduce the notion of {\it approximation type} for the partial, and in certain cases the total description of extensions of a given valuation from a field $K$ to the rational function field $K(x)$. To every extension, a unique…
We introduce notions of absolutely continuous functionals and representations on the non-commutative disk algebra $A_n$. Absolutely continuous functionals are used to help identify the type L part of the free semigroup algebra associated to…
We establish the $L^2$ theory for the Cauchy-Riemann equations on product domains provided that the Cauchy-Riemann operator has closed range on each factor. We deduce regularity of the canonical solution on $(p,1)$-forms in special Sobolev…
The Kochen-Specker no-go theorem established that hidden-variable theories in quantum mechanics necessarily admit contextuality. This theorem is formally stated in terms of the partial Boolean algebra structure of projectors on a Hilbert…
We show the existence of weak solutions in the extended sense of the Cauchy problem for the cubic nonlinear Schr\"odinger equation in the modulation space $M_{2,q}^{s}(\mathbb R)$, $1\leq q\leq2$ and $s\geq0.$ In addition, for either $s\geq…
Following Milner's seminal paper, the representation of functions as processes has received considerable attention. For pure $\lambda$-calculus, the process representations yield (at best) non-extensional $\lambda $-theories (i.e., $\beta$…
The celebrated Kleene fixed point theorem is crucial in the mathematical modelling of recursive specifications in Denotational Semantics. In this paper we discuss whether the hypothesis of the aforementioned result can be weakened. An…
We generalize the classical Bernstein theorem concerning the constructive description of classes of functions uniformly continuous on the real line. The approximation of continuous bounded functions by entire functions of exponential type…
A countable structure is said to be extendible if it has the same Scott sentence as some uncountable structure. Rigid structures are not extendible. We give an example of an extendible model with a rigid elementary extension.
The goal of the present paper is to introduce and study noncommutative Hardy spaces associated with the regular $\Lambda$-polyball, to develop a functional calculus on noncommutative Hardy spaces for the completely non-coisometric (c.n.c.)…