Related papers: Strong Typed B\"ohm Theorem and Functional Complet…
We consider the call-by-value lambda-calculus extended with a may-convergent non-deterministic choice and a must-convergent parallel composition. Inspired by recent works on the relational semantics of linear logic and non-idempotent…
Let $(T,{\cal F},\mu)$ be a $\sigma$-finite measure space, $E$ a separable real Banach space and $p\geq 1$. Given a sequence of functions $f, f_1, f_2,...$ from $T\times E$ to ${\bf R}$, under general assumptions, we prove that, for each…
A H\"ormander-type theorem is established for It\^o processes and related backward stochastic partial differential equations (BSPDEs). A short self-contained proof is also provided for the $L^2$-theory of linear, possibly degenerate BSPDEs,…
Let $m\in \mathbb{N}$ and $\vec{b}=(b_{1},\cdots,b_{m})$ be a collection of locally integrable functions. It is proved that $b_{1},b_{2},\cdots, b_{m}\in BMO$ if and only if…
We prove dual theorems to theorems proved by author in \cite {5}. Beginning with Section 10, we introduce and study so-called "twin numbers of the second kind" and a postulate for them. We give two proofs of the infinity of these numbers…
We address the problem of complementing higher-order patterns without repetitions of existential variables. Differently from the first-order case, the complement of a pattern cannot, in general, be described by a pattern, or even by a…
In this paper we solve a long standing problem about the bilinear $T1$ theorem to characterize the (weighted) compactness of bilinear Calder\'{o}n-Zygmund operators. Let $T$ be a bilinear operator associated with a standard bilinear…
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 a new two-sided type system for verifying the correctness and incorrectness of functional programs with atoms and pattern matching. A key idea in the work is that types should range over sets of normal forms, rather than sets…
It is well-known that every first-order property on words is expressible using at most three variables. The subclass of properties expressible with only two variables is also quite interesting and well-studied. We prove precise structure…
One of the most fundamental mathematical contributions of Garrett Birkhoff is the HSP theorem, which implies that a finite algebra B satisfies all equations that hold in a finite algebra A of the same signature if and only if B is a…
A completeness theorem is proved involving a system of integro-differential equations with some $\lambda$-depending boundary conditions. Also some sufficient conditions for the root functions to form a Riesz basis are established.
We present a proof of the one-sided $A_2$ theorem in dimension one, with a logarithmic loss. This theorem concerns one-sided Calder\'on-Zygmund operators (CZOs) whose kernels $K(x,y)$ vanish whenever $x < y$. These operators are bounded on…
One may formulate the dependent product types of Martin-L\"of type theory either in terms of abstraction and application operators like those for the lambda-calculus; or in terms of introduction and elimination rules like those for the…
We describe a realizability framework for classical first-order logic in which realizers live in (a model of) typed {\lambda}{\mu}-calculus. This allows a direct interpretation of classical proofs, avoiding the usual negative translation to…
The class of abelian $p$-groups are an example of some very interesting phenomena in computable structure theory. We will give an elementary first-order theory $T_p$ whose models are each bi-interpretable with the disjoint union of an…
We study positively closed and strongly positively closed topos-valued models of coherent theories. Positively closed is a global notion (it is defined in terms of all possible outgoing homomorphisms), while strongly positively closed is a…
In 2008, Loday shed light on the existence of Hopf-Boreltheorems for operads. Using the vocabulary of category theory, Livernet,Mesablishvili and Wisbauer extended such theorems to monads. In bothcases, the reasoning was to start from a…
In this paper, we establish a simple criterion for two $L$-functions $L_1$ and $L_2$ satisfying a functional equation (and some natural assumptions) to have infinitely many distinct zeros. Some related questions have already been answered…
We continue developing the theory of conical and vertical square functions on $R^{n}$, where $\mu$ is a power bounded measure, possibly non-doubling. We provide new boundedness criteria and construct various counterexamples. First, we prove…