Algebras for definable families of theories

DOI10.33048/SEMI.2019.16.038zbMATH Open1432.03060OpenAlexW3015316698MaRDI QIDQ2003256FDOQ2003256

Authors Nurlan Darkhanovich Markhabatov, S. V. Sudoplatov

Publication date 16 July 2019

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

Full work available at URL https://doi.org/10.33048/semi.2019.16.038

zbMATH Keywords

rankdegreedefinable subfamilyfamily of theoriesalgebra for definable subfamilies

Mathematics Subject Classification ID

Other model constructions (03C30) Models with special properties (saturated, rigid, etc.) (03C50) Structure theory of Boolean algebras (06E05) Topological spaces and generalizations (closure spaces, etc.) (54A05)

Cites work

• scientific article; zbMATH DE number 2232435 (Why is no real title available?)
• Algebraizable logics
• Approximations 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
• Definable families of theories, related calculi and ranks
• Families of language uniform theories and their generating sets
• Minimally generated Boolean algebras
• On semilattices and lattices for families of theories
• Ranks for families of all theories of given languages
• Ranks for families of theories and their spectra
• Relative \(e\)-spectra and relative closures for families of theories
• The first order properties of products of algebraic systems

Cited in

(9)

• A.D. Taimanov and model theory in Kazakhstan
• A FAMILY OF FINITE DE MORGAN AND KLEENE ALGEBRAS
• Definable families of theories, related calculi and ranks
• Algebraic theories with definable Skolem functions
• Model-theoretic and topological properties of families of theories
• Hierarchy of families of theories and their rank characteristics
• Special relations for formulae, their equivalence relations and theories
• Definability and almost disjoint families
• Topologies, ranks, and closures for families of theories. I

This page was built for publication: Algebras for definable families of theories

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