A Łoś type theorem for linear metric formulas (Q3406452)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A Łoś type theorem for linear metric formulas |
scientific article |
Statements
A Łoś type theorem for linear metric formulas (English)
0 references
16 February 2010
0 references
probability charge
0 references
ultraproduct
0 references
metric logic
0 references
linear formula
0 references
