Semi-conservative reduction

DOI10.1007/BF02007254zbMath0351.02011OpenAlexW2032457623MaRDI QIDQ4120563

Yuri Gurevich

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

Mathematics Subject Classification ID

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

Related Items (5)

Das Entscheidungsproblem der Klasse von Formeln, die höchstens zwei Primformeln enthalten ⋮ Kleine unentscheidbare Klassen der Prädikatenlogik mit Identität und Funktionszeichen ⋮ Bemerkung zu Gurevich's Arbeit über das Entscheidungsproblem für Standardklassen ⋮ Existential interpretation. II ⋮ Prefix classes of krom formulae with identity

Cites Work

• Theory of Formal Systems. (AM-47)

This page was built for publication: Semi-conservative reduction