Реферат: In a series of papers various approximations of infinite structures by finite ones, i.e. pseudofiniteness are studied [1, 2, 3, 4] including finite approximations of strongly minimal structures [5]. We continue to study possibilities of approximations of theories with respect to given families of theories [6, 7, 8]. At the present paper we consider and describe some possibilities of approximations by strongly minimal structures and theories. Some kinds of approximating formulae in this case are described, too. For theories of signatures Σ1 without non-trivial definable n -ary relations, for n > 1, we prove a trichotomy theorem according to which each such theory either belongs to the class of theories with finite models, or belongs to the class of strongly minimal theories, or belongs to the class of pseudo-strongly-minimal theories. The last two cases are united by the class of pseudofinite theories. That trichotomy shows that each signature with unary predicates has a pseudo-strongly-minimal theory. It confirms that the class of pseudo-strongly-minimal theories starts by signatures with at least one n -ary predicate or function, for n ≥ 1.

Библиографическая ссылка: Kulpeshov B.S. , Pavlyuk I.I. , Sudoplatov S.V.
On pseudo-strongly-minimal formulae, structures and theories
В сборнике Model Theory and Algebra 2024: Collection of papers. – НГТУ., 2024. – C.42-47. – ISBN 978-5-7782-5285-1. РИНЦ

Даты:

Поступила в редакцию:	1 окт. 2024 г.
Принята к публикации:	31 окт. 2024 г.
Опубликована в печати:	8 нояб. 2024 г.
Опубликована online:	8 нояб. 2024 г.

Идентификаторы БД:

РИНЦ:

75128131

Цитирование в БД: Пока нет цитирований