Tour
About Us
Meta
Loading…
current community
Stack Exchange
chat
Meta Stack Exchange
your communities
Sign up
or
log in
to customize your list.
more stack exchange communities
company blog
Log in
Stack Exchange
All Sites
Top Users
Digests
Gavin Rens
South Africa
http://www.cair.za.net
Entrepreneur, Inventor, AI Engineer.
top
accounts
reputation
activity
subscriptions
Top Questions
13
votes
Is the first-order theory (with =) of real numbers with addition and multiplication complete and decidable?
model-theory
decidability
asked Jun 20, 2013 at 12:06
mathoverflow.net
Top Answers
No answers with score of 5 or more
Stack Exchange works best with JavaScript enabled
mathoverflow.net