Rathjen's psi 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 15:4315:43, 27 September 2023‎ Citation bot talk contribs‎ 8,082 bytes −32‎ Removed parameters. | Use this bot. Report bugs. | #UCB_CommandLine undo

curprev 23:0523:05, 15 October 2022‎ C7XWiki talk contribs‎ 8,114 bytes +33‎ No edit summary undo
curprev 06:1306:13, 15 October 2022‎ AnomieBOT talk contribs‎ m 8,081 bytes +18‎ Dating maintenance tags: {{Citation needed}} undo
curprev 04:1304:13, 15 October 2022‎ C7XWiki talk contribs‎ 8,063 bytes −6‎ Standard notation for proof-theoretic ordinal undo
curprev 02:2002:20, 15 October 2022‎ C7XWiki talk contribs‎ 8,069 bytes −187‎ Source contains a third version of this system which does have an ordinal notation defined for it, never mentions this version →‎Explanation undo

curprev 08:5508:55, 1 August 2022‎ Salix alba talk contribs‎ m 8,256 bytes +17‎ Fix deprecated maths syntax errors, see https://www.mediawiki.org/wiki/Extension:Math/Roadmap, replaced: \and → \land (17) undo Tag: AWB

curprev 21:4921:49, 13 June 2022‎ Kaltenmeyer talk contribs‎ m 8,239 bytes −1‎ typo, typo(s) fixed: Therefore → Therefore, undo Tag: AWB

curprev 16:5416:54, 23 September 2021‎ Arjayay talk contribs‎ m 7,868 bytes −5‎ Duplicate word removed undo

curprev 14:2414:24, 18 September 2021‎ Binary198 talk contribs‎ 7,873 bytes +7,873‎ ←Created page with ''''Rathjen's <math>\psi</math> psi function''' is an ordinal collapsing function developed by Michael Rathjen. It collapses weakly Mahlo cardinals <math>M</math> to generate large countable ordinals.<ref>{{Cite web|last=Rathjen|first=Michael|date=1990|title=Ordinal Notation Based on a Weakly Mahlo Cardinal|url=http://www1.maths.leeds.ac.uk/~rathjen/Ord_Notation_Weakly_Mahlo.pdf|url-status=live|access-date=...' Tag: Visual edit