Related papers: Positive model theory and infinitary logic
Compact metric spaces form an important class of metric spaces, but the category that they define lacks many important properties such as completeness and cocompleteness. In recent studies of "metric domain theory" and Stone-type dualities,…
We extend logical categories with fiberwise interior and closure operators so as to obtain an embedding theorem into powers of the category of topological spaces. The required axioms, besides the Kuratowski closure axioms, are a `product…
We study the two-boundary Temperley--Lieb $O(n)$ loop model on Kazhdan--Lusztig bases of type A and B. We obtain explicit expressions of the ground state of the two-boundary Temperley--Lieb Hamiltonian by means of a coideal subalgebra of…
We survey discrete and continuous model-theoretic notions which have important connections to general topology. We present a self-contained exposition of several interactions between continuous logic and $C_p$-theory which have applications…
The main goal of this article is to develop integration theory for absolute partition $L_\infty$-algebras, which are point-set models for the (spectral) partition Lie algebras of Brantner-Mathew where infinite sums of operations are…
Absolute algebras are a new type of algebraic structures, endowed with a meaningful notion of infinite sums of operations without supposing any underlying topology. Opposite to the usual definition of operadic calculus, they are defined as…
Motivated by work of Fine and Panov, and of Lindsay and Panov, we prove that every closed symplectic complexity one space that is positive (e.g. positive monotone) enjoys topological properties that Fano varieties with a complexity one…
We introduce a notion of the space of types in positive model theory based on Stone duality for distributive lattices. We show that this space closely mirrors the Stone space of types in the full first-order model theory with negation…
We characterize positive topological entropy for quasi-state space homeomorphisms induced from $C^*$-algebra automorphisms in terms of dynamically generated subspaces isomorphic to $\ell_1$. This geometric condition is also used to give a…
In this paper, we introduce the notions of $\alpha$-quasicomplemented and totally $\alpha$-quasicomplemented subspaces and we established some results under these contexts. We show, for example, that if $X$ is a separable or reflexive…
We investigate formal power series ideals and their relationship to topological rewriting theory. Since commutative formal power series algebras are Zariski rings, their ideals are closed for the adic topology defined by the maximal ideal…
We find many conditions equivalent to the model-theoretical property $\lambda \stackrel{\kappa}{\Rightarrow} \mu$ introduced in [L1]. Our conditions involve uniformity of ultrafilters, compactness properties of products of topological…
In [6], Geroch, Kronheimer and Penrose introduced a way to attach ideal points to a spacetime M , defining the causal completion of M. They established that this is a topological space which is Hausdorff when M is globally hyperbolic. In…
We study geometric and topological properties of locally compact, geodesically complete spaces with an upper curvature bound. We control the size of singular subsets, discuss homotopical and measure-theoretic stratifications and regularity…
We prove that the Euler characteristic of an even-dimensional compact manifold with positive (nonnegative) sectional curvature is positive (nonnegative) provided that the manifold admits an isometric action of a compact Lie group $G$ with…
We develop topological dynamics for the group of automorphisms of a monster model of any given theory. In particular, we find strong relationships between objects from topological dynamics (such as the generalized Bohr compactification…
In this paper, we develop a general study of contributions at infinity of Bochner-Weitzenb\"ock-type formulas on asymptotically flat manifolds, inspired by Witten's proof of the positive mass theorem. As an application, we show that similar…
We consider flux compactifications of type IIB string theory and F-theory in which the respective superpotentials at large complex structure are dominated by cubic or quartic terms in the complex structure moduli. In this limit, the…
We show that the infinite symmetric product of a connected graded-commutative algebra over the rationals is naturally isomorphic to the free graded-commutative algebra on the positive degree subspace of the original algebra. In particular,…
A class of models is presented, in the form of continuation monads polymorphic for first-order individuals, that is sound and complete for minimal intuitionistic predicate logic. The proofs of soundness and completeness are constructive and…