TL;DR —
In this paper, we present a categorical theory of the composition methods in finite model theory – a key technique enabling modular reasoning.
This paper is available on arxiv under CC BY-SA 4.0 DEED license.
Authors:
(1) Tomáš Jakl, Czech Academy of Sciences and Czech Technical University;
(2) Dan Marsden, School of Computer Science University of Nottingham;
(3) Nihil Shah, Department of Computer Science University of Oxford.
Table of Links
- Abstract & Introduction
- Prelimenaries
- FVM Theorems for Positive Existential Fragments
- FVM Theorems for Counting Logic
- FVM Theorems for The Full Logic
- Abstract FVM Theorems for Products
- Adding Equality and Other Enrichment
- Conclusions, Acknowledgments & References
- Appendix A FVM theorems for coproducts
- Appendix B Proofs Omitted from Section III
- Appendix C Proofs Omitted from Section IV
- Appendix D Proofs Omitted from Section V
- Appendix E Proofs Omitted from Section VI
- Appendix F Proofs Omitted from Section VII
APPENDIX E PROOFS OMITTED FROM SECTION VI
Here we show FVM theorems for products of arbitrary collection of structures. Note that Section VI is stated in terms of binary products only but here we work with infinitary products, to support the claim preceding Example VI.6.
[story continues]
Written by
@escholar
We publish the best academic work (that's too often lost to peer reviews & the TA's desk) to the global tech community
Topics and
tags
tags
finite-model-theory|modular-reasoning|feferman-vaught-mostowski|fvm-theorems|comonad-semantics|theory-of-monads|classical-theorems|composition-methods
This story on HackerNoon has a decentralized backup on Sia.
Transaction ID: KD8UomXOlSWeDViXedc5Ht2MrZ_72bRWjCHpP-xB6ys