The Undecidability of Theories of Groupoids with an Extra Predicate
From MaRDI portal
Publication:5666545
DOI10.2307/2039719zbMath0253.02048OpenAlexW4241785957MaRDI QIDQ5666545
James H. Schmerl, Solomon A. Garfunkel
Publication date: 1974
Full work available at URL: https://doi.org/10.2307/2039719
Decidability of theories and sets of sentences (03B25) Groupoids (i.e. small categories in which all morphisms are isomorphisms) (20L05)
Related Items
Cites Work