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
M Carl
Konstanz
top
accounts
reputation
activity
subscriptions
Top Questions
16
votes
What is the simplest known arithmetic definition of exponentiation?
lo.logic
nt.number-theory
asked Dec 16, 2012 at 19:50
mathoverflow.net
8
votes
How arithmetical is algebraic exponentiation?
nt.number-theory
lo.logic
fields
arithmetic
asked Oct 29, 2012 at 14:27
mathoverflow.net
8
votes
Is there exponentiation in "sufficiently large" models of $I\Delta_{0}$?
lo.logic
model-theory
bounded-arithmetic
asked Apr 23, 2012 at 9:27
mathoverflow.net
7
votes
Is there an $E_1$-definition of primality?
lo.logic
arithmetic
asked Sep 5, 2012 at 8:12
mathoverflow.net
5
votes
Sequences of projecta in the constructible hierarchy
constructibility
set-theory
lo.logic
asked Jun 16, 2011 at 11:58
mathoverflow.net
Top Answers
No answers with score of 5 or more
Stack Exchange works best with JavaScript enabled
mathoverflow.net