Some undecidable theories with monadic predicates and without equality

DOI10.1007/BF02011640MaRDI QIDQ3931375zbMATH OpenFDO

Authors Hans Kleine Büning

Publication date 1981

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

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

zbMATH Keywords

groupoiddecision problems for restricted first order theories

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Undecidability and degrees of sets of sentences (03D35)

Cites work

• scientific article; zbMATH DE number 3248792 (Why is no real title available?)
• Computability of Recursive Functions
• Recursive unsolvability of Post's problem of Tag und other topics in theory of Turing machines
• The Undecidability of Theories of Groupoids with an Extra Predicate
• The reachability problem for Petri nets and decision problems for Skolem arithmetic

This page was built for publication: Some undecidable theories with monadic predicates and without equality

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