Mathematics
Logic
Scientist
Infinite versions of some NP-complete problems
On Mathias generic sets
Partitions of trees and ACA'
Reverse mathematics and uniformity in proofs without excluded middle
No associations
LandOfFree
Jeffry L. Hirst does not yet have a rating. At this time, there are no reviews or comments for this scientist.
If you have personal experience with Jeffry L. Hirst, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Jeffry L. Hirst will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-P-143202