nLab Fred Richman

 Selected writings

 Selected writings

On the fundamental theorem of algebra in constructive mathematics:

On constructive mathematics:

  • Fred Richman, Constructive Mathematics without Choice,

    in: Reuniting the Antipodes – Constructive and Nonstandard Views of the Continuum, Synthese Library 306, Springer (2001) 199-206 [doi:10.1007/978-94-015-9757-9_17]

On the real numbers in constructive mathematics:

On algebraic functions on the real numbers:

On a division algorithm for polynomials over reduced local rings:

On weak countable choice:

On whether 0.999… equals 1:

On Laurent series of real numbers:

On polynomials and linear transformations:

category: people

Last revised on January 29, 2024 at 17:18:44. See the history of this page for a list of all contributions to it.