Article
Version 1
Preserved in Portico This version is not peer-reviewed
Arities and Aritizabilities of First-Order Theories
Version 1
: Received: 22 December 2021 / Approved: 23 December 2021 / Online: 23 December 2021 (12:07:21 CET)
How to cite: Sudoplatov, S. V. Arities and Aritizabilities of First-Order Theories. Preprints 2021, 2021120392. https://doi.org/10.20944/preprints202112.0392.v1 Sudoplatov, S. V. Arities and Aritizabilities of First-Order Theories. Preprints 2021, 2021120392. https://doi.org/10.20944/preprints202112.0392.v1
Abstract
We study and describe possibilities for arities of elementary theories and of their expansions. Links for arities with respect to Boolean algebras, to disjoint unions and to compositions of structures are shown. Arities and aritizabilities are semantically characterized. The dynamics for arities of theories is described.
Keywords
elementary theory; arity; expansion; aritizability
Subject
Computer Science and Mathematics, Logic
Copyright: This is an open access article distributed under the Creative Commons Attribution License which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
Comments (0)
We encourage comments and feedback from a broad range of readers. See criteria for comments and our Diversity statement.
Leave a public commentSend a private comment to the author(s)
* All users must log in before leaving a comment