Related changes
Appearance
Enter a page name to see changes on pages linked to or from that page. (To see members of a category, enter Category:Name of category). Changes to pages on your Watchlist are shown in bold with a green bullet. See more at Help:Related changes.
List of abbreviations (help):
- D
- Edit made at Wikidata
- r
- Edit flagged by ORES
- N
- New page
- m
- Minor edit
- b
- Bot edit
- (±123)
- Page byte size change
- Temporarily watched page
5 January 2026
4 January 2026
- diffhist Universal set 22:18 −30 David Eppstein talk contribs (→See also: rm Universe (mathematics) per MOS:SEEALSO, prominently linked in main article)
- diffhist Universal set 21:42 +3 ~2025-31734-65 talk contribs
- diffhist Morse–Kelley set theory 20:41 +65 ~2025-31734-65 talk contribs
- diffhist Banach–Tarski paradox 16:20 +86 Headbomb talk contribs (https://www.e-periodica.ch/digbib/view?pid=ens-001%3A1984%3A30%3A%3A354)
- diffhist Kripke–Platek set theory 14:55 +15 JRSpriggs talk contribs (→Axioms: induction require Σ_1 formulas)
- diffhist Lambda calculus 11:47 −2 Jochen Burghardt talk contribs (→Explanation and applications: rm left-over "}}")
- diffhist Lambda calculus 11:42 +378 Jochen Burghardt talk contribs (→Explanation and applications: copying ref from simply typed lambda calculus to resolve ((cn)); nontermination of untyped calc. is demonstrated below)
- diffhist Lambda calculus 11:17 +8 Yesterday, all my dreams... talk contribs (→Explanation and applications: link inactive)
- diffhist Lambda calculus 11:12 −7 Yesterday, all my dreams... talk contribs (→Definition: ce)
- diffhist Lambda calculus 11:11 −5 Yesterday, all my dreams... talk contribs (→Definition: ce)
- diffhist Lambda calculus 11:10 −8 Yesterday, all my dreams... talk contribs (→Definition: ce)
- diffhist Lambda calculus 11:09 +5 Yesterday, all my dreams... talk contribs (Ce)