Church's Thesis Without Tears. - Fred Richman (J. Symb. Log., 1983)

Calculating Maximum-Entropy Probability densities for Belief Functions. - Aaron Meyerowitz; Fred Richman; Elbert A. Walker (Int. J. Uncertain. Fuzziness Knowl. Based Syst., 1994)

Linear Independence without Choice. - Douglas S. Bridges; Fred Richman; Peter Schuster 001 (Ann. Pure Appl. Log., 1999)

Some Group Theoretic Aspects of t-Norms. - Fred Richman; Elbert A. Walker (Int. J. Uncertain. Fuzziness Knowl. Based Syst., 2000)

Gleason's Theorem Has a Constructive Proof. - Fred Richman (J. Philos. Log., 2000)

Problem 10813. - Fred Richman (Am. Math. Mon., 2000)

Omniscience Principles and Functions of Bounded Variation. - Fred Richman (Math. Log. Q., 2002)

Subspaces of the Vector Space of 2-by-2 Matrices: 10813. - Fred Richman; et al. (Am. Math. Mon., 2002)

Equivalence of Syllogisms. - Fred Richman (Notre Dame J. Formal Log., 2004)

Enabling conditions for interpolated rings. - Fred Richman (Mathematics, Algorithms, Proofs, 2005)

Constructive Aspects of Markov Chains. - Fred Richman (J. Univers. Comput. Sci., 2005)

Did Euclid Need the Euclidean Algorithm to Prove Unique Factorization? - David Pengelley; Fred Richman (Am. Math. Mon., 2006)

Real numbers and other completions. - Fred Richman (Math. Log. Q., 2008)

Discrete logarithms for finite groups. - Lee C. Klingler; Spyros S. Magliveras; Fred Richman; Michal Sramka (Computing, 2009)

Signed-bit representations of real numbers. - Robert S. Lubarsky; Fred Richman (J. Log. Anal., 2009)

Intuitionistic notions of boundedness in N. - Fred Richman (Math. Log. Q., 2009)

The Kripke schema in metric topology. - Robert S. Lubarsky; Fred Richman; Peter Schuster 001 (Math. Log. Q., 2012)

Walker's Cancellation Theorem. - Robert S. Lubarsky; Fred Richman (TACL, 2013)

Walker groups. - Fred Richman (Period. Math. Hung., 2014)