Talk:Limit Ordinals Closed under Ordinal Exponentiation

From ProofWiki
Jump to navigation Jump to search

Biconditional statements do hold, but I would advise against the move, since the statement is stronger than saying that limit ordinals are closed under exponentiation. $x$ is not required to be a limit ordinal. --Andrew Salmon 15:52, 16 August 2012 (UTC)

Surely then the name of the page can be changed to reflect that? --prime mover 13:54, 18 August 2012 (UTC)
...What we are looking at here is a prototypical situation of an abstract-algebraic ideal, except outside the context of rings. I don't know of names for such a concept. --Lord_Farin 14:05, 18 August 2012 (UTC)
Okay, no worries - what we have here is valid. Let's go with that. --prime mover 14:08, 18 August 2012 (UTC)