The Stack Overflow podcast is back! Listen to an interview with our new CEO.
Mathematics
Network profile
386
reputation
3
9

UQT

Apparently, this user prefers to keep an air of mystery about them.

0
answers
11
questions
~10k
people reached
  • Member for 6 years, 8 months
  • 108 profile views
  • Last seen Mar 15 '13 at 1:21

Communities (2)

Top network posts

We respect a laser-like focus on one topic.

Top tags (13)

Score 0
Posts 8
Posts % 73
Score 0
Posts 4
Score 0
Posts 3
Score 0
Posts 2
Score 0
Posts 1
Score 0
Posts 1
View all tags →

Top posts (11) All Questions Answers | Votes Newest

29 How is exponentiation defined in Peano arithmetic? Feb 24 '13
5 Why is computable function in $\Delta_{1}^0$? Feb 23 '13
4 Proving that a dense set in a poset by Zorn's lemma have a maximal antichain as a subset Mar 8 '13
4 Questions regarding p-adic expansion and numbers Mar 9 '13
3 Proof of Lowenheim-Skolem theorem Feb 23 '13
3 Proof of levy forcing and cardinal collapse Mar 8 '13
2 What would be arithmetic hierarchy of $\Sigma_1^0 \wedge \Pi_1^0$? Mar 13 '13
1 How natural numbers can be defined using primitive recursive $\Sigma_0^0$ Feb 24 '13
1 Writing Fermat's last theorem in arithmetic hierarchy Feb 24 '13
1 Applying substitutions in lambda calculus Feb 24 '13
View all questions and answers →

Badges (12)

Gold

—

Silver

3

Rarest

Bronze

9

Rarest

View all badges →