Non-recursiveness of the set of finite sets of equations whose theories are one based

DOI10.1305/NDJFL/1093894637zbMATH Open0197.28202OpenAlexW1985742359MaRDI QIDQ2539863FDOQ2539863

Douglas D. Smith

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/1093894637

zbMATH Keywords

recursion theory, constructive mathematics

Mathematics Subject Classification ID

Representation of semigroups; actions of semigroups on sets (20M30) Undecidability and degrees of sets of sentences (03D35)

Cited In (2)

• A field guide to equational logic
• An equational logic sampler

This page was built for publication: Non-recursiveness of the set of finite sets of equations whose theories are one based

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