Pages that link to "Item:Q4916087"
From MaRDI portal
The following pages link to On Combinations of Local Theory Extensions (Q4916087):
Displaying 6 items.
- The theory of (exclusively) local beables (Q720000) (← links)
- Decidable \({\exists}^*{\forall}^*\) first-order fragments of linear rational arithmetic with uninterpreted predicates (Q2031420) (← links)
- Local collection and end-extensions of models of compositional truth (Q2662691) (← links)
- Local splitters for bounded cotorsion theories (Q2769480) (← links)
- The first main theorem on complements: from global to local (Q4804383) (← links)
- (Q5079756) (← links)