On the Definitional Embeddability of Some Elementary Algebraic Theories into the First-Order Predicate Calculus

Main Article Content

В. И. Шалак

Аннотация




In this article we prove a theorem on the definitional embeddability into first-order predicate logic without equality of such well-known mathematical theories as group theory and the theory of Abelian groups. This result may seem surprising, since it is generally believed that these theories have a non-logical content. It turns out that the central theory of general algebra are purely logical. Could this be the reason that we find them in many branches of mathematics? This result will be of interest not only for logicians and mathematicians but also for philosophers who study foundations of logic and its relation to mathematics.




Скачивания

Данные скачивания пока не доступны.

Article Details

Как цитировать
[1]
В. И. Шалак. On the Definitional Embeddability of Some Elementary Algebraic Theories into the First-Order Predicate Calculus // Логические исследования / Logical Investigations. 2018. Т. 21. № 2.
.
Раздел
Символическая логика