A Maximality Theorem for Continuous First Order Theories (Q5057120)
From MaRDI portal
scientific article; zbMATH DE number 7633233
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A Maximality Theorem for Continuous First Order Theories |
scientific article; zbMATH DE number 7633233 |
Statements
A Maximality Theorem for Continuous First Order Theories (English)
0 references
15 December 2022
0 references
continuous logic
0 references
Lindström's theorem
0 references
first order theory
0 references
