Preprint 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

Comments (0)

We encourage comments and feedback from a broad range of readers. See criteria for comments and our Diversity statement.

Leave a public comment
Send a private comment to the author(s)
* All users must log in before leaving a comment
Views 0
Downloads 0
Comments 0
Metrics 0


×
Alerts
Notify me about updates to this article or when a peer-reviewed version is published.
We use cookies on our website to ensure you get the best experience.
Read more about our cookies here.