Artigo Acesso aberto Revisado por pares

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

ISSN

1088-6826

Autores

Solomon Garfunkel, James H. Schmerl,

Tópico(s)

Rings, Modules, and Algebras

Resumo

Let 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)