Mathematics
user avatar
user avatar
user avatar
StudentType
  • Member for 7 years, 2 months
  • Last seen more than 3 years ago
Profile Activity
Stats
1,398
reputation
17k
reached
0
answers
38
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
7
silver badges
19
bronze badges
Top tags
View all tags
0
Score
22
Posts
58
Posts %
0
Score
16
Posts
42
Posts %
0
Score
5
Posts
13
Posts %
0
Score
5
Posts
13
Posts %
0
Score
3
Posts
8
Posts %
0
Score
2
Posts
5
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
question
17
Why do we show that structures aren't isomorphic by exhibiting a property not shared by one of them?
Jul 22, 2015
question
12
Categorical semantics explained – what is an interpretation?
Jun 19, 2016
question
7
Does a retraction really "retracts" something?
Nov 2, 2015
question
7
Why are maximal consistent sets essential to Henkin-proofs of Completeness?
Sep 24, 2015
question
7
What is the role of the proof system in a Henkin-proof of Completeness?
Oct 4, 2015
question
6
Natural transformations in Awodey's Category Theory Exercise 7.11.8
Dec 30, 2015
question
5
Are all computable functions continuous or vice-versa?
Mar 15, 2016
question
5
What is wrong with this proof that the identity map of $S^1$ is nullhomotopic?
May 25, 2016
question
5
Is $\Diamond (p \rightarrow q) \rightarrow (\Diamond p \rightarrow \Diamond q)$ valid in K?
Jun 22, 2015
question
4
What's the need for a pair type $A \times B$ in Homotopy Type Theory?
Apr 29, 2015
Top network posts
View all network posts
27
How do we construct the Gödel’s sentence in Martin-Löf type theory?
14
Church-Rosser property for dependently typed lambda calculus?
14
Why the reflection rule trivializes higher paths in Martin-Löf Extensional Type theory?
13
What are the negative consequences of extending CIC with axioms?
13
Does the Law of Excluded Middle imply the Axiom K in Martin-Löf's Intensional Type Theory?

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.