Displaying similar documents to “Some undecidable theories with monadic predicates and without equality.”