A duality theoretic view on limits of finite structures: Extended version
A systematic theory of structural limits for finite models has been developed by Nesetril and Ossona de Mendez. It is based on the insight that the collection of finite structures can be embedded, via a map they call the Stone pairing, in a space of measures, where the desired limits can be computed...
| Главные авторы: | , , |
|---|---|
| Формат: | Статья |
| Язык: | English |
| Опубликовано: |
Logical Methods in Computer Science e.V.
2022-01-01
|
| Серии: | Logical Methods in Computer Science |
| Предметы: | |
| Online-ссылка: | https://lmcs.episciences.org/6996/pdf |