1 citations · 1 across the 3 of their papers we have counts for
Showing math.LOShow all
2 papers · 1 filter
math.LO2025
The Dual of Quantifier Elimination: Boolean Elimination over C and R
Matthew Frank
We show that every finite Boolean combination of polynomial equalities and inequalities in C^n admits two uniform normal forms: an form and a form…
math.LO2017★ 1 cited
Interpolating Between Choices for the Approximate Intermediate Value Theorem
Matthew Frank
This paper proves the approximate intermediate value theorem, constructively and from notably weak hypotheses: from pointwise rather than uniform continuity, without assuming that…