Related papers: The extensional realizability model of continuous …

Let $C$ be a closed convex cone in a Banach ideal space $X$ on a measurable space with a $\sigma$-finite measure. We prove that conditions $C\cap X_+=\{0\}$ and $C\supset -X_+$ imply the existence of a strictly positive continuous…

Let $K$ be a positive compact operator on a Banach lattice. We prove that if either $[K>$ or $<K]$ is ideal irreducible then $[K>=<K]=L_+(X)\cap {K}'$. We also establish the Perron-Frobenius Theorem for such operators $K$. Finally we apply…

Let $S$ be a right reversible semitopological semigroup, and let $\operatorname{LUC}(S)$ be the space of left uniformly continuous functions on $S$. Suppose that $\operatorname{LUC}(S)$ has a left invariant mean. Let $K$ be a weakly compact…

In this short note we partially extend the recent nonuniqueness results on admissible weak solutions to the Riemann problem for the 2D compressible isentropic Euler equations. We prove nonuniqueness of admissible weak solutions that start…

We discuss a multiplicative counterpart of Freiman's $3k-4$ theorem in the context of a function field $F$ over an algebraically closed field $K$. Such a theorem would give a precise description of subspaces $S$, such that the space $S^2$…

The lower-order cr-invariant variational problem for Legendrian curves in the 3-sphere is studied and its Euler-Lagrange equations are deduced. Closed critical curves are investigated. Closed critical curves with non-constant cr-curvature…

We discuss two extensions of results conjectured by Nick Kuhn about the non-realization of unstable algebras as the mod $p$ singular cohomology of a space, for $p$ a prime. The first extends and refines earlier work of the second and fourth…

We say that a function f defined on R or Qp has a well defined weak Mellin transform (or weak zeta integral) if there exists some function $M\_f(s)$ so that we have $Mell(\phi \star f,s) = Mell(\phi,s)M\_f(s)$ for all test functions $\phi$…

We study a notion of realizability with a local operator J which was first considered by A.M. Pitts in his thesis. Using the Suslin-Kleene theorem, we show that the representable functions for this realizability are exactly the…

The present essay aims at investigating whether and how far an algebraic analysis of the Zeta Function and of the Riemann Hypothesis can be carried out. Of course the well-established properties of the Zeta Function, explored in depth in…

It is a major problem in analysis on metric spaces to understand when a metric space is quasisymmetric to a space with strong analytic structure, a so-called Loewner space. A conjecture of Kleiner, recently disproven by Anttila and the…

A recent claim that finite precision in the design of real experiments ``nullifies'' the impact of the Kochen-Specker theorem, is shown to be unsupportable, because of the continuity of probabilities of measurement outcomes under slight…

We are interested in a WKB analysis of the Logarithmic Non-Linear Schr\"odinger Equation with "Riemann-like" variables in an analytic framework in semiclassical regime. We show that the Cauchy problem is locally well posed uniformly in the…

A semantics for quantified modal logic is presented that is based on Kleene's notion of realizability. This semantics generalizes Flagg's 1985 construction of a model of a modal version of Church's Thesis and first-order arithmetic. While…

We show that a vector-valued Kahn--Kalai--Linial inequality holds in every Banach space of Rademacher type 2. We also show that for any nondecreasing function $h\geq 0$ with $0<\int_{1}^{\infty}\frac{h(t)}{t^{2}}\mathrm{dt}<\infty$ we have…

It is shown that the models recently proposed by Meyer, Kent and Clifton (MKC) exhibit a novel kind of contextuality, which we term existential contextuality. In this phenomenon it is not simply the pre-existing value but the actual…

In a recent work, it was shown by one of us (EGC) that Bell-Kochen-Specker inequality violations in phenomena satisfying the no-disturbance condition (a generalisation of the no-signalling condition) cannot in general be explained with a…

This paper aims at studying a functional $K$-transformation $w\left( z \right)\to \widetilde{w}\left( z \right)=w\left( z \right)K\left( z \right)$ that is made to reconsider the complex differentiability for a given complex function $w$…

J.L. Krivine developed a new method based on realizability to construct models of set theory where the axiom of choice fails. We attempt to recreate his results in classical settings, i.e. symmetric extensions. We also provide a new…

We derive sufficient conditions for the surjectivity of the Cauchy-Riemann operator $\overline{\partial}$ between spaces of weighted smooth Fr\'echet-valued functions. This is done by establishing an analog of H\"ormander's theorem on the…