Pages that link to "Item:Q3927215"
From MaRDI portal
The following pages link to Model‐Completions of Theories of Finitely Additive Measures with Values in An Ordered Field (Q3927215):
Displayed 4 items.
- On the size of congruence lattices for models of theories with definability of congruences (Q793011) (← links)
- A use of the method of interpretations for decidability or undecidability of measure spaces (Q1053671) (← links)
- Decision procedures for the conditions true in certain metric structures (Q2415938) (← links)
- Lattice ordered o-minimal structures (Q5937830) (← links)