MathOverflow
Mohsen Shahriari's user avatar
Mohsen Shahriari's user avatar
Mohsen Shahriari's user avatar
Mohsen Shahriari
  • Member for 8 years, 2 months
  • Last seen this week
  • Tehran, Iran
Profile Activity
Stats
293
reputation
2k
reached
0
answers
7
questions
Communities
About

I'm interested in Real Analysis, Mathematical Logic, Set Theory and Constructive Mathematic. I also like to solve problems of any kind.

Badges
View all badges
1
gold badge
2
silver badges
12
bronze badges
Top tags
View all tags
0
Score
6
Posts
86
Posts %
0
Score
3
Posts
43
Posts %
0
Score
2
Posts
29
Posts %
0
Score
2
Posts
29
Posts %
0
Score
1
Posts
14
Posts %
0
Score
1
Posts
14
Posts %
Top posts
All Questions Answers
Score Newest
question
9
First order axioms for primitive recursion in Takeuti's theory of ordinal numbers
May 1, 2017
question
6
Realizability for constructive Zermelo-Fraenkel set theory
Jul 14, 2021
question
4
Can Heyting arithmetic be axiomatized by strong induction together with some disjunction-free formulas?
Jul 28, 2021
question
3
Ordinal numbers reachable by primitive recursive ordinal functions in omega
Mar 28, 2021
question
2
About functions primitive recursively definable using a $ \Sigma _ 1 $ oracle
Jul 21, 2020
question
2
Representation of the equality relation between hereditarily finite sets in weak set theories
Oct 18, 2021
question
1
Disjunction in weakened Robinson arithmetic
Aug 2, 2020
Top network posts
View all network posts
35
Why do we do mathematical induction only for positive whole numbers?
19
Does $f(0)=0$ and $\left|f^\prime(x)\right|\leq\left|f(x)\right|$ imply $f(x)=0$?
13
Solving the Functional Equation $ f \big( x + y f ( x ) \big) = f ( x ) f ( y ) $
12
Solving $z^z=z$ in Complex Numbers
11
If $B(x+y)-B(x)-B(y)\in\mathbb Z$ can we add an integer function to $B$ to make it additive?

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.