6 citations · 15 across the 17 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
math.LO2024
The nonexistence of unicorns and many-sorted Löwenheim-Skolem theorems
Benjamin Przybocki, Guilherme Toledo, Yoni Zohar +1
Stable infiniteness, strong finite witnessability, and smoothness are model-theoretic properties relevant to theory combination in satisfiability modulo theories. Theories that are…
cs.LO2024★ 1 cited
Combining Combination Properties: Minimal Models
Guilherme Vicentin de Toledo, Yoni Zohar
This is a part of an ongoing research project, with the aim of finding the connections between properties related to theory combination in Satisfiability Modulo Theories. In previo…