Related papers: Scott-Karp analysis without sentences
The universal-algebraic approach has proved a powerful tool in the study of the complexity of CSPs. This approach has previously been applied to the study of CSPs with finite or (infinite) omega-categorical templates, and relies on two…
We show that for any uncountable cardinal $\lambda$, the category of sets of cardinality at least $\lambda$ and monomorphisms between them cannot appear as the category of point of a topos, in particular is not the category of models of a…
We give a "limit-free formula" simplifying the computation of the topological entropy for topological automorphisms of totally disconnected locally compact groups. This result allows us to extend several basic properties of the topological…
We use classical invariant theory to solve the biholomorphic equivalence problem for two families of plane curve singularities previously considered in the literature. Our calculations motivate an intriguing conjecture that proposes a way…
The symmetric interaction combinators are an equally expressive variant of Lafont's interaction combinators. They are a graph-rewriting model of deterministic computation. We define two notions of observational equivalence for them,…
A co-valuation is, essentially, a minimal finite cover. We introduce a logic based on co-valuations, which play the role of valuations of free variables in classical first-order logic, and show that the fundamental tools of model theory --…
In this paper, we introduce and study non-local Jacobi operators, which generalize the classical (local) Jacobi operators. We show that these operators extend to generators of ergodic Markov semigroups with unique invariant probability…
We present an elementary description of sofic equivalence relations, as well as some permanence properties for soficity. We answer a question by Conley, Kechris and Tucker-Drob of determining soficity in terms of the full group for…
Consider real-analytic mapping-germs, (R^n,o)-> (R^m,o). They can be equivalent (by coordinate changes) complex-analytically, but not real-analytically. However, if the transformation of complex-equivalence is identity modulo higher order…
The category of locally compact quantum groups can be described as either Hopf $*$-homomorphisms between universal quantum groups, or as bicharacters on reduced quantum groups. We show how So{\l}tan's quantum Bohr compactification can be…
Stone duality generalizes to an equivalence between the categories $\mathsf{Stone}^{\mathsf{R}}$ of Stone spaces and closed relations and $\mathsf{BA}^\mathsf{S}$ of boolean algebras and subordination relations. Splitting equivalences in…
To any compact $K\subset\hat{\mathbb{C}}$ we associate a map $\lambda_K: \hat{\mathbb{C}}\rightarrow\mathbb{N}\cup\{\infty\}$ -- the lambda function of $K$ -- such that a planar continuum $K$ is locally connected if and only if…
We give a survey on recent results on inequalities between the ranks of homotopy and cohomology groups (resp., graded components of mixed Hodge structures on these groups) of rationally elliptic spaces (resp., quasi-projective varieties…
We study probabilistic variants of the Lusternik--Schnirelmann category and topological complexity, which bound the classical invariants from below. We present a number of computations illustrating both wide agreement and wide disagreement…
In a first part of this paper, we introduce a homology theory for infinity-operads and for dendroidal spaces which extends the usual homology of differential graded operads defined in terms of the bar construction, and we prove some of its…
We construct the equivariant analytic lattice cohomology associated with the analytic type of a complex normal surface singularity whenever the link is a rational homology sphere. It is the categorification of the equivariant geometric…
Artificial Intelligence federates numerous scientific fields in the aim of developing machines able to assist human operators performing complex treatments -- most of which demand high cognitive skills (e.g. learning or decision processes).…
Using the language of coarse homology theories, we provide an axiomatic account of vanishing results for the fibres of forget-control maps associated to spaces with equivariant finite decomposition complexity.
ASD (Abstract Stone Duality) is a re-axiomatisation of general topology in which the topology on a space is treated, not as an infinitary lattice, but as an exponential object of the same category as the original space, with an associated…
This paper addresses the unconstrained minimization of smooth convex functions whose gradients are locally Holder continuous. Building on these results, we analyze the Scaled Gradient Algorithm (SGA) under local smoothness assumptions,…