Undecidability of the homogeneous formulas of degree 3 of the predicate calculus

DOI10.1007/BF02125281zbMath0315.02045OpenAlexW2321055073MaRDI QIDQ1220926

August Pieczkowski

Publication date: 1968

Published in: Studia Logica (Search for Journal in Brave)

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

Mathematics Subject Classification ID

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

Related Items

On the logic of event-causation. Jaśkowski-style systems of causal logic ⋮ Provability with Finitely Many Variables ⋮ The equational theory of CA₃ is undecidable ⋮ The relational model of data and cylindric algebras

Cites Work

• Undecidability of first order sentences in the theory of free groupoids
• Unnamed Item