Definable families of theories, related calculi and ranks

DOI10.33048/SEMI.2020.17.048zbMATH Open1437.03126arXiv1901.11011OpenAlexW3036045615MaRDI QIDQ779113FDOQ779113

Authors: Nurlan Darkhanovich Markhabatov, S. V. Sudoplatov 

Publication date: 21 July 2020

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

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.

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)

Cites Work

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

Cited In (12)

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

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)