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
31 May 2024
- diffhist m Goodstein's theorem 14:56 −114 Bbbbbbbbba talk contribs (Switch to sfn, and change the link on the Rathjen reference to arXiv since the original link seems to be broken.) Tag: harv-error
- diffhist Schröder–Bernstein theorem 12:47 −67 Oneequalsequalsone talk contribs (→Proof: removing reference to removed section and {{Clear}} template) Tag: 2017 wikitext editor
30 May 2024
- diffhist Goodstein's theorem 05:31 +451 Bbbbbbbbba talk contribs (→Extended Goodstein's theorem: Added Goodstein's original paper as the source.)
- diffhist Goodstein's theorem 04:41 −391 Bbbbbbbbba talk contribs (→Extended Goodstein's theorem: Made this a subsection, and cut a few sentences about the extended proof as they are both not very necessary and not very accurate (by the example, P(m)(n) should be f(G(m)(n), b_n) instead of f(G(m)(n), n)))
29 May 2024
- diffhist Löb's theorem 06:32 +192 David Eppstein talk contribs (→Löb's theorem in provability logic: explain intended meaning of box)
- diffhist Löb's theorem 06:28 −149 David Eppstein talk contribs (→Modal formulas: clarify; also re what is Box: just a symbol, so far)
28 May 2024
- diffhist Cantor's diagonal argument 22:56 −7 Trovatore talk contribs (→Diagonalization in broader context: there's a general problem in the treatment of the phrase "naive set theory" in Wikipedia; it can mean theories subject to the antinomies, or it can just mean non-formalized set theory. Better to avoid the term when not required)
- diffhist Cantor's diagonal argument 22:44 +39 35.139.154.158 talk (Undid revision 1225500244 by Jochen Burghardt (talk) having tons of similar names here is more harmful than helpful...it's visual clutter that most readers aren't interested in, but those who are can easily read the footnote, per WP:ALTNAME) Tag: Undo
- diffhist Cantor's diagonal argument 22:08 0 68.98.142.188 talk (→In the absence of excluded middle)
- diffhist Cantor's diagonal argument 22:05 +1 68.98.142.188 talk (→In the absence of excluded middle)
24 May 2024
- diffhist Paris–Harrington theorem 23:41 −17 Kaarelh talk contribs (The strengthened finite Ramsey theorem was previously called a "principle"; I changed this to "claim" or "theorem".)
- diffhist Cantor's diagonal argument 20:24 −39 Jochen Burghardt talk contribs (→top: I guess the reason for having redirected names in boldface is that they should be visible at first glance, so moving them into a footnote is not a good idea) Tag: Reverted