Related papers: On Tarski's Decidability Problem
The work of Chatzidakis and Hrushovski on the model theory of difference fields in characteristic zero showed that groups defined by difference equations have a very restricted structure. Recent work of Chatzidakis, Hrushovski and Peterzil…
We introduce a partial decidability protocol for the Wang tiling problem (which is the prototype of undecidable problems in combinatorics and statistical physics) by constructing a suitable mapping from tilings of finite squares of…
The present survey aims at being a list of Conjectures and Problems in an area of model-theoretic algebra wide open for research, not a list of known results. To keep the text compact, it focuses on structures of finite Morley rank,…
We study relationship among versions of the Knapsack Problem where variables take values in Z and the number of them is fixed. In particular, we construct a finitely presented group where the problem of solvability of exponential equations…
Let {\phi} be an automorphism on a connected Lie group G. Through several G-subgroups associated to the dynamics of {\phi} we analyze their topological entropy. Assume that G belongs to the class of finite semisimple center Lie groups which…
This chapter is an up-to-date account of results on globally hyperbolic spacetimes, and serves several purposes. We begin with the exposition of results from a foundational level, where the main tools are order theory and general topology,…
In 20th century mathematics, the field of topology, which concerns the properties of geometric objects under continuous transformation, has proved surprisingly useful in application to the study of discrete mathematics, such as…
We present new, unified proofs for the cell-like, $\mathbb{Z}/p$-, and $\mathbb{Q}$-resolution theorems. Our arguments employ extensions that are much simpler then those used by our predecessors. The techniques allow us to solve problems…
The goal of these talks was to explain how cohomology and other tools of algebraic topology are seen through the lens of n-category theory. Special topics include nonabelian cohomology, Postnikov towers, the theory of "n-stuff", and…
A mapping class group of an oriented manifold is a quotient of its diffeomorphism group by the isotopies. In the published version of "Mapping class group and a global Torelli theorem for hyperkahler manifolds" I made an error based on a…
The first well founded perturbation theory for classical solid systems is presented. Theoretical approaches to thermodynamic and structural properties of the hard-sphere solid provide us with the reference system. The traditional…
We give an $O(\log^2 n)$-query algorithm for finding a Tarski fixed point over the $4$-dimensional lattice $[n]^4$, matching the $\Omega(\log^2 n)$ lower bound of [EPRY20]. Additionally, our algorithm yields an ${O(\log^{\lceil…
This paper is a continuation of our 2005 paper on complex topology and its implication on invertibility (or non-invertibility). In this paper, we will try to classify the complexity of inversion into 3 different classes. We will use…
Interrelation between Thom's catastrophes and differential equations revisited. It is shown that versal deformations of critical points for singularities of A,D,E type are described by the systems of Hamilton-Jacobi type equations. For…
I review three different problems occuring in two dimensional field theory: 1) classification of conformal field theories; 2) construction of lattice integrable realizations of the latter; 3) solutions to the WDVV equations of topological…
A new class of noncommutative $k$-algebras (for $k$ an algebraically closed field) is defined and shown to contain some important examples of quantum groups. To each such algebra, a first order theory is assigned describing models of a…
A discrete subset $S$ of a topological group $G$ is called a {\it suitable set} for $G$ if $S\cup \{e\}$ is closed in $G$ and the subgroup generated by $S$ is dense in $G$, where $e$ is the identity element of $G$. In this paper, the…
Possible generalizations of the topological (or Berezinskii-Kosterlitz-Thouless) phase transition on multicomponent 2D systems with nontrivial vector homotopic group pi_1 are considered. Relations between Ginzburg-Landau like theories,…
This paper develops a geometrical model of dislocations and disclinations in single crystals at the mesoscopic scale. In the continuation of previous work the distribution theory is used to represent concentrated effects in the defect lines…
In two papers we noted that in common practice many algebraic constructions are defined only `up to isomorphism' rather than explicitly. We mentioned some questions raised by this fact, and we gave some partial answers. The present paper…