An unsolvable provability problem for one variable groupoid equations

DOI10.1305/NDJFL/1093890622MaRDI QIDQ5921488zbMATH OpenOpenAlexFDO

Authors Peter Perkins

Publication date 1972

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1305/ndjfl/1093890622

Mathematics Subject Classification ID

Applications of computability and recursion theory (03D80) Groupoids (i.e. small categories in which all morphisms are isomorphisms) (20L05)

This page was built for publication: An unsolvable provability problem for one variable groupoid equations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5921488)