The following pages link to Topological model theory (Q1132868):
Displayed 19 items.
- Topological differential fields (Q636296) (← links)
- Modal languages for topology: expressivity and definability (Q1023054) (← links)
- Locally pure topological Abelian groups: Elementary invariants (Q1055767) (← links)
- Elementary extensions of topological models in \(L_ t\) language (Q1101442) (← links)
- Correspondence, canonicity, and model theory for monotonic modal logics (Q2021573) (← links)
- Hennessy-Milner and van Benthem for instantial neighbourhood logic (Q2144186) (← links)
- Hyperalgebraic primitive elements for relational algebraic and topological algebraic models (Q2563459) (← links)
- Sheaves of Metric Structures (Q2820701) (← links)
- Asymptotic Monadic Second-Order Logic (Q2922005) (← links)
- On the $n$-back-and-forth types of Boolean algebras (Q3116576) (← links)
- Directed sets and topological spaces definable in o‐minimal structures (Q3384030) (← links)
- Subset Space vs Relational Semantics of Bimodal Logic: Bringing Out the Difference (Q3455847) (← links)
- Topological model theory with an interior operator: Consistency properties and back — and forth arguments (Q3926559) (← links)
- Interpolation in Logiken monotoner systeme (Q4745811) (← links)
- The query topology in logic programming (Q5096171) (← links)
- Topological elementary equivalence of regular semi‐algebraic sets in three‐dimensional space (Q5109238) (← links)
- STRONG COMPLETENESS OF MODAL LOGICS OVER 0-DIMENSIONAL METRIC SPACES (Q5117595) (← links)
- Further Generalizations of Results on Structures of Continuous Functions (Q5741385) (← links)
- Stone space partitions indexed by a poset (Q6040802) (← links)