Metric Scott analysis
Under an Elsevier user license
open archive
MSC
primary
03C75
03E15
Keywords
Continuous logic
Infinitary logic
Scott sentence
López-Escobar theorem
Borel equivalence relations
Gromov–Hausdorff distance
Cited by (0)
- 1
Current address: Institute of Mathematics CAS, Žitná 25, 115 67 Praha 1, Czech Republic.
© 2017 Elsevier Inc.