Preprint
Article
Arities and Aritizabilities of First-Order Theories
This version is not peer-reviewed.
Submitted:
22 December 2021
Posted:
23 December 2021
You are already at the latest version
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
Copyright: This open access article is published under a Creative Commons CC BY 4.0 license, which permit the free download, distribution, and reuse, provided that the author and preprint are cited in any reuse.
Downloads
115
Views
92
Comments
0
Subscription
Notify me about updates to this article or when a peer-reviewed version is published.
MDPI Initiatives
Important Links
© 2025 MDPI (Basel, Switzerland) unless otherwise stated