×

Found 14 Documents (Results 1–14)

Undecidability in weak membership theories. (English) Zbl 0858.03014

Ursini, Aldo (ed.) et al., Logic and algebra. Proceedings of the international conference dedicated to the memory of Roberto Magari, April 26–30, 1994, Pontignano, Italy. New York, NY: Marcel Dekker. Lect. Notes Pure Appl. Math. 180, 327-337 (1996).
MSC:  03B25 03E30
PDFBibTeX XMLCite

Decidability of the \(\exists^*\forall^*\)-class in the membership theory NWL. (English) Zbl 0858.03015

Hájek, Petr (ed.), Gödel ’96. Logical foundations of mathematics, computer science and physics – Kurt Gödel’s legacy. Proceedings of a conference, Brno, Czech Republic, August 1996. Berlin: Springer-Verlag. Lect. Notes Log. 6, 183-194 (1996).
MSC:  03B25 03E30
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Year of Publication

Main Field

Software