scientific article; zbMATH DE number 3634239

MaRDI QIDQ4194946zbMATH OpenFDO

Authors Detlef Seese

Publication date 1978

zbMATH Keywords

Haerting QuantifierUndecidability of Well-Ordering

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Logic with extra quantifiers and operators (03C80)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4194946)