Zobrazeno 1 - 10
of 25 777
pro vyhledávání: '"elementary theory"'
Autor:
Guglielmi, A. V.
The elementary theory of relaxation of the source cooling down after the main shock of an earthquake is presented axiomatically. The names of the objects under study are given and the relationships between them are determined. A new basic concept of
Externí odkaz:
http://arxiv.org/abs/2410.13317
Autor:
Evtushevsky, Vsevolod
For a poset $(P,\leqslant)$ we consider the first-order theory, that is defined by set $P$ and relation $\leqslant$. The problem of undecidability of combinatorial theories attracts significant attention. Recently A. Wires proved the undecidability o
Externí odkaz:
http://arxiv.org/abs/2411.17739
After being an open question for sixty years the Tarski conjecture was answered in the affirmative by Olga Kharlampovich and Alexei Myasnikov and independently by Zlil Sela. Both proofs involve long and complicated applications of algebraic geometry
Autor:
Barbina, Silvia, Casanovas, Enrique
Free Steiner triple systems (STS) are infinite structures that are naturally characterised by a universal property. We consider the class of free STSs from a model theoretic viewpoint. We show that free STSs on any number of generators are elementari
Externí odkaz:
http://arxiv.org/abs/2411.13723