Kleine unentscheidbare Klassen der Prädikatenlogik mit Identität und Funktionszeichen

DOI10.1007/BF02011871zbMath0398.03005MaRDI QIDQ4182709

Martin Wirsing

Publication date: 1978

Published in: Archiv für Mathematische Logik und Grundlagenforschung (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/137948

zbMATH Keywords

Predicate LogicUndecidable Class

Mathematics Subject Classification ID

Classical first-order logic (03B10) Decidability of theories and sets of sentences (03B25)

Related Items (1)

A Homage to Martin Wirsing

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Das Entscheidungsproblem der Klasse von Formeln, die höchstens zwei Primformeln enthalten
• Semi-conservative reduction
• Undecidable properties of finite sets of equations
• Finite models for inequations

This page was built for publication: Kleine unentscheidbare Klassen der Prädikatenlogik mit Identität und Funktionszeichen