Jump to content

Talk:Fixed-point lemma for normal functions

Page contents not supported in other languages.
From Wikipedia, the free encyclopedia

Limit Ordinal Definition

[edit]

Again, by WP:BRD, I'm reverting User:JRSpriggs who seems intent on reverting any of my edits on the topic of limit ordinals. Please discuss the issue here and achieve consensus according to policy prior to reverting my edits again.

My position, as stated on the talk page for Normal function, is that there exist several current texts defining 0 as a limit ordinal. This being the case, a small change in wording which provides a correct definition for either case is, I believe, preferable. TricksterWolf (talk) 03:22, 31 August 2011 (UTC)[reply]

Per WP:BRD, the status of the article before you started editing it should be used until consensus is obtained; i.e., zero is not a limit ordinal. — Arthur Rubin (talk) 07:15, 31 August 2011 (UTC)[reply]

Proof that normal functions commute with suprema

[edit]

It seems like this should be proven, since the Fixed-point lemma is then just a corollary of that fact. — Preceding unsigned comment added by TheKing44 (talkcontribs) 00:51, 28 October 2017 (UTC)[reply]