The undecidability of theories of groupoids with an extra predicate
1974; American Mathematical Society; Volume: 42; Issue: 1 Linguagem: Inglês
10.1090/s0002-9939-1974-0325378-3
ISSN1088-6826
AutoresSolomon Garfunkel, James H. Schmerl,
Tópico(s)Rings, Modules, and Algebras
ResumoLet T be any theory in the language of groupoids, and let T ′ T’ be the same theory considered now in the language with an extra unary predicate. If some model of T has a substructure which is an infinite cancellative groupoid, then T ′ T’ is hereditarily undecidable.
Referência(s)