Skip to main content
MathOverflow
provocateur's user avatar
provocateur's user avatar
provocateur's user avatar
provocateur
  • Member for 12 years, 5 months
  • Last seen this week
  • Bulgaria
Profile Activity
Stats
358
reputation
6k
reached
4
answers
6
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
1
silver badge
11
bronze badges
Top tags
View all tags
8
Score
8
Posts
80
Posts %
7
Score
3
Posts
30
Posts %
5
Score
1
Posts
10
Posts %
5
Score
1
Posts
10
Posts %
5
Score
1
Posts
10
Posts %
1
Score
3
Posts
30
Posts %
Top posts
answer
5
Reference request on Gentzen's proof of the consistency of PA
Jul 23, 2020
question
4
Continuous Strictly Positive Measures on Countable Boolean Algebras
Jun 26, 2012
question
4
$\omega$ incompleteness of $\lambda$ calculus
Apr 27, 2022
question
2
Godel and forcing
Dec 1, 2012
question
2
Cut elimination proofs of the consistency of arithmetic
Jun 22, 2019
question
2
Primitive recursive functions
Aug 2, 2019
answer
2
Looking for Fitch-style Natural Deduction system that allows for open formula
Oct 29
question
1
Selection terms in the untyped lambda calculus
Nov 14, 2023
answer
1
What qualities and achievements can outweigh bad grades?
Feb 1, 2021
answer
1
Why is there no product type in simply typed lambda-calculus?
Nov 10, 2023
Top network posts
View all network posts
9
What is the philosophical meaning of the Curry-Howard correspondence?
6
Greek diacritic with English letter
6
Elimination rule for identity types in Martin-Lof Type Theory
5
a stronger fixed point theorem