Continuous integration logic
Logic
2019-10-02 v1
Abstract
We combine continuous and integral logics and found a logical framework for metric measure spaces equipped with a family of continuous relations and operations. We prove the ultraproduct theorem and deduce compactness and other usual results. We also give applications of the compactness theorem in metric measure theory.
Cite
@article{arxiv.1910.00191,
title = {Continuous integration logic},
author = {Seyed-Mohammad Bagheri and Massoud Pourmahdian},
journal= {arXiv preprint arXiv:1910.00191},
year = {2019}
}