Related papers: Some Model Theoretic Properties of Non-AC Generic …

Let $H$ be the C*-algebra of a non-trivial compact quantum group acting freely on a unital C*-algebra $A$. It was recently conjectured that there does not exist an equivariant $*$-homomorphism from $A$ (type-I case) or $H$ (type-II case) to…

We investigate atomicity of free algebras and various forms of amalgamation for BL and MV algebras, and also Heyting algebras, though the latter algebras may not be linearly ordered, so strictly speaking their corresponding intuitionistic…

We establish the following model-theoretic characterization: profinite $L$-structures, the cofiltered limits of finite $L$-structures,are retracts of ultraproducts of finite $L$-structures. As a consequence, any elementary class of…

Let M be a transitive model of set theory and X be a space in the sense of M. Is there a reasonable way to interpret X as a space in V? A general theory due to Zapletal provides a natural candidate which behaves well on sufficiently…

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…

Let $\cH$ be the one-parameter Hecke algebra associated to a finite Weyl group $W$, defined over a ground ring in which ``bad'' primes for $W$ are invertible. Using deep properties of the Kazhdan--Lusztig basis of $\cH$ and Lusztig's…

We extend Lawvere-Pitts prop-categories (aka. hyperdoctrines) to develop a general framework for providing "algebraic" semantics for nonclassical first-order logics. This framework includes a natural notion of substitution, which allows…

We give a proof of the existence of generalized definable locally compact models for arbitrary approximate subgroups via an application of topological dynamics in model theory. Our construction is simpler and shorter than the original one…

Nonrigid mathematical structures may no longer form usual Eilenberg - Mac Lane categories, but more general ones, as illustrated by pseudo-topologies. A rather general concept of pseudo-topology was used in constructing differential…

We intend to investigate the metalogical property of 'omitting types' for a wide variety of quantifier logics (that can also be seen as multimodal logics upon identifying existential quantifiers with modalities syntactically and…

Hilbert(ian) A-modules over finite von Neumann algebras A with a faithful normal trace state (from global analysis) and Hilbert W*-modules over A (from operator algebra theory) are compared, and a categorical equivalence is established. The…

We prove Los conjecture = Morley theorem in ZF, with the same characterization (of first order countable theories categorical in aleph_alpha for some (equivalently for every) ordinal alpha>0. Another central result here is, in this context:…

In this article we proved so-called strong reflection principles corresponding to formal theories Th which has omega-models. An posible generalization of the Lob's theorem is considered.Main results is: (1) let $k$ be an inaccessible…

We transfer a large part of the circle of theorems characterizing the generalization of classical $H^\infty$ known as `weak* Dirichlet algebras', to Arveson's noncommutative setting of subalgebras of finite von Neumann algebras.

We show that moduli spaces of transversely cut-out (perturbed) pseudo-holomorphic curves in an almost complex manifold carry canonical relative smooth structures ("relative to the moduli space of domain curves"). The main point is that…

We introduce and study some general principles and hierarchical properties of expansions and restrictions of structures and their theories The general approach is applied to describe these properties for classes of $\omega$-categorical…

Categories of models of algebraic theories have good categorical properties except for gluing. Building upon insights and examples from Synthetic Differential Geometry, we introduce a generalisation of models of algebraic theories to…

For a locally compact group $G$, we show that it is possible to present the class of continuous unitary representations of $G$ as an elementary class of metric structures, in the sense of continuous logic. More precisely, we show how…

Generalised indiscernibles highlight a strong link between model theory and structural Ramsey theory. In this paper, we use generalised indiscernibles as tools to prove results in both these areas. More precisely, we first show that a…

In this paper, we present finite topological type theorems for open manifolds with non-negative Ricci curvature, under almost maximal local rewinding volume. Unlike previous related research, our theorems remove the constraints of sectional…