Pages that link to "Item:Q5305058"
From MaRDI portal
The following pages link to CONTINUOUS FIRST ORDER LOGIC FOR UNBOUNDED METRIC STRUCTURES (Q5305058):
Displaying 13 items.
- Logical metatheorems for abstract spaces axiomatized in positive bounded logic (Q908073) (← links)
- Metric spaces are universal for bi-interpretation with metric structures (Q2105094) (← links)
- MODEL THEORETIC PROPERTIES OF METRIC VALUED FIELDS (Q2933668) (← links)
- Model theory of a Hilbert space expanded with an unbounded closed selfadjoint operator (Q2933741) (← links)
- On the Descriptive Power of Probability Logic (Q5119670) (← links)
- Model theory of R-trees (Q5145847) (← links)
- The eal truth (Q5179272) (← links)
- FRAÏSSÉ LIMITS OF METRIC STRUCTURES (Q5251360) (← links)
- ON PERTURBATIONS OF CONTINUOUS STRUCTURES (Q5305059) (← links)
- CATEGORICAL SEMANTICS OF METRIC SPACES AND CONTINUOUS LOGIC (Q5855747) (← links)
- Unbounded actions of metric groups and continuous logic (Q6047681) (← links)
- Approximate isomorphism of metric structures (Q6140756) (← links)
- Approximate equivalence relations (Q6593613) (← links)
