2 papers
math.LO2017
Finitely Generated Groups Are Universal
Matthew Harrison-Trainor, Meng-Che Ho
Universality has been an important concept in computable structure theory. A class of structures is universal if, informally, for any structure, of any kind, there is…
math.LO2017
On optimal Scott sentences of finitely generated algebraic structures
Matthew Harrison-Trainor, Meng-Che Ho
Scott showed that for every countable structure , there is a sentence of the infinitary logic , called a Scott sentence for , whose mo…