Definable families of theories, related calculi and ranks
From MaRDI portal
Publication:779113
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
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