OhhAskMe
Login
Register
@
Dark Mode
Profile
Edit my Profile
Messages
My favorites
Register
All Activity
Q&A
Questions
Hot!
Unanswered
Users
Ask a Question
Dark Mode
Peano categoricity
RipSports
asked
Jun 21, 2022
0
like
0
dislike
0
like
0
dislike
Peano categoricity
math
RipSports
asked
Jun 21, 2022
by
RipSports
answer
comment
share this
share
0 Comments
Please
log in
or
register
to add a comment.
Please
log in
or
register
to answer this question.
2
Answers
0
like
0
dislike
0
like
0
dislike
You're not missing anything. One of the common criticisms of reverse math is whether the formalizations of notions really capture the informal notion. One could certainly argue that their formalization doesn't fully do that for the reasons you say.
There's an increasing amount of work in "higher order reverse math" which attempts to address this concern.
OcCastilloC
answered
Jun 21, 2022
by
OcCastilloC
ask related question
comment
share this
0 Comments
Please
log in
or
register
to add a comment.
0
like
0
dislike
0
like
0
dislike
Could you link the 2013 paper? Even if A is countable, it may not be a submodel of N, which is perhaps the more pertinent questions.
GMessinaPhD
answered
Jun 21, 2022
by
GMessinaPhD
ask related question
comment
share this
0 Comments
Please
log in
or
register
to add a comment.
Related questions
0
like
0
dislike
0
like
0
dislike
79
answers
coL_Punisher
asked
Jun 21, 2022
Regretting majoring in math
Regretting majoring in math
coL_Punisher
asked
Jun 21, 2022
by
coL_Punisher
math
0
like
0
dislike
0
like
0
dislike
61
answers
_spunkki
asked
Jun 21, 2022
Just ordered a Klein Bottle from Cliff Stoll. He sent me about 2 dozen pictures of him packing it up. Why is he so cute :)
Just ordered a Klein Bottle from Cliff Stoll. He sent me about 2 dozen pictures of him packing it up. Why is he so cute :)
_spunkki
asked
Jun 21, 2022
by
_spunkki
math
0
like
0
dislike
0
like
0
dislike
21
answers
Brands_Hatch
asked
Jun 21, 2022
Is set theory dying?
Is set theory dying?
Brands_Hatch
asked
Jun 21, 2022
by
Brands_Hatch
math
0
like
0
dislike
0
like
0
dislike
2
answers
a_dalgleish
asked
Jun 21, 2022
Contributing to the right math area, If all areas are equally curious
Contributing to the right math area, If all areas are equally curious
a_dalgleish
asked
Jun 21, 2022
by
a_dalgleish
math
0
like
0
dislike
0
like
0
dislike
5
answers
BrianDenver7
asked
Jun 21, 2022
Is there a nice way to recast riemannian geometry in terms of principal bundles?
Is there a nice way to recast riemannian geometry in terms of principal bundles?
BrianDenver7
asked
Jun 21, 2022
by
BrianDenver7
math
33.4k
questions
135k
answers
0
comments
33.7k
users
OhhAskMe is a math solving hub where high school and university students ask and answer loads of math questions, discuss the latest in math, and share their knowledge. Itâ€™s 100% free!
Twitter
WhatsApp
Facebook
Reddit
LinkedIn
Email
Link Copied!
Copy