Reduction of the decision problem of the first order predicate calculus to reflexive and symmetrical binary predicates

DOI10.1007/BF02029167zbMath0242.02050OpenAlexW2002050101MaRDI QIDQ2553961

J. Suranyi

Publication date: 1971

Published in: Periodica Mathematica Hungarica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02029167

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25)

Cites Work

• Some theorems on definability and decidability
• On reduction to a symmetric relation
• Unnamed Item

This page was built for publication: Reduction of the decision problem of the first order predicate calculus to reflexive and symmetrical binary predicates