9 citations · 9 across the 3 of their papers we have counts for
Showing math.LOShow all
2 papers · 1 filter
math.LO2013
The space of minimal structures
Oleg Belegradek
For a signature L with at least one constant symbol, an L-structure is called minimal if it has no proper substructures. Let S_L be the set of isomorphism types of minimal L-struct…
math.LO2006
Theory of square-like abelian groups is decidable
Oleg Belegradek
A group is called square-like if it is universally equivalent to its direct square. It is known that the class of all square-like groups admits an explicit first order axiomatizati…