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
About Us
Learn more about Stack Overflow the company
Business
Learn more about hiring developers or posting ads with us
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
~211
people reached
Padua, Italy
Member for
2 years, 9 months
38 profile views
Last seen
Mar 10 at 14:51
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
Why is it worth spending time on type theory?
8
Mutually denselyembedded nonhomeomorphic topological spaces
7
Is $(p \to q) \to r$ logically equivalent to $p \to (q \to r)$?
7
Is $\mathbb{Q}(\sqrt{2}, \sqrt{3})$ a normal extension?
6
Languages with contextfree grammar having only one nonterminal symbol
5
Existence and uniqueness of particular binary operations on a lattice
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 '15
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