Combining Finite Combination Properties: Finite Models and Busy Beavers

Combining Finite Combination Properties: Finite Models and Busy Beavers” by Guilherme V. Toledo, Yoni Zohar, and Clark Barrett. In Proceedings of the 14^th International Symposium on Frontiers of Combining Systems (FroCoS '23), (Uri Sattler and Martin Suda, eds.), Sep. 2023, pp. 159-175. Prague, Czech Republic.

Abstract

This work is a part of an ongoing effort to understand the relationships between properties used in theory combination. We here focus on including two properties that are related to shiny theories: the finite model property and stable finiteness. For any combination of properties, we consider the question of whether there exists a theory that exhibits it. When there is, we provide an example with the simplest possible signature. One particular class of interest includes theories with the finite model property that are not finitely witnessable. To construct such theories, we utilize the Busy Beaver function.

BibTeX entry:

@inproceedings{TZB23-frocos,
   author = {Guilherme V. Toledo and Yoni Zohar and Clark Barrett},
   editor = {Uri Sattler and Martin Suda},
   title = {Combining Finite Combination Properties: Finite Models and
	Busy Beavers},
   booktitle = {Proceedings of the {\it 14^{th}} International Symposium
	on Frontiers of Combining Systems (FroCoS '23)},
   series = {Lecture Notes in Artificial Intelligence},
   volume = {14279},
   pages = {159--175},
   publisher = {Springer},
   month = sep,
   year = {2023},
   doi = {10.1007/978-3-031-43369-6_9},
   note = {Prague, Czech Republic},
   url = {https://doi.org/10.1007/978-3-031-43369-6_9}
}

(This webpage was created with bibtex2web.)