Stack Exchange
sign up
|
log in
|
chat
|
meta
|
about
|
faq
Mathematics
Questions
Tags
Tour
Users
Ask Question
R.G.
less info
meta user
|
network profile
158
reputation
6
bio
website
location
age
visits
member for
1 year, 1 month
seen
23 hours ago
stats
profile views
3
158
reputation
bio
website
visits
member for
1 year, 1 month
6
badges
location
seen
23 hours ago
summary
answers
questions
tags
badges
favorites
bounties
reputation
activity
5
Answers
newest
activity
votes
5
Why is it impossible to define multiplication in Presburger arithmetic?
1
Proof that $\overline{A \cap B} \subseteq \overline{A} \cap \overline{B}$
2
Use of undecidability
1
What is the difference between Completeness and Soundness in first order logic?
2
Russell Paradox and set theories
Mathematics Stack Exchange works best with JavaScript enabled