Ordinal collapsing function: Revision history

Filter revisionsshowhide

To date:

Tag filter:

Invert selection

External tools:

For any version listed below, click on its date to view it. For more help, see Help:Page history and Help:Edit summary. (cur) = difference from current version, (prev) = difference from preceding version, m = minor edit, → = section edit, ← = automatic edit summary

curprev 19:1319:13, 16 October 2024 LucasBrown talk contribs 69,692 bytes +45 Adding local short description: "Set-theoretic function", overriding Wikidata description "process used for reaching large ordinals in the field of set theory" undo Tag: Shortdesc helper

curprev 19:4019:40, 2 May 2024 213.93.13.10 talk 69,609 bytes −311 Removed ψ_Ω(Ω) from the list of example values at Arai's ψ as it was wrongfully stated to be ε_0. The Skolum hull used in the definition of Arai's ψ is closed under the binary Veblen function, ψ_Ω(Ω) would thus be equal to φ(1,1,0) = β_0. undo

curprev 18:3318:33, 4 April 2024 Tungster24 talk contribs m 69,920 bytes 0 →Extended Buchholz's ψ undo
curprev 18:3318:33, 4 April 2024 Tungster24 talk contribs 69,920 bytes −5 →Extended Buchholz's ψ: it's not the Omega Fixed Point that's called EBO, rather the collapse within the extended buchholz OCF that's called EBO. undo

curprev 10:3310:33, 12 March 2024 109.109.99.106 talk 69,916 bytes −5 Fixed a typo in section `Rathjen's Ψ' (an ordinal π was wrongly used as proposition) undo
curprev 10:2310:23, 12 March 2024 109.109.99.106 talk 69,921 bytes +332 fixed notes of Arai's ''ψ'' undo

curprev 07:4207:42, 29 June 2023 24.56.247.67 talk 69,184 bytes −3 →First impredicative values: missed a varphi undo
curprev 00:2200:22, 29 June 2023 24.56.247.67 talk 69,187 bytes +6 →Values of ψ up to the Feferman–Schütte ordinal: maybe a dot would help undo
curprev 00:2100:21, 29 June 2023 24.56.247.67 talk 69,181 bytes 0 →Values of ψ up to the Feferman–Schütte ordinal: shit, i got carried away making corrections. I think it really is Omega times 2? someone who knows what they're doing should check all this, I am just trying to read it and the inconsistent phi's were confusing undo

curprev 16:1016:10, 29 January 2023 OAbot talk contribs m 69,146 bytes +18 Open access bot: doi added to citation with #oabot. undo

curprev 06:0906:09, 23 November 2022 Citation bot talk contribs 69,128 bytes +17 Add: s2cid. | Use this bot. Report bugs. | Suggested by Whoop whoop pull up | #UCB_webform 82/1223 undo

curprev 08:5308:53, 1 August 2022 Salix alba talk contribs m 68,383 bytes +8 Fix deprecated maths syntax errors, see https://www.mediawiki.org/wiki/Extension:Math/Roadmap, replaced: \and → \land (8) undo Tag: AWB
curprev 01:4701:47, 1 August 2022 C7XWiki talk contribs 68,375 bytes −39 →Bird's θ undo