Definable families of theories, related calculi and ranks

DOI10.33048/semi.2020.17.048zbMath1437.03126arXiv1901.11011OpenAlexW3036045615MaRDI QIDQ779113

Nurlan Darkhanovich Markhabatov, Sergeĭ Vladimirovich Sudoplatov

Publication date: 21 July 2020

Published in: Sibirskie Èlektronnye Matematicheskie Izvestiya (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1901.11011

zbMATH Keywords

calculusdegreerankdefinable subfamilyfamily of theories

Mathematics Subject Classification ID

Models with special properties (saturated, rigid, etc.) (03C50) Interpolation, preservation, definability (03C40) Model theory of denumerable and separable structures (03C15) Other model constructions (03C30)

Related Items

Special relations for formulae, their equivalence relations and theories, Topologies and ranks for families of theories in various languages, Properties of ranks for families of strongly minimal theories, Ranks, spectra and their dynamics for families of constant expansions of theories, Hierarchy of families of theories and their rank characteristics, Formulas and properties for families of theories of abelian groups, Algebras for definable families of theories, Topologies, ranks, and closures for families of theories. I, Model-theoretic and topological properties of families of theories

Cites Work

• Unnamed Item
• Closures and generating sets related to combinations of structures
• Combinations related to classes of finite and countably categorical structures and their theories
• Minimally generated Boolean algebras
• On semilattices and lattices for families of theories
• Combinations of structures
• Algebras for definable families of theories
• Relative \(e\)-spectra and relative closures for families of theories
• Families of language uniform theories and their generating sets
• The first order properties of products of algebraic systems
• Categoricity in Power