The classical decision problem and partial functions

DOI10.1007/BF02011134zbMath0431.03007MaRDI QIDQ3867807

Motti Abramsky

Publication date: 1980

Published in: Archiv für Mathematische Logik und Grundlagenforschung (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/137956

zbMATH Keywords

partial functionsprenex sentencesstandard classesdecision problem for sets of sentences of first-order logic

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25)

Cites Work

• Remarks on Berger's paper on the domino problem
• The decision problem for standard classes

This page was built for publication: The classical decision problem and partial functions