Related papers: Primitive recursive categoricity spectra

We investigate the computational properties of basic mathematical notions pertaining to $\mathbb{R}\rightarrow \mathbb{R}$-functions and subsets of $\mathbb{R}$, like finiteness, countability, (absolute) continuity, bounded variation,…

In this paper, we find a criterium for universal equivalence of partially commutative Lie algebras whose defining graphs are trees. Besides, we obtain bases for partially commutative metabelian Lie algebras.

We explore a physical model of ordered sums of integers as trains of rods. The trains for a fixed, possibly infinite, set of rod lengths naturally correspond to nodes in a tree; relations among finite linear recursions encoded in the…

We construct a triangle equivalence between the singularity categories of two isolated cyclic quotient singularities of Krull dimensions two and three, respectively. This is the first example of a singular equivalence involving connected…

We consider equivalence relations and preorders complete for various levels of the arithmetical hierarchy under computable, component-wise reducibility. We show that implication in first order logic is a complete preorder for $\SI 1$, the…

The category of rational O(2)-equivariant spectra splits as a product of cyclic and dihedral parts. Using the classification of rational G-equivariant spectra for finite groups G, we classify the dihedral part of rational O(2)-equivariant…

In previous work, we showed that there are appropriate model category structures on the category of simplicial categories and on the category of Segal precategories, and that they are Quillen equivalent to one another and to Rezk's complete…

We prove that the bounded derived category of coherent sheaves on a smooth projective complex variety reconstructs the isomorphism classes of fibrations onto smooth projective curves of genus $g\geq 2$. Moreover, in dimension at most four,…

We introduce the notion of a definable category--a category equivalent to a full subcategory of a locally finitely presentable category that is closed under products, directed colimits and pure subobjects. Definable subcategories are…

We prove that if $G$ and $H$ are $\alpha$-back-and-forth equivalent groups (in the sense of computable structure theory) for some ordinal $\alpha \geq \omega$, then their group von Neumann algebras $L(G)$ and $L(H)$ are also…

We develop a purely set-theoretic formalism for binary trees and binary graphs. We define a category of binary automata, and display it as a fibred category over the category of binary graphs. We also relate the notion of binary graphs to…

A triangular limit algebra A is isometrically isomorphic to the tensor algebra of a C*-correspondence if and only if its fundamental relation R(A) is a tree admitting a $Z^+_0$-valued continuous and coherent cocycle. For triangular limit…

We define notions of generically and coarsely computable relations and structures and functions between structures. We investigate the existence and uniqueness of equivalence structures in the context of these definitions

We develop some foundations of commutative algebra, with a view towards algebraic geometry, in symmetric tensor categories. Most results establish analogues of classical theorems, in tensor categories which admit a tensor functor to some…

There are familiar examples of computable structures having various computable Scott ranks. There are also familiar structures, such as the Harrison ordering, which have Scott rank $\omega_1^{CK}+1$. Makkai produced a structure of Scott…

We introduce a notion of Pre-structurable Algebras based upon triality relations and study its relation to structurable algebra of Allison, as well as to Lie algebras satisfying triality.

We prove that for any initial data on a genus zero spectral curve the corresponding correlation differentials of topological recursion are KP integrable. As an application we prove KP integrability of partition functions associated via…

We study classical structures in various categories of completely positive morphisms: on sets and relations, on cobordisms, on a free dagger compact category, and on Hilbert spaces. As an application, we prove that quantum maps with…

A quantitative model of concurrent interaction is introduced. The basic objects are linear combinations of partial order relations, acted upon by a group of permutations that represents potential non-determinism in synchronisation. This…

We discuss the homological algebra of representation theory of finite dimensional algebras and finite groups. We present various methods for the construction and the study of equivalences of derived categories: local group theory, geometry…