5 citations · 8 across the 14 of their papers we have counts for
1 paper · 2 filters
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…