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
22 May 2024
- diffhist First-order logic 09:50 −10 Jochen Burghardt talk contribs (Undid revision 1225092232 by 195.133.151.210: better keep the more general example (formulas needn't be closed)) Tag: Undo
- diffhist First-order logic 09:38 +10 195.133.151.210 talk (→Formulas) Tag: Reverted
- diffhist Weakly compact cardinal 04:29 +59 LucasBrown talk contribs (Adding local short description: "Type of large cardinal in set theory", overriding Wikidata description "Mahlo cardinal 𝜅 such that every height‐𝜅 tree either has a size‐𝜅 level or a size‐𝜅 branch") Tag: Shortdesc helper
21 May 2024
- diffhist m Axiom of choice 15:42 −6 The big parsley talk contribs (Changed "algebraic topology" to "graph theory", because I feel connected graphs and spanning trees are much more connected to graph theory)
20 May 2024
- diffhist Peano arithmetic 08:50 −39 D.Lazard talk contribs (the common use of "Peano arithmetic" does not refers to first order logic) Tag: Redirect target changed
18 May 2024
- diffhist Akihiro Kanamori 03:26 +307 David Eppstein talk contribs (reviews of ''The higher infinite'')