Related papers: Infinitary logic and basically disconnected compac…

We show that a C*-algebra is a $1$-separably injective Banach space if, and only if, it is linearly isometric to the Banach space $C_0(\Omega)$ of complex continuous functions vanishing at infinity on a substonean locally compact Hausdorff…

Let $\mathcal{L}$ be a first-order two-sorted language and consider a class of $\mathcal{L}$-structures of the form $\langle M, X \rangle$ where $M$ varies among structures of the first sort, while $X$ is fixed in the second sort, and it is…

Supplementing and expanding classical results, for compact spaces $K$ and $L$, $L$ metric, and their Banach spaces $\mathcal{C}(L)$ and $\mathcal{C}(K)$ of continuous real-valued functions, we provide several characterizations of the…

Inspired by a recent work of Dias and Tall, we show that a compact indestructible space is sequentially compact. We also prove that a Lindelof Hausdorff indestructible space has the finite derived set property and a compact Hausdorff…

A universal coefficient theorem is proved for C*-algebras over an arbitrary finite T_0-space X which have vanishing boundary maps. Under bootstrap assumptions, this leads to a complete classification of unital/stable real-rank-zero…

We extend the main result of (G. Badia and G. Olkhovikov. A Lindstr\"om theorem for intuitionistic propositional logic. Notre Dame Journal of Formal Logic, 61 (1): 11--30 (2020)) to the first-order intuitionistic logic (with and without…

The classical theorems of Banach and Stone, Gelfand and Kolmogorov, and Kaplansky show that a compact Hausdorff space $X$ is uniquely determined by the linear isometric structure, the algebraic structure, and the lattice structure,…

This paper begins the study of infinite-dimensional modules defined on bicomplex numbers. It generalizes a number of results obtained with finite-dimensional bicomplex modules. The central concept introduced is the one of a bicomplex…

We consider an infinite dimensional separable Hilbert space and its family of compact integrable cocycles over a dynamical system f. Assuming that f acts in a compact Hausdorff space X and preserves a Borel regular ergodic measure which is…

In this paper we give a new proof for the completeness of infinite valued propositional \L ukasiewicz logic introduced by \L ukasiewicz and Tarski in 1930. Our approach employs a Hilbert-style proof that relies on the concept of maximal…

Any unital separable continuous C(X)-algebra with properly infinite fibres is properly infinite as soon as the compact Hausdorff space X has finite topological dimension. We study conditions under which this is still the case in the…

We develop an analogue of the classical Scott analysis for metric structures and infinitary continuous logic. Among our results are the existence of Scott sentences for metric structures and a version of the Lopez-Escobar theorem. We also…

We describe an infinitary logic for metric structures which is analogous to $L_{\omega_1, \omega}$. We show that this logic is capable of expressing several concepts from analysis that cannot be expressed in finitary continuous logic. Using…

Finiteness spaces constitute a categorical model of Linear Logic (LL) whose objects can be seen as linearly topologised spaces, (a class of topological vector spaces introduced by Lefschetz in 1942) and morphisms as continuous linear maps.…

Working in the framework of Borel reducibility, we study various notions of embeddability between groups. We prove that the embeddability between countable groups, the topological embeddability between (discrete) Polish groups, and the…

Continuous mappings between compact Hausdorff spaces can be studied using homomorphisms between algebraic structures (lattices, Boolean algebras) associated with the spaces. This gives us more tools with which to tackle problems about these…

Let $\mathbb{C}_q$ be a non-commutative Laurent polynomial ring associated with a $(n+1)\times (n+1)$ rational quantum matrix $q$. Let $\mathfrak{sl}_d(\mathbb{C}_q)\oplus HC_1(\mathbb{C}_q)$ be the universal central extension of Lie…

In this article, we introduce the notion of a curved absolute $\mathcal{L}_\infty$-algebra, a structure that behaves like a curved $\mathcal{L}_\infty$-algebra where all infinite sums of operations are well-defined by definition. We develop…

We propose a doxastic \L ukasiewicz logic \textbf{B\L} that is sound and complete with respect to the class of Kripke-based models in which atomic propositions and accessibility relations are both infinitely valued in the standard…

We show that if we enrich first order logic by allowing quantification over isomorphisms between definable ordered fields the resulting logic, L(Q_{Of}), is fully compact. In this logic, we can give standard compactness proofs of various…