Mathematics
StudentType
  • Member for 6 years, 7 months
  • Last seen more than 2 years ago
Profile Activity
Stats
1,380
reputation
15k
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, answers, and articles
All Questions Answers Articles
Votes Newest
17
Why do we show that structures aren't isomorphic by exhibiting a property not shared by one of them?
Jul 22 '15
12
Categorical semantics explained – what is an interpretation?
Jun 19 '16
7
Does a retraction really "retracts" something?
Nov 2 '15
7
What is the role of the proof system in a Henkin-proof of Completeness?
Oct 4 '15
6
Why are maximal consistent sets essential to Henkin-proofs of Completeness?
Sep 24 '15
6
Are all computable functions continuous or vice-versa?
Mar 15 '16
6
Natural transformations in Awodey's Category Theory Exercise 7.11.8
Dec 30 '15
5
Is $\Diamond (p \rightarrow q) \rightarrow (\Diamond p \rightarrow \Diamond q)$ valid in K?
Jun 22 '15
5
What is wrong with this proof that the identity map of $S^1$ is nullhomotopic?
May 25 '16
4
What's the need for a pair type $A \times B$ in Homotopy Type Theory?
Apr 29 '15
Top network posts
View all network posts
24
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.