On the definitional embeddability of some elementary algebraic theories into the first-order predicate calculus

zbMATH Open1370.03013MaRDI QIDQ2811651FDOQ2811651

Authors: Vladimir I. Shalack 

Publication date: 10 June 2016

Published in: Logicheskie Issledovaniya (Search for Journal in Brave)

Recommendations

• On the definitional embeddability of the combinatory logic theory into the first-order predicate calculus
• On first-order theories which can be represented by definitions
• First-order theories as many-sorted algebras
• On some applied first-order theories which can be represented by definitions
• Algebraizable logics

zbMATH Keywords

groupspredicate logicabelian groupsalgebraic theoryelementary theorydefinitionsdefinitional embedding

Mathematics Subject Classification ID

Classical first-order logic (03B10) Subsystems of classical logic (including intuitionistic logic) (03B20)

Cited In (2)

• On first-order theories which can be represented by definitions
• On the definitional embeddability of the combinatory logic theory into the first-order predicate calculus

This page was built for publication: On the definitional embeddability of some elementary algebraic theories into the first-order predicate calculus

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