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

DOI10.1305/NDJFL/1093894637zbMath0197.28202OpenAlexW1985742359MaRDI QIDQ2539863

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

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

Related Items (2)

An equational logic sampler ⋮ A field guide to equational logic

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