Numbers

Details Numbers Numbers

2011-04-28

arxiv.org/abs/1104.5311v1

Mathematics

Logic

31 pages

Scientific paper

This paper grew out of the observation that the possibilities of proof by induction and definition by recursion are often confused. The paper reviews the distinctions. The von Neumann construction of the ordinal numbers includes a construction of natural numbers as a special kind of ordinal. In any case, the natural numbers can be understood as composing a free algebra in a certain signature, {0,s}. The paper here culminates in a construction of, for each algebraic signature S, a class ON_S that is to the class of ordinals as S is to {0,s}. In particular, ON_S has a subclass that is a free algebra in the signature S.

Affiliated with

Also associated with

No associations

Rating

Numbers does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Numbers, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Numbers will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-449001