A characterization ofR-maximal sets
From MaRDI portal
Publication:4074891
DOI10.1007/BF02280810zbMath0315.02039OpenAlexW1571484639MaRDI QIDQ4074891
Publication date: 1975
Published in: Archiv für Mathematische Logik und Grundlagenforschung (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/137900
Decidability of theories and sets of sentences (03B25) Recursively (computably) enumerable sets and degrees (03D25)
Cites Work
This page was built for publication: A characterization ofR-maximal sets