Related papers: Universally measurable sets may all be Delta^1_2
We relate the existence problem of universal objects to the properties of corresponding enriched categories (lifts or expansions). In particular, extending earlier results, we prove that for every (possibly infinite) regular set F of finite…
We study the implications of model completeness of a theory for the effectiveness of presentations of models of that theory. It is immediate that for a computable model $\mathcal A$ of a computably enumerable, model complete theory, the…
We demonstrate when and how an entire left-infinite orbit of an underlying dynamical system or observations from such left-infinite orbits can be uniquely represented by a pair of elements in a different space, a phenomenon which we call…
A unital $\ell$-group $(G,u)$ is an abelian group $G$ equipped with a translation-invariant lattice-order and a distinguished element $u$, called order-unit, whose positive integer multiples eventually dominate each element of $G$. We…
We continue the study of a class of topological $\mathcal{L}$-fields endowed with a generic derivation $\delta$, focussing on describing definable groups. We show that one can associate to an $\mathcal{L}_{\delta}$ definable group a type…
For any finite totally ordered set, the multisets of intervals form an abelian category. Various classes of subcategories admit natural combinatorial descriptions, and counting them yields familiar integer sequences. Surprisingly, in some…
The quest for complete observables in general relativity has been a longstanding open problem. We employ methods from descriptive set theory to show that no complete observable on rich enough collections of spacetimes is Borel definable. In…
We describe a conjectural construction (in the spirit of Hilbert's 12th problem) of units in abelian extensions of certain base fields which are neither totally real nor CM. These base fields are quadratic extensions with exactly one…
The forcing theorem is the most fundamental result about set forcing, stating that the forcing relation for any set forcing is definable and that the truth lemma holds, that is everything that holds in a generic extension is forced by a…
Universal measuring coalgebras provide an enrichment of the category of algebras over the category of coalgebras. By considering the special case of the tensor algebra on a vector space V, the category of linear spaces itself becomes…
The global extendibility of smooth causal geodesically incomplete spacetimes is investigated. Denote by $\gamma$ one of the incomplete non-extendible causal geodesics of a causal geodesically incomplete spacetime $(M,g_{ab})$. First, it is…
The variational properties of the scalar so--called ``Universal'' equations are reviewed and generalised. In particular, we note that contrary to earlier claims, each member of the Euler hierarchy may have an explicit field dependence. The…
We continue our earlier investigation on generalized reproducing kernels, in connection with the complex geometry of $C^*$- algebra representations, by looking at them as the objects of an appropriate category. Thus the correspondence…
We examine various categorical structures that can and cannot be constructed. We show that total computable functions can be mimicked by constructible functors. More generally, whatever can be done by a Turing machine can be constructed by…
We consider categories of relational structures that fully embed every category of universal algebras, and prove a partial characterisation of these in terms of an infinitary variant of the notion of nowhere density of Ne\v{s}et\v{r}il and…
For the distance function from any closed subset of any complete Finsler manifold, we prove that the singular set is equal to a countable union of delta-convex hypersurfaces up to an exceptional set of codimension two. In addition, in…
In this paper, generalized metrics mean metrics taking values in general linearly ordered Abelian groups. Using the Hahn fields, we first prove that for every generalized metric space, if the set of the Archimedean equivalence classes of…
We define the notion of computability of F{\o}lner sets for finitely generated amenable groups. We prove, by an explicit description, that the Kharlampovich group, a finitely presented solvable group with unsolvable word problem, has…
We find new "reasons" for a class of models for not having a universal model in a cardinal $\lambda$. This work, though it has consequences in model theory, is really in combinatorial set theory. We concentrate on a prototypical class which…
We construct a fully faithful functor from the category of graphs to the category of fields. Using this functor, we resolve a longstanding open problem in computable model theory, by showing that for every nontrivial countable structure S,…