Special relations for formulae, their equivalence relations and theories

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)

zbMATH Keywords

theoryequivalence relationformulaspecial relation

Mathematics Subject Classification ID

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)

Topologies and ranks for families of theories in various languages

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