Some undecidable theories with monadic predicates and without equality
From MaRDI portal
Publication:3931375
DOI10.1007/BF02011640zbMath0475.03022MaRDI QIDQ3931375
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
03D35: Undecidability and degrees of sets of sentences
03B25: Decidability of theories and sets of sentences
Cites Work