RUS  ENG
Full version
JOURNALS // Sibirskie Èlektronnye Matematicheskie Izvestiya [Siberian Electronic Mathematical Reports] // Archive

Sib. Èlektron. Mat. Izv., 2022 Volume 19, Issue 2, Pages 889–901 (Mi semr1548)

This article is cited in 1 paper

Mathematical logic, algebra and number theory

Arities and aritizabilities of first-order theories

S. V. Sudoplatov

Sobolev Institute of Mathematics Academician Koptyug avenue, 4 630090, Novosibirsk, Russia

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. Possibilities for arities and aritizabilities of theories are illustrated by a series of natural geometric, combinatorial and model-theoretic examples.

Keywords: elementary theory, arity, expansion, aritizability.

UDC: 510.67

MSC: 03C07, 03C10, 03C68

Received January 27, 2022, published December 10, 2022

Language: English

DOI: 10.33048/semi.2022.19.075



Bibliographic databases:


© Steklov Math. Inst. of RAS, 2025