arXiv
Open Access
2024
Continuous Craig Interpolation
H. Jerome Keisler
Abstrak
We prove analogues of the Craig interpolation theorem for the continuous model theory of metric structures.
Topik & Kata Kunci
Penulis (1)
H
H. Jerome Keisler
Akses Cepat
Informasi Jurnal
- Tahun Terbit
- 2024
- Bahasa
- en
- Sumber Database
- arXiv
- Akses
- Open Access ✓