Related changes
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
4 January 2026
- diff hist Kripke–Platek set theory 14:55 +15 JRSpriggs talk contribs (→Axioms: induction require Σ_1 formulas)
- diff hist Lambda calculus 11:47 −2 Jochen Burghardt talk contribs (→Explanation and applications: rm left-over "}}")
- diff hist 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)
- diff hist Lambda calculus 11:17 +8 Yesterday, all my dreams... talk contribs (→Explanation and applications: link inactive)
- diff hist Lambda calculus 11:12 −7 Yesterday, all my dreams... talk contribs (→Definition: ce)
- diff hist Lambda calculus 11:11 −5 Yesterday, all my dreams... talk contribs (→Definition: ce)
- diff hist Lambda calculus 11:10 −8 Yesterday, all my dreams... talk contribs (→Definition: ce)
- diff hist Lambda calculus 11:09 +5 Yesterday, all my dreams... talk contribs (Ce)
- diff hist Set (mathematics) 02:55 +1 ~2026-60470 talk contribs (Undid revision 1331036540 by ~2026-60470 (talk)) Tag: Undo
- diff hist Set (mathematics) 02:54 −1 ~2026-60470 talk contribs (fixed grammatical error) Tags: Reverted Visual edit
- diff hist Proof of impossibility 02:35 −131 David Eppstein talk contribs (fix bogus lulu isbn for 1958 book; find replacement url for Turing)
- diff hist Kripke–Platek set theory 02:02 +5 JRSpriggs talk contribs (→Even natural numbers: no way to do first separation, so make this invisible until I have a fix)
- diff hist Kripke–Platek set theory 00:37 +539 JRSpriggs talk contribs (→Even natural numbers: summarize)
3 January 2026
- diff hist Von Neumann–Bernays–Gödel set theory 19:54 +107 ~2025-31734-65 talk contribs
- diff hist Complexity class 16:36 +7 Kencf0618 talk contribs (→P and NP: WP:DASH)
- diff hist Formal grammar 16:29 +3 Kencf0618 talk contribs (WP:DASH)
- diff hist Formal grammar 16:28 +2 Kencf0618 talk contribs (WP:DASH)
- diff hist Formal grammar 16:27 +5 Kencf0618 talk contribs (WP:DASH)
- diff hist Type theory 16:07 −1 ~2026-52295 talk contribs (a second imbecil "dependencies"!)
- diff hist Type theory 16:04 −1 ~2026-52295 talk contribs (plural of dependence is dependences, NOT dependencies)