MathOverflow
user65526's user avatar
user65526's user avatar
user65526's user avatar
user65526
  • Member for 5 years, 2 months
  • Last seen more than a month ago
Profile Activity
Stats
629
reputation
4k
reached
0
answers
14
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
3
silver badges
10
bronze badges
Top tags
View all tags
0
Score
10
Posts
71
Posts %
0
Score
8
Posts
57
Posts %
0
Score
5
Posts
36
Posts %
0
Score
4
Posts
29
Posts %
0
Score
3
Posts
21
Posts %
0
Score
3
Posts
21
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
question
23
What, mathematically speaking, does it mean to say that the continuation monad can simulate all monads?
Apr 19, 2018
question
14
A peculiarity of Henkin's 1950 proof of completeness for higher order logic
Nov 23, 2018
question
9
The Curry Howard Isomorphism and models for an intuitionistic modal logic and its bimodal translation
Mar 26, 2018
question
7
The Tarski-Lindenbaum theorem of the middle value
Nov 21, 2021
question
3
Modal collapse upon addition of the law of the excluded middle to an Intuitionistic modal logic
Mar 28, 2018
question
3
Modal logics which have an algebraic semantics but not a Kripke semantics
Mar 25, 2021
question
2
Can we avoid the modal collapse in a certain Intuitionistic modal logic by abandoning ¬◯⊥ but retaining the law of the excluded middle?
Mar 29, 2018
question
2
Substructural shuffling: can we avoid a modal collapse in a certain Intuitionistic modal logic via making the logic linear?
Mar 29, 2018
question
1
Translations between S4 and S5 modal logics
Apr 13, 2018
question
1
A monad that unions sets
Oct 22, 2018
Top network posts
View all network posts
17
Continuations in mathematics: nice examples?
14
Failed to initialise color list unarchiver
10
Interesting operators in Haskell that obey modal axioms
10
MacBook Pro error report
8
Extending a tree

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.