Statements (23)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:logic
|
| gptkbp:developedBy |
gptkb:C._Ward_Henson
gptkb:Alexander_Usvyatsov gptkb:Itaï_Ben_Yaacov |
| gptkbp:field |
gptkb:logic
model theory |
| gptkbp:focusesOn |
structures with metric spaces
|
| gptkbp:generalizes |
gptkb:first-order_logic
|
| https://www.w3.org/2000/01/rdf-schema#label |
Continuous Model Theory
|
| gptkbp:introducedIn |
1970s
|
| gptkbp:publishedIn |
gptkb:Model_Theory_for_Metric_Structures
|
| gptkbp:relatedTo |
classical model theory
logic for metric structures |
| gptkbp:studies |
gptkb:C*-algebras
gptkb:Banach_spaces continuous logic metric structures probability algebras |
| gptkbp:usedIn |
gptkb:probability_theory
functional analysis operator algebras |
| gptkbp:bfsParent |
gptkb:C.C._Chang
|
| gptkbp:bfsLayer |
6
|