current community
chat
MathOverflow
MathOverflow Meta
your communities
Sign up
or
log in
to customize your list.
more stack exchange communities
company blog
Stack Exchange
Inbox
Reputation and Badges
sign up
log in
tour
help
Tour
Start here for a quick overview of the site
Help Center
Detailed answers to any questions you might have
Meta
Discuss the workings and policies of this site
MathOverflow
Questions
Tags
Users
Badges
Unanswered
Ask Question
Profile
Activity
Meta User
Network Profile
141
reputation
6
Luca Bressan
Apparently, this user prefers to keep an air of mystery about them.
1
answer
2
questions
~192
people reached
Padua, Italy
Member for
2 years, 3 months
36 profile views
Last seen
Nov 20 at 21:28
Communities
(8)
Mathematics
1.6k
1.6k
4
17
MathOverflow
141
141
6
Stack Overflow
101
101
TeX  LaTeX
101
101
Theoretical Computer Science
101
101
2
View network profile →
Top Network Posts
10
$x^2 +y^2 + z^2$ is irreducible in $\mathbb C [x,y,z]$
8
Mutually denselyembedded nonhomeomorphic topological spaces
7
Is $(p \to q) \to r$ logically equivalent to $p \to (q \to r)$?
7
Why is it worth spending time on type theory?
7
Is $\mathbb{Q}(\sqrt{2}, \sqrt{3})$ a normal extension?
5
How to prove this set is a closed set?
5
Languages with contextfree grammar having only one nonterminal symbol
View more network posts →
Top Tags
(5)
typetheory
Score
0
Posts
2
ct.categorytheory
Score
0
Posts
2
lo.logic
Score
0
Posts
1
referencerequest
Score
0
Posts
1
induction
Score
0
Posts
1
Top Posts
(3)
All
Questions
Answers

Votes
Newest
3
Logical framework for type theories like ML and CIC
feb 8
3
Problem with a proof in Wellfounded trees in categories
may 18
2
Example of an unnatural isomorphism
aug 14 '13
Badges
(6)
Gold
—
Silver
—
Bronze
6
Rarest
Informed
mar 16
Teacher
aug 14 '13
Supporter
nov 27 '13
MathOverflow works best with JavaScript enabled