Open AccessThe Class of Orderable Groups Is a Quasi-Variety with Undecidable Theory
Author(s) -
Benjamin Fine,
Anthony Gaglione,
Gerhard Rosenberger,
Dennis Spellman
Publication year - 2021
Publication title -
advances in pure mathematics
Language(s) - English
Resource type - Journals
eISSN - 2160-0368
pISSN - 2160-0384
DOI - 10.4236/apm.2021.113013
Subject(s) - undecidable problem , mathematics , class (philosophy) , axiom , combinatorics , order (exchange) , group (periodic table) , dihedral group , discrete mathematics , decidability , chemistry , geometry , finance , organic chemistry , artificial intelligence , computer science , economics