Spherical orders, properties and countable spectra of their theories

DOI10.33048/SEMI.2023.20.034MaRDI QIDQ6587398zbMATH OpenFDO

Authors B. Sh. Kulpeshov, S. V. Sudoplatov

Publication date 14 August 2024

Published in Sibirskie Elektronnye Matematicheskie Izvestiya (Search for Journal in Brave)

Full work available at URL https://doi.org/10.33048/SEMI.2023.20.034

zbMATH Keywords

countably categorical theorydense spherical orderelementary theoryspectrum of countable modelsspherical orderVaught conjecture

Mathematics Subject Classification ID

Quantifier elimination, model completeness, and related topics (03C10) Model theory of denumerable and separable structures (03C15) Models with special properties (saturated, rigid, etc.) (03C50) Generalizations of ordered sets (06A75)

Cites work

• Almost n-ary and almost n-aritizable theories
• Arities and aritizabilities of first-order theories
• Definable Sets in Ordered Structures. I
• Distributions of countable models of disjoint unions of Ehrenfeucht theories
• DISTRIBUTIONS OF COUNTABLE MODELS OF QUITE O-MINIMAL EHRENFEUCHT THEORIES
• scientific article; zbMATH DE number 3914293 (Why is no real title available?)
• scientific article; zbMATH DE number 2174391 (Why is no real title available?)
• scientific article; zbMATH DE number 7238431 (Why is no real title available?)
• scientific article; zbMATH DE number 3183991 (Why is no real title available?)
• scientific article; zbMATH DE number 3187308 (Why is no real title available?)
• Minimality conditions on circularly ordered structures
• Models of superstable Horn theories
• Vaught's conjecture for o-minimal theories

Cited in

(3)

• Minimality conditions, topologies, and ranks for spherically ordered theories
• Pseudo-countably-categorical formulas and theories
• Almost quasi-Urbanik structures and theories

This page was built for publication: Spherical orders, properties and countable spectra of their theories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6587398)