Talk:Successor Mapping of Peano Structure has no Fixed Point

I know we've defined it only on a Peano structure, but have we established that a "successor mapping" is only ever defined on a Peano structure? If not, then I recommend we keep the reference to Peano Set (renaming it as Peano Structure) in the title; otherwise (and I'm quite happy for this to be the case) we can indeed rename it to remove Peano from the title. --prime mover (talk) 14:47, 26 October 2014 (UTC)


 * I'll take this into consideration before making the move. Thanks for pointing it out. &mdash; Lord_Farin (talk) 22:18, 26 October 2014 (UTC)


 * The ordinal successor function is often addressed by the same name, so I kept Peano Structure in the title. &mdash; Lord_Farin (talk) 12:54, 10 January 2015 (UTC)