Definable families of theories, related calculi and ranks

DOI10.33048/SEMI.2020.17.048MaRDI QIDQ779113zbMATH OpenOpenAlexFDO

Authors Nurlan Darkhanovich Markhabatov, S. V. Sudoplatov

Publication date 21 July 2020

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

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

zbMATH Keywords

rankdegreecalculusdefinable subfamilyfamily of theories

Mathematics Subject Classification ID

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

Abstract: We consider sentence-definable and diagram-definable subfamilies of given families of theories, calculi for these subfamilies, as well dynamics and characteristics of these subfamilies with respect to rank and degree.

Cites work

• scientific article; zbMATH DE number 42239 (Why is no real title available?)
• Algebras for definable families of theories
• Categoricity in Power
• Closures and generating sets related to combinations of structures
• Combinations of structures
• Combinations related to classes of finite and countably categorical structures and their theories
• Families of language uniform theories and their generating sets
• Minimally generated Boolean algebras
• On semilattices and lattices for families of theories
• Relative \(e\)-spectra and relative closures for families of theories
• The first order properties of products of algebraic systems

Cited in

(12)

• Formulas and properties for families of theories of abelian groups
• Ranks, spectra and their dynamics for families of constant expansions of theories
• Algebras for definable families of theories
• Model-theoretic and topological properties of families of theories
• Properties of ranks for families of strongly minimal theories
• Hierarchy of families of theories and their rank characteristics
• Topologies and ranks for families of theories in various languages
• The theory of lists and \(\Sigma\)-definability
• Special relations for formulae, their equivalence relations and theories
• Definability and almost disjoint families
• Topologies, ranks, and closures for families of theories. I
• Relative \(e\)-spectra and relative closures for families of theories

This page was built for publication: Definable families of theories, related calculi and ranks

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