On relative separability in hypergraphs of models of theories

2018/02/22 by Beibut Kulpeshov, Kulpeshov, Beibut, S. V. Sudoplatov +1
Computer Science · Decision Sciences · Mathematics · #Advanced Algebra and Logic #Advanced Topology and Set Theory #FOS: Mathematics #Fuzzy and Soft Set Theory #Logic (math.LO)

paper · pdf · doi:10.48550/arxiv.1802.08088

openalex publication_date 2018/02/22 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

Abstract

In the paper, notions of relative separability for hypergraphs of models of a theory are defined. Properties of these notions and applications to ordered theories are studied: characterizations of relative separability both in a general case and for almost countably categorical quite o-minimal theories are established.

Related

• On freedom and independence in hypergraphs of models of theories
• On structures in hypergraphs of models of a theory
• Separating Models by Formulas and the Number of Countable Models
• Expansions and restrictions of structures and theories, their hierarchies
• Constructing models of small ordered theories with maximal countable spectrum