Semi-conservative reduction
From MaRDI portal
Publication:4120563
DOI10.1007/BF02007254zbMath0351.02011MaRDI QIDQ4120563
Publication date: 1976
Published in: Archiv für Mathematische Logik und Grundlagenforschung (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/137924
03B10: Classical first-order logic
03B25: Decidability of theories and sets of sentences
03B99: General logic
Related Items
Das Entscheidungsproblem der Klasse von Formeln, die höchstens zwei Primformeln enthalten, Existential interpretation. II, Prefix classes of krom formulae with identity, Kleine unentscheidbare Klassen der Prädikatenlogik mit Identität und Funktionszeichen, Bemerkung zu Gurevich's Arbeit über das Entscheidungsproblem für Standardklassen
Cites Work