Pages that link to "Item:Q1745350"

The following pages link to \(l\)-groups \(C(X)\) in continuous logic (Q1745350):

Displaying 8 items.

• Decidable theories of non-projectable \(l\)-groups of continuous functions (Q876381) (← links)
• \(C(X)\) as a real \(\ell \)-group (Q972542) (← links)
• Decision procedures for the conditions true in certain metric structures (Q2415938) (← links)
• The Keisler order in continuous logic (Q2682715) (← links)
• Preservation properties for products and sums of metric structures (Q2700832) (← links)
• Rigid extensions of ℓ-groups of continuous functions (Q3624931) (← links)
• $C(\beta\mathbb{N}\setminus\mathbb{N})$ among the Archimedean $\ell$-groups with strong unit (Q6039792) (← links)
• New axioms for the lattice-ordered groups existentially closed in $\mathbf W^+$ (Q6146728) (← links)