On optimal Scott sentences of finitely generated algebraic structures
From MaRDI portal
Publication:6283449
DOI10.1090/proc/14063zbMath1522.03126arXiv1702.06448MaRDI QIDQ6283449
Meng-Che Ho, Matthew Harrison-Trainor
Publication date: 21 February 2017
Generators, relations, and presentations of groups (20F05) Free nonabelian groups (20E05) Cancellation theory of groups; application of van Kampen diagrams (20F06) Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45)
This page was built for publication: On optimal Scott sentences of finitely generated algebraic structures