Related papers: An NIP structure which does not interpret an infin…
In this note the smooth (i.e. with open stabilizers) linear and {\sl semilinear} representations of certain permutation groups (such as infinite symmetric group or automorphism group of an infinite-dimensional vector space over a finite…
We describe the E-infinity algebra structure on the complex of singular cochains of a topological space, in the context of sheaf theory. As a first application, for any algebraic variety we define a weight filtration compatible with its…
We define and study Noetherian topologies for spaces of infinite sets, and infinite words. In each case, we also obtain S-representations, namely, computable presentations of the sobrifications of those spaces.
The work of Greither and Pareigis details the enumeration of the Hopf-Galois structures (if any) on a given separable field extension. For an extension $L/K$ which is classically Galois with $G=Gal(L/K)$ the Hopf algebras in question are of…
We consider an arbitrary representation of the additive group over a field of characteristic zero and give an explicit description of a finite separating set in the corresponding ring of invariants.
In this note we study sets of NIP formulas in some theories of fields and valued fields, with a special focus on the sets of quantifier-free and existential formulas. First, we give a new proof of the fact that Separably Closed Valued…
We construct an example of an $A_{\infty}$ algebra structure defined over a finite dimensional graded vector space.
A Nash group is said to be almost linear if it has a Nash representation with finite kernel. Structures and basic properties of these groups are studied.
We investigate bounds in Ramsey's theorem for relations definable in NIP structures. Applying model-theoretic methods to finitary combinatorics, we generalize a theorem of Bukh and Matousek [B. Bukh, J. Matou\v{s}ek.…
We define the notion of a sheaf over a complex of groups. As an application, we give a criterion for the developability of a complex of groups. When the developability is witnessed by a morphism to $\mathrm{GL}(V)$ for some $V$, our…
In the paper "An Abelian Loop for Non-Composites" (arXiv:110.14716), we introduced a group-like structure consisting of odd prime numbers and 1, with properties that allowed us to prove analogous results to well known theorems in Number…
We construct a model of the comprehension schema in the logic LP=>.
We define and describe the properties of a class of perverse sheaves which is very useful when the base ring is not a field.
We compare a number of different definitions of structure algebras and TKK constructions for Jordan (super)algebras appearing in the literature. We demonstrate that, for unital superalgebras, all the definitions of the structure algebra and…
We construct, using mild combinatorial hypotheses, a real Menger set that is not Scheepers, and two real sets that are Menger in all finite powers, with a non-Menger product. By a forcing-theoretic argument, we show that the same holds in…
The article is devoted to the describtion of quasitriangular structures (universal R-matrices) on cocommutative Hopf algebras. It is known that such structures are concentrated on finite dimensional Hopf subalgebras. In particular,…
The recent investigation of the gauge structure of extended geometry is generalised to situations when ancillary transformations appear in the commutator of two generalised diffeomorphisms. The relevant underlying algebraic structure turns…
This paper presents analogous results of Hua [7][8] on numbers of representations of quivers over finite fields which respect nilpotent relations under certain assumptions. A closed formula which counts isomorphism classes of absolutely…
We propose new structures called almost o-minimal structures and $\mathfrak X$-structures. The former is a first-order expansion of a dense linear order without endpoints such that the intersection of a definable set with a bounded open…
The theory of finitely supported algebraic structures is related to Pitts theory of nominal sets (by equipping finitely supported sets with finitely supported internal algebraic laws). It represents a reformulation of Zermelo Fraenkel set…