Related papers: Structural results on idealistic equivalence relat…
We construct a class of II_1 factors M that admit unclassifiably many Cartan subalgebras in the sense that the equivalence relation of being conjugate by an automorphism of M is complete analytic, in particular non Borel. We also construct…
Let A be a connected graded algebra and let E denote its Ext-algebra. There is a natural A-infinity algebra structure on E, and we prove that this structure is mainly determined by the relations of A. In particular, the coefficients of the…
We identify an interesting special class of prime ideals in the finitary infinite symmetric group algebra. We show that the set of such ideals carries a semiring structure. Over the complex numbers, we establish a connection with spherical…
Our "long term and large scale" aim is to characterize the first order theories T (at least the countable ones) such that: for every ordinal alpha there lambda,M_1,M_2 such that M_1,M_2 are non-isomorphic models of T of cardinality lambda…
This work deals with the definability problem by quantifier-free first-order formulas over a finite algebraic structure. We show the problem to be coNP-complete and present two decision algorithms based on a semantical characterization of…
We examine the degree structure $\mathbf{ER}$ of equivalence relations on $\omega$ under computable reducibility. We examine when pairs of degrees have a join. In particular, we show that sufficiently incomparable pairs of degrees do not…
This work connects two mathematical fields - computational complexity and interval linear algebra. It introduces the basic topics of interval linear algebra - regularity and singularity, full column rank, solving a linear system, deciding…
We express the Partial regularities and $a^*$-invariants of a Borel type ideal in terms of its irredundant irreducible decomposition. In addition we consider the behaviours of those invariants under intersections and sums.
We consider the conjugation-action of the Borel subgroup of the symplectic or the orthogonal group on the variety of nilpotent complex elements of nilpotency degree $2$ in its Lie algebra. We translate the setup to a…
To some braiding R of Hecke type (a Hecke symmetry) we put into correspondence an associative algebra called the modified Reflection Equation Algebra (mREA). We construct a series of matrices L_(m), m=1,2,... with entries belonging to mREA…
We describe the basic theory of infinite time Turing machines and some recent developments, including the infinite time degree theory, infinite time complexity theory, and infinite time computable model theory. We focus particularly on the…
We study equations over relational structures that approximate groups and semigroups. For such structures we proved the criteria, when a direct power of such algebraic structures is equationally Noetherian.
We obtain an explicit presentation of the equivariant cobordism ring of a complete flag variety. An immediate corollary is a Borel presentation of the ordinary cobordism ring. Another application is an equivariant Schubert calculus in…
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…
A central question for causal inference is to decide whether a set of correlations fit a given causal structure. In general, this decision problem is computationally infeasible and hence several approaches have emerged that look for…
We generalise the notion of separable equivalence, originally presented by Linckelmann (2011), to an equivalence relation on additive categories. We use this generalisation to show that from an initial equivalence between two algebras we…
We study the structure of effective cardinals in the nonstandard set universe of Hrbacek set theory HST. Some results resemble those known in descriptive set theory in the domain of Borel reducibility of equivalence relations.
There are investigated the Lie algebraic structure and integrability properties of a very interesting class of nonlinear dynamical systems called the heavenly equations, which were initiated by Pleba\'nski and later analyzed in a series of…
We study Borel ideals $I$ on $\mathbb{N}$ with the Fr\'echet property such its orthogonal $I^\perp$ is also Borel (where $A\in I^\perp$ iff $A\cap B$ is finite for all $B\in I$ and $I$ is Fr\'echet if $I=I^{\perp\perp}$). Let $\mathcal{B}$…
Some cohomology classes associated with an ideal in a Lie algebra, a Poisson structure on the basic functions algebra of contact structure, its Poisson cohomology and geometric (pre)quantization are considered from the algebraic point of…