5 citations · 8 across the 14 of their papers we have counts for
Showing math.LOShow all
2 papers · 1 filter
math.LO2026
A SAT Attack on Tarski's High School Algebra Problem
Bernardo Subercaseaux, Benjamin Przybocki
Tarski's high school algebra problem asks whether every true identity concerning addition, multiplication, and exponentiation of positive integers follows from a list of 11 element…
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…