Related papers: The tilting equivalence as a bi-interpretation
The theory of total positivity for reductive groups is here extended to the case of symmetric spaces.
Rohatgi and the author recently proved a shuffling theorem for lozenge tilings of `doubly-dented hexagons' (arXiv:1905.08311). The theorem can be considered as a hybrid between two classical theorems in the enumeration of tilings:…
In this article, we give new results in the startpoint theory for quasi-pseudometric spaces. The results we present provide us with the existence of startpoint (endpoint, fixed point) for multi-valued maps defined on a bicomplete…
We introduce and discuss a multivariate version of the classical median that is based on an equipartition property with respect to quarter spaces. These arise as pairwise intersections of the half-spaces associated with the coordinate…
We prove a modularity lifting theorem for potentially Barostti-Tate representations over totally real fields, generalising recent results of Kisin. Unfortunately, there was an error in the original version of this paper, meaning that we can…
We define bicolored tilings as a disk with a collection of smooth curves with a coloring map on the tiles that these curves delimit. Using two transformations, we define an equivalence on tilings. We then define the Scott map which creates…
The concept of quasi-partial b-metric-like spaces is being introduced and studied with the help of topology. Examples are also discussed to support the results. Some fixed point theorems are proved in the setting of quasi-partial…
A complete characterization of the similarity between two operator-valued multishifts with invertible operator weights is obtained purely in terms of operator weights. This generalizes several existing results of the unitary equivalence of…
Almost all representations considered in computable analysis are partial. We provide arguments in favor of total representations (by elements of the Baire space). Total representations make the well known analogy between numberings and…
In this article, we present an alternate proof of a vanishing result of \'etale cohomology on perfectoid rings due to \v{C}esnavi\v{c}ius and more recently proved by a different approach by Bhatt and Scholze. To establish that, we prove a…
We characterize when the elementary diagram of a mutually algebraic structure has a model complete theory, and give an explicit description of a set of existential formulas to which every formula is equivalent. This characterization yields…
We define the notion of an infinitely generated tilting object of infinite homological dimension in an abelian category. A one-to-one correspondence between $\infty$-tilting objects in complete, cocomplete abelian categories with an…
Working in any model theoretic structure, we single out a class of definable bipartite graphs that admit definable, close to perfect matchings. We use this result to prove a strengthening of Tarski's theorem for the definable setting.
Lindel\"of spaces are studied in any basic Topology course. However, there are other interesting covering properties with similar behaviour, such as almost Lindel\"of, weakly Lindel\"of, and quasi-Lindel\"of, that have been considered in…
We characterize vertex algebras (in a suitable sense) as algebras over a certain graded co-operad. We also discuss some examples and categorical implications of this characterization.
Spaces of quasi-invariant measures supplied with different topologies are studied. Their embeddings, projective decompositions, conditions for their metrizability are investigated. Theorems about convergence of nets of quasi-invariant…
We make explicit the correspondence between syntax and syntactic categories for coherent first-order logic, providing a categorical characterization of bi-interpretability. This is done by creating a biequivalence between a bicategory of…
In this paper, we introduce a new type of coupled fixed point theorem in partially ordered complete metric space. We give an example to support of our result.
The present article studies combinatorial tilings of Euclidean or spherical spaces by polytopes, serving two main purposes: first, to survey some of the main developments in combinatorial space tiling; and second, to highlight some new and…
We present an adequacy theorem for a concurrent extension of probabilistic GCL. The underlying denotational semantics is based on the so-called mixed powerdomains, which combine non-determinism with probabilistic behaviour. The theorem…