Skip to main content
MathOverflow
Joel David Hamkins's user avatar
Joel David Hamkins's user avatar
Joel David Hamkins's user avatar
Joel David Hamkins
  • Member for 15 years, 1 month
  • Last seen this week
Profile Activity

15,795 Actions

All Accepts Posts Badges Comments Revisions Reviews Suggestions
answered
Is Dependent Choice all we really need?
answered
Coherent spaces
revised
Semilattices in atomless boolean algebras
I changed formatting, and tried to make it more polite.
revised
Elementary theory of finite fields
Made presentation clearer
comment
intuitionistic interpretation of classical logic
Yes, that's right. I added a link to the Wikepedia article on the double negation translation.
revised
intuitionistic interpretation of classical logic
added 196 characters in body; added 329 characters in body
answered
intuitionistic interpretation of classical logic
comment
Do there exist non-PIDs in which every countably generated ideal is principal?
+1. I'm happy to push you up to 10, evidently for your first silver badge.
answered
Adding a random real makes the set of ground model reals meager
revised
Logical endofunctors of Set?
edited tags
revised
Adding a random real makes the set of ground model reals meager
edited tags
revised
Semilattices in atomless boolean algebras
Added answer to revised question.
comment
Adding a random real makes the set of ground model reals meager
No, he means a random real. This is a technical term in set-theoretic forcing, meaning that the real is V-generic for the forcing notion known as the measure algebra.
comment
Cardinality of Equivalence Classes of Cauchy Sequences
Oops. Please pardon my French... :-)
revised
Cardinality of Equivalence Classes of Cauchy Sequences
deleted 4 characters in body
answered
Cardinality of Equivalence Classes of Cauchy Sequences
awarded
 Organizer
revised
Elementary theory of finite fields
edited tags
answered
Elementary theory of finite fields
revised
What are good non-English languages for mathematicians to know?
added 42 characters in body