Special relations for formulae, their equivalence relations and theories
From MaRDI portal
Publication:2145742
DOI10.33048/semi.2022.19.020MaRDI QIDQ2145742
Sergeĭ Vladimirovich Sudoplatov
Publication date: 17 June 2022
Published in: Sibirskie Èlektronnye Matematicheskie Izvestiya (Search for Journal in Brave)
Basic properties of first-order languages and structures (03C07) Quantifier elimination, model completeness, and related topics (03C10) Other classical first-order model theory (03C68)
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Definable families of theories, related calculi and ranks
- Models of superstable Horn theories
- 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
- Topologies, ranks, and closures for families of theories. II
- Ranks for families of theories and their spectra
- Ranks for families of permutation theories
- Properties of ranks for families of strongly minimal theories
- Ranks for families of all theories of given languages
This page was built for publication: Special relations for formulae, their equivalence relations and theories