Related papers: A definable $\mathsf E_0$-class containing no defi…
In this note we define and study free global spectra: global spectra with non-trivial geometric fixed points only at the trivial group. We show that free global spectra often do not exist, and when they do, their homotopy groups satisfy…
If ${\cal D}$ is a definable category then it may contain no nonzero finitely presented modules but, by a result of Makkai, there is a $\varinjlim$-generating set of strictly ${\cal D}$-atomic modules. These modules share some key…
Proper classes of extensions of real field was defined and topological properties of these extensions were studied. These extensions can be connected, in this case such set is not closed under binary operations (addition and…
If $X$ is a quasi-compact and quasi-separated scheme, the category $Qcoh(X)$ of quasi-coherent sheaves on $X$ is locally finitely presented. Therefore categorical flat quasi-coherent sheaves naturally arise. But there is also the standard…
A class of models intended to be as minimal and structureless as possible is introduced. Even in cases with simple rules, rich and complex behavior is found to emerge, and striking correspondences to some important core known features of…
Let $\mathcal F=(F, +. \cdot, <, 0, 1, \dots)$ be a definably complete locally o-minimal expansion of an ordered field. We demonstrate the existence of definable quotients of definable sets by definable equivalence relations when several…
We establish an equivalence between categories of 'formally nilpotent' Lie algebras and exponential groups in characteristic zero. It extends the equivalences of Mal'cev, Lazard, Quillen and Warfield, and applies to groups under composition…
A special class of autonomous algebraic differential equations is studied. No equations in the class have any entire transcendental solutions. In a sense, for almost all equations in the class, transcendental meromorphic solutions can also…
We prove the following instance of a conjecture stated in arXiv:1103.4770. Let $G$ be an abelian semialgebraic group over a real closed field $R$ and let $X$ be a semialgebraic subset of $G$. Then the group generated by $X$ contains a…
A pointwise definable model is one in which every object is definable without parameters. In a model of set theory, this property strengthens V=HOD, but is not first-order expressible. Nevertheless, if ZFC is consistent, then there are…
For the algebra L= K <x, d/dx, \int> of polynomial integro-differential operators over a field K of characteristic zero, a classification of indecomposable, generalized weight L-modules of finite length is given. Each such module is an…
We define complete Segal objects, which play the role of internal higher category objects. Then we study them using representable Cartesian fibrations, in particular defining adjunctions and limits of complete Segal objects. Finally we use…
Let X be a definable sub-set of some o-minimal structure. We study the spectrum of X, in relation with the definability of types.
We give an example of a valued field $(K,A)$ such that the valuation ring $A$ is definable by an $L_{\text{ring}}$-formula without parameters, but there is no $\exists\forall\exists$ or $\forall\exists\forall$-formula in $L_{\text{ring}}$…
We make use of a finite support product of $\omega_1$ clones of the Jensen minimal $\varPi^1_2$ singleton forcing to obtain a model of ZFC in which every non-empty lightface analytically definable set of reals contains a lightface…
We define a class of languages of infinite words over infinite alphabets, and the corresponding automata. The automata used for recognition are a generalisation of deterministic Muller automata to the setting of nominal sets. Remarkably,…
We show that a large class of divisible abelian $\ell$-groups (lattice ordered groups) of continuous functions is interpretable (in a certain sense) in the lattice of the zero sets of these functions. This has various applications to the…
From a Lie algebra $\mathfrak{g}$ satisfying $\mathcal{Z}(\mathfrak{g})=0$ and $\Lambda^2(\mathfrak{g})^\mathfrak{g}=0$ (in particular, for $\g$ semisimple) we describe explicitly all Lie bialgebra structures on extensions of the form…
We consider a separable compact line $K$ and its extension $L$ consisting of $K$ and a countable number of isolated points. The main object of study is the existence of a bounded extension operator $E: C(K)\to C(L)$. We show that if such an…
For fragments L of first-order logic (FO) with counting quantifiers, we consider the definability problem, which asks whether a given L-formula can be equivalently expressed by a formula in some fragment of L without counting, and the more…