Mathematics
Profile Activity
Meta user
Network profile
128
reputation
6

Cris P

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

3
answers
1
question
~291
people reached
  • Silicon Valley
  • mathtoys.org
  • Member for 7 years, 11 months
  • 18 profile views
  • Last seen Feb 26 at 5:36

Communities (16)

Top network posts

Top tags (5)

Score 1
Posts 3
Score 1
Posts 1
Score 0
Posts 2
Score 0
Posts 2
Score 0
Posts 1

Top posts (4)

All Questions Answers
Votes Newest
1 Are $\Pi_2$ consequences of universal theories witnessed by finitely many terms? May 28 '20
0 Can essential uniqueness justify introducing new constants in a formal system? Jan 6 '20
0 Peano axioms expressed in type theory Mar 26 '13
0 mapping simple first oreder problems to type theory Mar 26 '13

Badges (6)

Gold

—

Silver

—

Bronze

6

Rarest