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
146
reputation
6
Luca Bressan
Apparently, this user prefers to keep an air of mystery about them.
1
answer
2
questions
~203
people reached
Padua, Italy
Member for
2 years, 6 months
36 profile views
Last seen
Feb 4 at 11:28
Communities
(9)
Mathematics
1.7k
1.7k
4
17
MathOverflow
146
146
6
Theoretical Computer Science
101
101
2
Philosophy
101
101
1
Computer Science
101
101
2
View network profile →
Top Network Posts
11
$x^2 +y^2 + z^2$ is irreducible in $\mathbb C [x,y,z]$
8
Mutually denselyembedded nonhomeomorphic topological spaces
7
Why is it worth spending time on type theory?
7
Is $\mathbb{Q}(\sqrt{2}, \sqrt{3})$ a normal extension?
7
Is $(p \to q) \to r$ logically equivalent to $p \to (q \to r)$?
6
Languages with contextfree grammar having only one nonterminal symbol
5
How to prove this set is a closed set?
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
4
Problem with a proof in Wellfounded trees in categories
may 18
3
Logical framework for type theories like ML and CIC
feb 8 '15
2
Example of an unnatural isomorphism
aug 14 '13
Badges
(6)
Gold
—
Silver
—
Bronze
6
Rarest
Informed
mar 16 '15
Teacher
aug 14 '13
Supporter
nov 27 '13
MathOverflow works best with JavaScript enabled