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.

Too Long; Didn't Read

Get VPN and ad blocker with a single subscription	

Appendix E Proofs Omitted from Section VI

Too Long; Didn't Read

EScholar: Electronic Academic Papers for Scholars

Share Your Thoughts

About Author

TOPICS

THIS ARTICLE WAS FEATURED IN...

Appendix E Proofs Omitted from Section VI

Too Long; Didn't Read

EScholar: Electronic Academic Papers for Scholars

Share Your Thoughts

About Author

TOPICS

THIS ARTICLE WAS FEATURED IN...

RELATED STORIES