Mathematics
provocateur's user avatar
provocateur's user avatar
provocateur's user avatar
provocateur
  • Member for 4 years, 3 months
  • Last seen more than a week ago
  • Bulgaria
Profile Activity
Stats
636
reputation
2k
reached
4
answers
18
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
5
Score
13
Posts
59
Posts %
4
Score
3
Posts
14
Posts %
4
Score
2
Posts
9
Posts %
1
Score
1
Posts
5
Posts %
0
Score
9
Posts
41
Posts %
0
Score
6
Posts
27
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
question
6
Elimination rule for identity types in Martin-Lof Type Theory
Feb 11, 2022
question
5
a stronger fixed point theorem
Nov 1, 2021
question
4
distribution of disjunction and conjunction over each other in intuitionistic logic
May 14, 2022
answer
4
$(\forall x)[Mx \to (\forall y)(My \to Kxy)]$, can $x\;\&\; y$ be the same thing?
Jan 21, 2020
question
3
Cut elimination proofs of the consistency of arithmetic
Jun 21, 2019
question
3
Substitutional quantification in set theory
Aug 19, 2020
question
3
Moving between expressions in the typed lambda calculus and sentences in higher order logic.
Sep 13, 2020
question
2
primitive recursive function
Jul 31, 2019
question
2
$\omega$ incompleteness of $\lambda$ calculus
Apr 21, 2022
question
2
existential elimination
Oct 9, 2022
Top network posts
View all network posts
6
Greek diacritic with English letter

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.