Undecidability of first order sentences in the theory of free groupoids

DOI10.4064/fm-43-1-36-45zbMath0075.00601OpenAlexW821396032MaRDI QIDQ3240235

Stanislaw Jaskowski

Publication date: 1956

Published in: Fundamenta Mathematicae (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/213397

zbMATH Keywords

Mathematical logic and foundations

Mathematics Subject Classification ID

Philosophical aspects of logic and foundations (03Axx)

Related Items

Stanisław Jaśkowski: Life and Work, Scientific works of Stanislaw Jaskowski, The research of Jaskowski on decidability theory of first order sentences, Undecidability of the homogeneous formulas of degree 3 of the predicate calculus