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.

Namespace:	Invert selection Associated namespace
Tag filter:	Invert selection
Page name:	Show changes to pages linked to the given page instead

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

diffhist Kripke–Platek set theory 14:55 +15 JRSpriggs talk contribs (→Axioms: induction require Σ_1 formulas)
diffhist 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)