Category:Named Theorems/Goodman

This category contains results named for Noah D. Goodman.

• Diaconescu-Goodman-Myhill Theorem (with John R. Myhill, independently of Radu Diaconescu)

Author of:

• 1978: Choice Implies Excluded Middle (Math. Log. Quart Vol. 24: p. 461) (with J. Myhill)