References
Börger, E., Kleine Büning, H.: The reachability problem for Petri nets and decision problems for Skolem arithmetic. Tagungsband: Mathematische Logik, Oberwolfach, April 1978.
Garfunkel, S., Schmerl, S.H.: The undecidability of theories of groupoids with an extra predicate. Proc. Am. Math. Soc.42, 286–289 (1974).
Minsky, M.: Recursive unsolvability of post problem of “Tag” and other topics in the theory of turning machines. Ann. Math.74, 437–455 (1961).
Shepherdson, S.C., Sturgis, H.E.: Computability of recursive functions. ACM10, 217–255 (1963).
Shoenfield, J.R.: Mathematical logic. Reading (Mass.): Addison-Wesley 1967.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Büning, H.K. Some undecidable theories with monadic predicates and without equality. Arch math Logik 21, 137–148 (1981). https://doi.org/10.1007/BF02011640
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02011640