Fred Richman

According to our database1, Fred Richman authored at least 19 papers between 1983 and 2014.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2014
Walker groups.
Period. Math. Hung., 2014

2013
Walker's Cancellation Theorem.
Proceedings of the TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic, Vanderbilt University, Nashville, Tennessee, USA, July 28, 2013

2012
The Kripke schema in metric topology.
Math. Log. Q., 2012

2009
Intuitionistic notions of boundedness in N.
Math. Log. Q., 2009

Signed-bit representations of real numbers.
J. Log. Anal., 2009

Discrete logarithms for finite groups.
Computing, 2009

2008
Real numbers and other completions.
Math. Log. Q., 2008

2006
Did Euclid Need the Euclidean Algorithm to Prove Unique Factorization?
Am. Math. Mon., 2006

2005
Constructive Aspects of Markov Chains.
J. Univers. Comput. Sci., 2005

Enabling conditions for interpolated rings.
Proceedings of the Mathematics, Algorithms, Proofs, 9.-14. January 2005, 2005

2004
Equivalence of Syllogisms.
Notre Dame J. Formal Log., 2004

2002
Subspaces of the Vector Space of 2-by-2 Matrices: 10813.
,
et al.
Am. Math. Mon., 2002

Omniscience Principles and Functions of Bounded Variation.
Math. Log. Q., 2002

2000
Problem 10813.
Am. Math. Mon., 2000

Gleason's Theorem Has a Constructive Proof.
J. Philos. Log., 2000

Some Group Theoretic Aspects of t-Norms.
Int. J. Uncertain. Fuzziness Knowl. Based Syst., 2000

1999
Linear Independence without Choice.
Ann. Pure Appl. Log., 1999

1994
Calculating Maximum-Entropy Probability densities for Belief Functions.
Int. J. Uncertain. Fuzziness Knowl. Based Syst., 1994

1983
Church's Thesis Without Tears.
J. Symb. Log., 1983


  Loading...