Related papers: Positive model theory and infinitary logic

A test space is the set of outcome-sets associated with a collection of experiments. This notion provides a simple mathematical framework for the study of probabilistic theories -- notably, quantum mechanics -- in which one is faced with…

We study the complexity of isomorphism of classes of metric structures using methods from infinitary continuous logic. For Borel classes of locally compact structures, we prove that if the equivalence relation of isomorphism is potentially…

We survey our recent papers (some being joint ones) about the relation between the geometry of a compact K\"ahler manifold and the existence of automorphisms of positive entropy on it. We also use the language of log minimal model program…

Let $X$ be a completely regular topological space. We study closed ideals $H$ of $C_B(X)$, the normed algebra of bounded continuous scalar-valued mappings on $X$ equipped with pointwise addition and multiplication and the supremum norm,…

For a module-finite algebra over a commutative noetherian ring, we give a complete description of flat cotorsion modules in terms of prime ideals of the algebra, as a generalization of Enochs' result for a commutative noetherian ring. As a…

In analogy to the topological entropy for continuous endomorphisms of totally disconnected locally compact groups, we introduce a notion of topological entropy for continuous endomorphisms of locally linearly compact vector spaces. We study…

Let $H$ be a real algebraic group acting equivariantly with finitely many orbits on a real algebraic manifold $X$ and a real algebraic bundle $\mathcal{E}$ on $X$. Let $\mathfrak{h}$ be the Lie algebra of $H$. Let…

We formulate a theory of shape valid for objects of arbitrary dimension whose contours are path connected. We apply this theory to the design and modeling of viable trajectories of complex dynamical systems. Infinite families of…

We define ''convergence'' for noncommutative power series and construct two topologies on the algebra of power series, convergent with respect to a positive radius. We indicate all finite dimensional continuous representations of this…

''Positive geometries'' are a class of semi-algebraic domains which admit a unique ''canonical form'': a logarithmic form whose residues match the boundary structure of the domain. The study of such geometries is motivated by recent…

We identify a canonical structure J associated to any first-order theory, the {\it space of definability patterns}. It generalizes the imaginary algebraic closure in a stable theory, and the hyperimaginary bounded closure in simple…

We prove an obstruction at the level of rational cohomology in small degrees to the existence of positively curved metrics with large symmetry rank. The symmetry rank bound is logarithmic in the dimension of the manifold. As an application,…

To the symmetric space of the (positive half) of a real loop group, we attach a Borel--Serre type bordification and equip it with a Hausdorff topology. The attached boundary, indexed by certain rational parabolics of the loop group, is…

We compute the homotopy type of the moduli space of flat, unitary connections over aspherical surfaces, after stabilizing with respect to the rank of the underlying bundle. Over the orientable surface M^g, we show that this space has the…

Integral representations are obtained of positive additive functionals on finite products of the space of continuous functions (or of bounded Borel functions) on a compact Hausdorff space. These are shown to yield characterizations of the…

We introduce a new class of locally compact groups, namely the strongly compactly covered groups, which are the Hausdorff topological groups $G$ such that every element of $G$ is contained in a compact open normal subgroup of $G$. For…

This paper develops a categorical framework to clarify the relationship between the completeness and compactness theorems in classical first-order logic. Rather than claiming that different model constructions yield naturally isomorphic…

An alternative, geometrical proof of a known theorem concerning the decomposition of positive maps of the matrix algebra $M_{2}(\mathbb{C})$ has been presented. The premise of the proof is the identification of positive maps with operators…

We define a notion of {\it positive part} of a lattice $\Lambda$ and we endow the set of such positive parts with a topology. We then study some properties of this topology, by comparing it with the one of $V^*/\RM_{> 0}$, where $V^*$ is…

We explore various formality and finiteness properties in the differential graded algebra models for the Sullivan algebra of piecewise polynomial rational forms on a space. The 1-formality property of the space may be reinterpreted in terms…