Sciact
  • EN
  • RU

Pseudo-Countably-Categorical Formulas and Theories Full article

Journal Mathematical Notes
ISSN: 0001-4346 , E-ISSN: 1573-8876
Output data Year: 2025, Volume: 117, Number: 3, Article number : 16, Pages count : 16 DOI: 10.1134/S0001434625030095
Tags pseudo-countably-categorical formula, pseudo-countably-categorical theory, ordered theory, Abelian group, module, Ehrenfeucht theory.
Authors Kulpeshov B.Sh. 1,2 , Pavlyuk I.I. 3 , Sudoplatov S.V. 4
Affiliations
1 Kazakh-British Technical University, Almaty, 050000 Kazakhstan
2 Institute of Mathematics and Mathematical Modeling, Ministry of Science and Higher Education of the Republic of Kazakhstan, Almaty, 050010 Kazakhstan
3 Novosibirsk State Technical University, Novosibirsk, 630073 Russia
4 Sobolev Institute of Mathematics, Siberian Branch of Russian Academy of Sciences, Novosibirsk, 630090 Russia

Funding (1)

1 Sobolev Institute of Mathematics FWNF-2022-0012

Abstract: Theconceptof a pseudo-countably-categorical formulais introduced, and the syntactic and semantic possibilities of such formulas are investigated. Approximations of theories using such formulas, including pseudo-countably-categorical ordered theories, theories of Abelian groups and modules, and Ehrenfeucht theories, are studied. A description of canonical representatives of pseudo-countably-categorical ordered theories is given. The preservation and violation of pseudo-countable categoricity under expansions and restrictions of theories are considered. Countable spectra of pseudo-countably-categorical theories are described.
Cite: Kulpeshov B.S. , Pavlyuk I.I. , Sudoplatov S.V.
Pseudo-Countably-Categorical Formulas and Theories
Mathematical Notes. 2025. V.117. N3. 16 :1-16. DOI: 10.1134/S0001434625030095 Scopus OpenAlex
Original: Кулпешов Б.Ш. , Павлюк И.И. , Судоплатов С.В.
Псевдо-счетно-категоричные формулы и теории
Математические заметки. 2025. Т.117. №3. С.422-442. DOI: 10.4213/mzm14382 РИНЦ OpenAlex
Dates:
Submitted: May 26, 2024
Accepted: Oct 15, 2024
Published print: Jun 16, 2025
Published online: Jun 16, 2025
Identifiers:
Scopus: 2-s2.0-105008236388
OpenAlex: W4411339450
Citing: Пока нет цитирований
Altmetrics: