Skip to main content
overcaffeinated's user avatar
overcaffeinated's user avatar
overcaffeinated's user avatar
overcaffeinated
  • Member for 4 years, 3 months
  • Last seen more than 3 years ago
awarded
awarded
awarded
comment
Is Lie group cohomology determined by restriction to finite subgroups?
Thanks Tim! So I'm curious, can you derive McClure's theorem from this argument?
comment
What does T+non-Cons(T) mean?
I highly recommend this article by Raymond Smullyan "Logicians who reason about themselves" sciencedirect.com/science/article/pii/B9780934613040500284
awarded
awarded
awarded
revised
Loading…
awarded
awarded
revised
Loading…
awarded
Loading…