arXiv Open Access 2024

Continuous Craig Interpolation

H. Jerome Keisler
Lihat Sumber

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

Format Sitasi

Keisler, H.J. (2024). Continuous Craig Interpolation. https://arxiv.org/abs/2412.12065

Akses Cepat

Lihat di Sumber
Informasi Jurnal
Tahun Terbit
2024
Bahasa
en
Sumber Database
arXiv
Akses
Open Access ✓