Some undecidable theories with monadic predicates and without equality
Hans Kleine Büning
Arch. Math. Log.
Abstract & Figures
Sorry, we couldn't extract an abstract for this paper.
Figures and Tables
Sorry, we couldn't extract any figures or tables for this paper.
Sorry, we couldn't extract any citations for this paper.
Sorry, we couldn't extract any references for this paper.
Loading similar papers…
Slides referencing similar topics
Decidability of Monadic Theories
Wolfgang Thomas • Jan 07, 2016
Undecidability in group theory, topology, and analysis
Bjorn Poonen • Nov 11, 2017
Logic, Automata, and Games IV: Decidability of Monadic Theories
Wolfgang Thomas • Mar 06, 2015