Related papers: Model Theory for $C_p$-theorists

Let $M$ be a closed complex submanifold in ${\mathbb C}^N$ with the complete K\"ahler metric induced by the Euclidean metric. Several finiteness theorems on the $L^p$ Bergman space of holomorphic sections of a given Hermitian line bundle…

In recent work, comonads and associated structures have been used to analyse a range of important notions in finite model theory, descriptive complexity and combinatorics. We extend this analysis to Hybrid logic, a widely-studied extension…

It follows from a theorem of Rosenthal that a compact space is $ccc$ if and only if every Eberlein continuous image is metrizable. Motivated by this result, for a class of compact spaces $\mathcal{C}$ we define its orthogonal…

We introduce the notion of a logical model category which is a Quillen model category satisfying some additional conditions. Those conditions provide enough expressive power that one can soundly interpret dependent products and sums in it.…

This note corrects a gap and improves results in an earlier paper by the first named author. More precisely, it is shown that on weakly compactly generated Banach spaces X which admit a C^{p} smooth norm, one can uniformly approximate…

We study $L^p$-theory of second-order elliptic divergence type operators with complex measurable coefficients. The major aspect is that we allow complex coefficients in the main part of the operator, too. We investigate generation of…

Denote by $[0,\omega_1)$ the locally compact Hausdorff space consisting of all countable ordinals, equipped with the order topology, and let $C_0[0,\omega_1)$ be the Banach space of scalar-valued, continuous functions which are defined on…

The class of spaces such that their product with every Lindel\"of space is Lindel\"of is not well-understood. We prove a number of new results concerning such productively Lindel\"of spaces with some extra property, mainly assuming the…

This paper investigates the contingency of logic within the framework of possible world semantics. Possible world semantics captures the meaning of necessitation, i.e., a statement is necessarily true if it holds in all possible worlds.…

When optimization theorists consider optimization problems in infinite dimensional spaces, they need to deal with closed convex subsets(usually cones) which mostly have empty interior. These subsets often prevent optimization theorists from…

A type theory is presented that combines (intuitionistic) linear types with type dependency, thus properly generalising both intuitionistic dependent type theory and full linear logic. A syntax and complete categorical semantics are…

Our paper begins with a revision of spectral theory for commutative Banach algebras, which enables us to prove the $L^p_{\omega}-$conjecture for locally compact abelian groups. We follow an alternative approach to the one known in the…

This paper provides a self-contained exposition of coorbit spaces associated to integrable group representations and quasi-Banach function spaces, and at the same time extends and simplifies previous work. The main results provide an…

We show via an application of techniques from complex interpolation theory how the $L^p$-pseudofunction algebras of a locally compact group $G$ can be understood as sitting between $L^1(G)$ and $C^*(G)$. Motivated by this, we collect and…

We construct a discrete model of the homotopy theory of $S^1$-spaces. We define a category $\sP$ with objects composed of a simplicial set and a cyclic set along with suitable compatibility data. $\sP$ inherits a model structure from the…

Using recent results in topos theory, two systems of higher-order logic are shown to be complete with respect to sheaf models over topological spaces---so-called ``topological semantics''. The first is classical higher-order logic, with…

Under mild conditions on the space X, we describe the additive structure of the integral cohomology of the space $X^p \times_{C_p}EC_p$ in terms of the cohomology of X. We give weaker results for other similar spaces, and deduce various…

This review paper highlights the main aspects of the development of research related to the solution of extreme problems in the theory of approximation in the spaces ${\mathcal S}^p$ and $B{\mathcal S}^p$ of periodic and almost periodic…

In this work, we generalize M. Kac's original many-particle binary stochastic model to derive a space homogeneous Boltzmann equation that includes a linear combination of higher-order collisional terms. First, we prove an abstract theorem…

The following topics are presented in these notes: Elements of Banach algebras, Banach algebras of the form $L^1(G)$, where $G$ is a locally compact group, spectrum of elements of Banach algebras, the spectral theory of compact operators on…