On reduction to a symmetric relation

DOI10.2307/2267690zbMath0047.00902OpenAlexW1979057508MaRDI QIDQ5812179

No author found.

Publication date: 1952

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2267690

zbMATH Keywords

philosophy and foundations of mathematics

Related Items (2)

First-order modal theories ⋮ Reduction of the decision problem of the first order predicate calculus to reflexive and symmetrical binary predicates

Cites Work

• Definability and decision problems in arithmetic

This page was built for publication: On reduction to a symmetric relation