Skip to main content
MathOverflow
zaq's user avatar
zaq's user avatar
zaq's user avatar
zaq
  • Member for 7 months
  • Last seen this week
Profile Activity
Stats
169
reputation
472
reached
1
answer
3
questions
Communities
Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
7
bronze badges
Top tags
5
Score
4
Posts
100
Posts %
5
Score
4
Posts
100
Posts %
5
Score
2
Posts
50
Posts %
5
Score
2
Posts
50
Posts %
0
Score
1
Posts
25
Posts %
Top posts
5
Why do we require that all successors model this formula?
Dec 26, 2024
3
Why do we require that all successors model this formula?
Dec 16, 2024
2
Intuitionistic countermodels in which $u \leq v \implies M_u \leq M_v$
Sep 27, 2024
1
How many constant symbols can a set of intuitionistic formulas have for completeness to hold?
Sep 24, 2024
Top network posts
View all network posts
9
An elementary olympiad polynomial problem.
5
When is multiplication by an element from a transformation group bijective?
5
Deriving the general form of the exterior product from the quotient space definition.
5
Does Enderton call Jech's proof of the recursion theorem wrong?