@inproceedings{bae371e3981c41039ad84fb988b7db6c,
title = "Combining Finite Combination Properties: Finite Models and Busy Beavers",
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.",
keywords = "satisfiability modulo theories, theory combination, theory politeness, theory shininess",
author = "Toledo, {Guilherme V.} and Yoni Zohar and Clark Barrett",
note = "Publisher Copyright: {\textcopyright} 2023, The Author(s).; 14th International Symposium on Frontiers of Combining Systems, FroCoS 2023 ; Conference date: 20-09-2023 Through 22-09-2023",
year = "2023",
doi = "10.1007/978-3-031-43369-6_9",
language = "الإنجليزيّة",
isbn = "9783031433689",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Science and Business Media Deutschland GmbH",
pages = "159--175",
editor = "Uli Sattler and Martin Suda",
booktitle = "Frontiers of Combining Systems - 14th International Symposium, FroCoS 2023, Proceedings",
address = "ألمانيا",
}