Bemerkung zu Gurevich's Arbeit über das Entscheidungsproblem für Standardklassen

DOI10.1007/BF02011872zbMath0402.03019OpenAlexW99956490MaRDI QIDQ4186285

Egon Börger

Publication date: 1978

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

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

zbMATH Keywords

UndecidabilityClosed Prenex First-Order FormulaeConservative Reduction ClassHalting Problems of Register MachinesMonadic Function SymbolsStandard ClassUniversal Quantifier

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Turing machines and related notions (03D10)

Cites Work

• Unnamed Item
• Recursive unsolvability of Post's problem of Tag und other topics in theory of Turing machines
• Remarks on Berger's paper on the domino problem
• The decision problem for standard classes
• Semi-conservative reduction
• Beitrag zur Reduktion des Entscheidungsproblems auf Klassen von Hornformeln mit kurzen Alternationen
• Computability of Recursive Functions

This page was built for publication: Bemerkung zu Gurevich's Arbeit über das Entscheidungsproblem für Standardklassen