Mathematics
Nift's user avatar
Nift's user avatar
Nift's user avatar
Nift
  • Member for 4 years, 5 months
  • Last seen this week
  • Somewhere
Profile Activity
Stats
282
reputation
830
reached
0
answers
8
questions
Communities
View all
About

Curious about metamathematics and computation

Badges
View all badges
This user doesn’t have any gold badges yet.
2
silver badges
13
bronze badges
Top tags
View all tags
0
Score
2
Posts
25
Posts %
0
Score
2
Posts
25
Posts %
0
Score
2
Posts
25
Posts %
0
Score
2
Posts
25
Posts %
0
Score
2
Posts
25
Posts %
0
Score
1
Posts
12
Posts %
Top posts
All Questions Answers
Score Newest
question
4
Theory of arithmetic equiconsistent with ZF
Oct 4, 2019
question
3
Long standing doubtful proofs of a conjecture
Mar 10, 2020
question
3
How to translate a statement from internal to external logic?
Jan 16
question
2
Undecidability of constructive provability
Nov 24, 2019
question
2
Computability of arithmetical hierarchy level
Nov 24, 2019
question
2
Topoi of algebras vs co-algebras, right adjointness compared to left exactness
Jan 23
question
1
Largest decidable subsystem of Robinson's arithmetic $\mathbb{Q}$
Oct 9, 2019
question
0
Solutions to equations involving hyperoperations
Oct 1, 2020
Top network posts
View all network posts
8
Type theory and fixed points of datatypes
8
Isbell duality between algebras and sheaves
7
Strongly normalizing type theory beyond induction-recursion
7
Does ST$\lambda$C equal to simple type theory?
7
Can you build W-types out of natural numbers predicatively?

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.