Talk:Fixed-point lemma for normal functions: Difference between revisions

Content deleted Content added

Revision as of 00:51, 28 October 2017 edit TheKing44 (talk \| contribs) 338 edits →Proof that normal functions commute with suprema: new section Tag: 2017 wikitext editor ← Previous edit		Latest revision as of 20:32, 11 March 2024 edit undo Jlwoodwa (talk \| contribs) Autopatrolled, Administrators 106,316 edits →Proof that normal functions commute with suprema: unsigned
(One intermediate revision by one other user not shown)
Line 1: {{~~maths~~WikiProject ~~rating~~banner shell\|class=Start\|~~priority=Low\|field=foundations}}~~ {{WikiProject Mathematics\|priority=Low}} }} == Limit Ordinal Definition == Line 12 ⟶ 13: It seems like this should be proven, since the Fixed-point lemma is then just a corollary of that fact. <!-- Template:Unsigned --><small class="autosigned">— Preceding [[Wikipedia:Signatures\|unsigned]] comment added by [[User:TheKing44\|TheKing44]] ([[User talk:TheKing44#top\|talk]] • [[Special:Contributions/TheKing44\|contribs]]) 00:51, 28 October 2017 (UTC)</small>