Related papers: A generalization of Solovay's $\Sigma$-constructio…

Let $G$ be $\text{SO}^\circ(n,1)$ for $n \geq 3$ and consider a lattice $\Gamma < G$. Given a standard Borel probability $\Gamma$-space $(\Omega,\mu)$, consider a measurable cocycle $\sigma:\Gamma \times \Omega \rightarrow…

The survey covers several topics related to the asymptotic structure of various combinatorial and analytic objects such as the path spaces in graded graphs (Bratteli diagrams), invariant measures with respect to countable groups, etc. The…

Implicative algebras have been recently introduced by Miquel in order to provide a unifying notion of model, encompassing the most relevant and used ones, such as realizability (both classical and intuitionistic), and forcing. In this work,…

We extend the notion of generalised Cesaro summation/convergence developed previously to the more natural setting of what we call "remainder" Cesaro summation/convergence and, after illustrating the utility of this approach in deriving…

For each $n\in\mathbb{N}$, let $[n]\phi$ mean "the sentence $\phi$ is true in all $\Sigma_{n+1}$-correct transitive sets." Assuming G\"odel's axiom $V = L$, we prove the following graded variant of Solovay's completeness theorem: the set of…

A theorem of Eilenberg establishes that there exists a bijection between the set of all varieties of regular languages and the set of all varieties of finite monoids. In this article after defining, for a fixed set of sorts $S$ and a fixed…

Given a $\Gamma$-semigroup $S$, we construct a semigroup $\Sigma$ in such a way that one sided ideals and quasi-ideals of $S$ can be regarded as one sided ideals and quasi-ideals respectively of $\Sigma$. This correspondence and other…

In this article, we generalise a result of Pottmeyer from the multiplicative group of the algebraic numbers to almost split semiabelian varieties defined over number fields. This concerns a consequence of R\'emond's generalisation of…

We give a full description of the structure under inclusion of all finite level Borel classes of functions, and provide an elementary proof of the well-known fact that not every Borel function can be written as a countable union of…

We extend the theory of generalized divisors so as to work on any scheme $X$ satisfying the condition $S_2$ of Serre. We define a generalized notion of Gorenstein biliaison for schemes in projective space. With this we give a new proof in a…

Let $\ell$ be a prime, $k$ a finitely generated field of characteristic different from $\ell$, and $X$ a smooth geometrically connected curve over $k$. Say a semisimple representation of $\pi_1^{\mathrm{et}}(X_{\bar k})$ is arithmetic if it…

This paper generalizes the fundamental GAGA results of Serre cite{MR0082175} in three ways---to the non-separated setting, to stacks, and to families. As an application of these results, we show that analytic compactifications of…

We define a generalization $\mathfrak{G}$ of the Grassmann algebra $G$ which is well-behaved over arbitrary commutative rings $C$, even when $2$ is not invertible. In particular, this enables us to define a notion of superalgebras that does…

A two-point selection on a set $X$ is a function $f:[X]^2 \to X$ such that $f(F) \in F$ for every $F \in [X]^2$. It is known that every two-point selection $f:[X]^2 \to X$ induced a topology $\tau_f$ on $X$ by using the relation: $x \leq y$…

Let $A$ be an algebra and $\sigma$ an automorphism of $A$. A linear map $d$ of $A$ is called a $\sigma$-derivation of $A$ if $d(xy) = d(x)y + \sigma(x)d(y)$, for all $x, y \in A$. A linear map $D$ is said to be a generalized…

We describe how to obtain a global t-structure from a semiorthogonal decomposition with compatible t-structures on every component. This result is used to generalize a well-known theorem of Bondal on full strong exceptional sequences.

With a model of a geometric theory in an arbitrary topos, we associate a site obtained by endowing a category of generalized elements of the model with a Grothendieck topology, which we call the antecedent topology. Then we show that the…

We compare three notions of genericity of separable metric structures. Our analysis provides a general model theoretic technique of showing that structures are generic in descriptive set theoretic (topological) sense and in measure…

We give a categorification of the notion of a mathematical structure originally given by Bourbaki in their set theory textbook. We show that any isomorphism-invariant property of a finite structure can be computed by counting the number of…

Menger's basis property is a generalization of $\sigma$-compactness and admits an elegant combinatorial interpretation. We introduce a general combinatorial method to construct non $\sigma$-compact sets of reals with Menger's property.…