0 like 0 dislike
0 like 0 dislike
Peano categoricity

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.
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.

Related questions

0 like 0 dislike
0 like 0 dislike
79 answers
coL_Punisher asked Jun 21
Regretting majoring in math
coL_Punisher asked Jun 21
0 like 0 dislike
0 like 0 dislike
61 answers
_spunkki asked Jun 21
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
0 like 0 dislike
0 like 0 dislike
21 answers
Brands_Hatch asked Jun 21
Is set theory dying?
Brands_Hatch asked Jun 21
0 like 0 dislike
0 like 0 dislike
2 answers
a_dalgleish asked Jun 21
Contributing to the right math area, If all areas are equally curious
a_dalgleish asked Jun 21
0 like 0 dislike
0 like 0 dislike
5 answers
BrianDenver7 asked Jun 21
Is there a nice way to recast riemannian geometry in terms of principal bundles?
BrianDenver7 asked Jun 21

24.8k questions

103k 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!