Undecidability of first order sentences in the theory of free groupoids

DOI10.4064/FM-43-1-36-45MaRDI QIDQ3240235zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• DECIDABILITY OF THE UNIVERSAL AND POSITIVE THEORIES OF A FREE GROUP
• scientific article; zbMATH DE number 3916533
• scientific article; zbMATH DE number 1748024
• scientific article; zbMATH DE number 804141
• scientific article; zbMATH DE number 665291
• Undecidability of the first order theories of free noncommutative Lie algebras
• Undecidability of the positive \(\forall\exists^ 3\)-theory of a free semigroup
• Publication:3204451
• Polycyclic-by-finite groups and first-order sentences
• Degrees of unsolvability of first order decision problems for finitely presented groups

Cited in

(6)

• 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
• scientific article; zbMATH DE number 665291 (Why is no real title available?)
• Stanisław Jaśkowski: life and work
• On first-order sentences without finite models

This page was built for publication: Undecidability of first order sentences in the theory of free groupoids

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3240235)