Skip to main content
MathOverflow
user102845's user avatar
user102845's user avatar
user102845's user avatar
user102845
  • Member for 7 years, 11 months
  • Last seen more than 7 years ago
Profile Activity

5 Actions

All Accepts Posts Badges Comments Revisions Reviews Suggestions
awarded
 Nice Question
comment
Constructing a topos from a Heyting algebra
@godelian I'm sorry, but what is the natural topology in a Heyting algebra? Any place I can look that up?
asked
Constructing a topos from a Heyting algebra
awarded
 Student
asked
Internal characterization of topos validity