Related changes
Appearance
← Subset
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
6 January 2026
- diffhist m Saturated model 23:49 +10 The Boolean talk contribs (Altered link)
- diffhist Kripke–Platek set theory 19:26 +126 JRSpriggs talk contribs (→Axioms: formal restricted collection)
- diffhist Kripke–Platek set theory 19:19 +6 JRSpriggs talk contribs (→Axioms: varphi)
- diffhist Kripke–Platek set theory 19:12 +136 JRSpriggs talk contribs (→Axioms: formal separation)
- diffhist Kripke–Platek set theory 18:39 +130 JRSpriggs talk contribs (→Axioms: formal foundation)
- diffhist Kripke–Platek set theory 18:26 +174 JRSpriggs talk contribs (→Axioms: formal infinity)
- diffhist Euclid's Elements 17:55 −4 FinnSoThin talk contribs (removed excessive links) Tags: Mobile edit Mobile app edit iOS app edit App select source Advanced mobile edit
- diffhist Kripke–Platek set theory 15:50 +134 JRSpriggs talk contribs (→Axioms: formal union)
- diffhist Kripke–Platek set theory 15:39 +174 JRSpriggs talk contribs (→Axioms: formal null set and pairing)
- diffhist Kripke–Platek set theory 15:28 +140 JRSpriggs talk contribs (→Axioms: cut equality out of the loop in extensionality)
- diffhist Robinson arithmetic 14:02 +20 ~2025-31734-65 talk contribs
- diffhist Rule of inference 09:29 −25 Phlsph7 talk contribs (→Definition: duplicate link)
- diffhist Structure (mathematical logic) 08:54 +335 Yesterday, all my dreams... talk contribs (→History: Tarski)
- diffhist Structure (mathematical logic) 08:51 +10 Yesterday, all my dreams... talk contribs (→History: lnk)
- diffhist Template:Hlist/styles.css 00:36 −51 Pppery talk contribs (Use nbsp per request on talk)