26 citations · 33 across the 5 of their papers we have counts for
5 papers
AI as a component in the action research tradition of learning-by-doing
Ian Benson, Alexei Semenov
We consider learning mathematics through action research, hacking, discovery, inquiry, learning-by-doing as opposed to the instruct and perform, industrial model of the 19th centur…
Definability lattice for addition of rationals
A. L. Semenov, S. F. Soprunov
In the present paper we discuss the lattice of reducts of +
A Combinatorial Version of the Svenonius Theorem on Definability
A. L. Semenov, S. F. Soprunov
The Svenonius theorem describes the (first-order) definability in a structure in terms of permutations preserving the relations of elementary extensions of the structure. In the pr…
Lattice of relational algebras definable in integers with successor
A. L. Semenov, S. F. Soprunov
Svenonius theorem reduces the problem of first-order definability to the problem of relationship between groups of permutations. In the present paper we use this approach to descri…
Sequences close to periodic
An. A. Muchnik, Yu. L. Pritykin, A. L. Semenov
The paper is a survey of notions and results related to classical and new generalizations of the notion of a periodic sequence. The topics related to almost periodicity in combinat…