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

MaRDI QIDQ2811651zbMATH OpenFDO

Authors Vladimir I. Shalack

Publication date 10 June 2016

Published in Logicheskie Issledovaniya (Search for Journal in Brave)

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)

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

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)