Richman, Fred
http://www.math.fau.edu/Richman/
richman@fau.edu
- Calculating maximum-entropy probability densities for belief functions, Int. J. Uncertainty, Fuzziness and Knowledge Based Systems , 2 (1995), 377-389. (with A. Meyerowitz and E. A. Walker).
- Intuitionistic abelian group theory, Abelian groups and modules , Arnold and Rangaswamy eds., Marcel Dekker 1996, 67-72.
- Interview with a constructive mathematician, Modern Logic , 6 (1996), 247-271.
- Sets, complements and boundaries, Indagationes Mathematicae , 7 (1996), 425-445, (with D. Bridges and Wang Yuchuan).
- Growing forests in abelian p -groups, Journal of Algebra , 187 (1997), 289-294.
- Flat dimension, constructivity, and the Hilbert syzygy theorem, New Zealand J. Math. , 26 (1997), 263-273.
- Filtered modules over discrete valuation domains, Journal of Algebra , 199 (1998), 618-645, (with E. Walker).
- The regular element property, Proc. Amer. Math. Soc. , 126 (1998), 2123--2129.
- Generalized real numbers in constructive mathematics, Indagationes Mathematicae , 9 (1998), 595-606.
- Simply presented tag modules, Communications in Algebra , 27 (1999), 1629-1648.
- Nontransitivity of locatedness for subspaces of a Banach space, Far East Journal of Mathematical Sciences , 1 (1999), 175-179.
- Existence proofs, American Mathematical Monthly , 106 (1999), 303-308.
- A constructive proof of Gleason's theorem, Journal of Functional Analysis , 162 (1999), 287-312, (with Douglas Bridges).
- Is 0.999... = 1?, Mathematics Magazine , 72 (1999), 404-408.
- Subgroups of p 5 -bounded groups, in Abelian groups and modules , Birkhäuser 1999, 55-73 (with Elbert Walker).
- Linear independence without choice, Annals of Pure and Applied Logic , 101 (2000), 95-102, (with Douglas Bridges and Peter Schuster).
- Some group theoretic aspects of t-norms, Int. J. Uncertainty, Fuzziness, and Knowledge Based Systems , 8 (2000), 1-6, (with Elbert Walker).
- A weak countable choice principle, Proc. Amer. Math. Soc. , 128 (2000), 2749-2752, (with Douglas Bridges and Peter Schuster).
- Weakly integrally closed domains: minimum polynomials of matrices, Communications in Algebra , 28 (2000), 4735-4748, (with James Brewer).
- Smooth invariants and omega-graded modules over k [ X ], Commentationes Mathematicae Universitatis Carolinae , 41 (2000), 445--448.
- Gleason's theorem has a constructive proof, Journal of Philosophical Logic , 29 (2000), 425-431.
- Adjoints, absolute values, and polar decompositions, J. Operator Theory , 44 (2000), 243-254, (with Douglas Bridges and Peter Schuster).
- The fundamental theorem of algebra: a constructive development without choice, Pacific Journal of Mathematics , 196 (2000), 213-230.
- Adjoints and the image of the ball, Proc. Amer. Math. Soc. , 129 (2001), 1189-1193.
- Constructive mathematics without choice, Reuniting the antipodes---constructive and nonstandard views of the continuum , Schuster et al. eds., Kluwer, Synthese Library 306 (2001), 199--205.
- Pointwise differentiability, Reuniting the antipodes---constructive and nonstandard views of the continuum , Schuster et al. eds., Kluwer, Synthese Library 306 (2001), 207--210.
- Omniscience principles and functions of bounded variation, Mathematical Logic Quarterly , 42 (2002), 111-116.
- Computing limiting stationary distributions of small noisy networks, Journal of Applied Probability , 39 (2002), 1-18 (with Katarzyna Winkowsa-Nowak).
- Trace-class operators, Houston Journal of Mathematics , 28 (2002), 565-583 (with Douglas S. Bridges and Peter Schuster).
- Spreads and choice in constructive mathematics, Indagationes Mathematicae , 13 (2002), 259-267.
- Pre-abelian clan categories, Rocky Mountain J. Math. , 32 (2002), 1605-1616.
- The ascending tree condition: constructive algebra without countable choice, Communications in Algebra , 31 (2003), No. 4, 1993-2002.
- The polydisk Nullstellensatz, Proc. Amer. Math. Soc. , 132 (2004), Number 7, 2133-2140, (with Douglas Bridges, Ray Mines, and Peter Schuster).