Mathematics
StudentType's user avatar
StudentType's user avatar
StudentType's user avatar
StudentType
  • Member for 8 years, 7 months
  • Last seen more than 4 years ago
Profile Activity
Stats
1,488
reputation
21k
reached
0
answers
38
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
8
silver badges
20
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
15
Categorical semantics explained – what is an interpretation?
Jun 19, 2016
question
8
Why are maximal consistent sets essential to Henkin-proofs of Completeness?
Sep 24, 2015
question
8
What is the role of the proof system in a Henkin-proof of Completeness?
Oct 4, 2015
question
7
Does a retraction really "retracts" something?
Nov 2, 2015
question
7
Are all computable functions continuous or vice-versa?
Mar 15, 2016
question
6
Natural transformations in Awodey's Category Theory Exercise 7.11.8
Dec 30, 2015
question
5
Is $\Diamond (p \rightarrow q) \rightarrow (\Diamond p \rightarrow \Diamond q)$ valid in K?
Jun 22, 2015
question
5
What is wrong with this proof that the identity map of $S^1$ is nullhomotopic?
May 25, 2016
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
28
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.