4 citations · 7 across the 3 of their papers we have counts for
3 papers
math.LO2015★ 3 cited
Walker's cancellation theorem
Robert Lubarsky, Fred Richman
Walker's cancellation theorem says that if B+Z is isomorphic to C+Z in the category of abelian groups, then B is isomorphic to C. We construct an example in a diagram category of a…
math.LO2015
Zero Sets of Univariate Polynomials
Robert Lubarsky, Fred Richman
Let L be the zero set of a nonconstant monic polynomial with complex coefficients. In the context of constructive mathematics without countable choice, it may not be possible to co…
math.LO2015★ 4 cited
Signed-Bit Representations of Real Numbers
Robert Lubarsky, Fred Richman
The signed-bit representation of real numbers is like the binary representation, but in addition to 0 and 1 you can also use -1. It lends itself especially well to the constructive…