Related papers: 'Hausdorff distance' via conical cocompletion
Finite covers are a technique for building new structures from simpler ones. The original motivation to study finite covers is in the Ladder theorem of Zilber which describes how totally categorical structures are built from strictly…
We study the combination of two o-minimal extensions of the theory of real closed fields: one by a T-convex subring and the other by a T-derivation. Let T be a complete, model complete o-minimal extension of RCF. We show that the combined…
Perfect fluid Friedmann-Robertson-Walker quantum cosmological models for an arbitrary barotropic equation of state $p = \alpha\rho$ are constructed using Schutz's variational formalism. In this approach the notion of time can be recovered.…
We study when a union of saturated models is saturated in the framework of tame abstract elementary classes (AECs) with amalgamation. We prove: $\mathbf{Theorem}$ If $K$ is a tame AEC with amalgamation satisfying a natural definition of…
We study the homological algebra in the category $\mathcal{P}_p$ of strict polynomial functors of degree $p$ over a field of positive characteristic $p$. We determine the decomposition matrix of our category and we calculate the Ext-groups…
The quantum mechanics of one degree of freedom exhibiting the exact conformal SL(2,R) symmetry is presented. The starting point is the classification of the unitary irreducible representations of the SL(2,R) group (or, to some extent, its…
We show that completeness at higher levels of the theory of the reals is a robust notion (under changing the signature and bounding the domain of the quantifiers). This mends recognized gaps in the hierarchy, and leads to stronger…
Multivariate versions of the Kronecker theorem in the continuous multivariate setting has recently been published. These theorems characterize the symbols that give rise to finite rank multidimensional Hankel and Toeplitz type operators…
We consider the structure of classes of curves on a projective simply connected surface for which fundamental groups of the complements admit free quotients having rank greater than one with irreducible components belonging to a selected…
This contribution to the present Workshop Proceedings outlines a general programme for identifying geometric structures--out of which to possibly recover quantum dynamics as well--associated to the manifold in Hilbert space of the quantum…
In fairly elementary terms this paper presents, and expands upon, a recent result by Garner by which the notion of topologicity of a concrete functor is subsumed under the concept of total cocompleteness of enriched category theory.…
The Katz-Sarnak density conjecture states that the scaling limits of the distributions of zeros of families of automorphic $L$-functions agree with the scaling limits of eigenvalue distributions of classical subgroups of the unitary groups…
By introducing the concept of quantaloidal completions for an order-enriched category, relationships between the category of quantaloids and the category of order-enriched categories are studied. It is proved that quantaloidal completions…
We present an abstract approach to Lorentzian Gromov-Hausdorff distance and convergence, and an alternative approach to Lorentzian length spaces that does not use auxiliary ``positive signature'' metrics or other unobserved fields. We begin…
We prove a recent conjecture by Harlow and Ooguri concerning a universal formula for the charged density of states in QFT at high energies for global symmetries associated with finite groups. An equivalent statement, based on the entropic…
We find a possible interpretation of Henkin's Theorem in the language of existential implicational doctrines. Under some smallness assumption, starting from an implicational existential doctrine, with non-trivial fibers, we construct a new…
The note presents a further study of the class of Cuntz--Krieger type algebras. A necessary and sufficient condition is identified that ensures that the algebra is purely infinite, the ideal structure is studied, % and applied to semigraph…
A cuf space (set, resp.) is a space (set, resp.) which is a countable union of finite subspaces (subsets, resp.). It is proved in $\mathbf{ZF}$ (with the absence of the axiom of choice) that all countable unions of cuf (denumerable, resp.)…
In this note we relate the geometric notion of fill radius with the fundamental group of the manifold. We prove: ''Suppose that a closed Riemannian manifold M satisfies the property that its universal cover has bounded fill radius. Then the…
A finitely presented group is weakly geometrically simply connected (wgsc) if it is the fundamental group of some compact polyhedron whose universal covering is wgsc i.e. it has an exhaustion by compact connected and simply connected…