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
27 May 2025
- diffhist Natural number [pending revisions] 21:15 +14 197.220.89.58 talk Tags: Mobile edit Mobile web edit
- diffhist Cardinality 21:10 −218 Trovatore talk contribs (the statements in the article are true in the ordinary interpretation, which is not about a specific formal theory. There should be some acknowledgment of other possibilities (especially models of &lnot;AC); how to do that needs thought, but this isn't it)
- diffhist m Cardinality 21:02 +19 Farkle Griffen talk contribs (Fixed DAB link) Tags: Mobile edit Mobile app edit iOS app edit App section source
- diffhist Euclid's Elements 20:55 0 Psychastes talk contribs (fix harv errors)
- diffhist Cardinality 20:18 +5 Trovatore talk contribs (→Introduction: "rule" connotes definability, which is not intended here)
- diffhist m Cardinality 20:15 −3 Arjayay talk contribs (Duplicate word removed)
- diffhist m Natural deduction 16:24 −29 AllCatsAreGrey talk contribs (clean up, typo(s) fixed: charcterized → characterized, Here’s → Here's) Tag: AWB
- diffhist Cardinality 14:45 −16 Jochen Burghardt talk contribs (→top: it doesn't follow logically)
- diffhist Tarski's axiomatization of the reals 12:21 +62 WeyerStudentOfAgrippa talk contribs (Adding short description: "Second-order theory of the real numbers") Tag: Shortdesc helper
- diffhist m Axiomatic system 01:11 −1 SociableFish talk contribs (Fixed more typos) Tag: Visual edit
- diffhist m Axiomatic system 01:11 +3 SociableFish talk contribs (Fixed typo) Tag: Visual edit
- diffhist m Cardinality 00:40 +71 Farkle Griffen talk contribs (→Uncountable sets: Hatnote link to "Cardinality of the continuum") Tag: Visual edit: Switched
- diffhist Cardinality 00:34 +1,081 Farkle Griffen talk contribs (→Comparing sets: Added some prerequisite terminology.) Tags: Visual edit Disambiguation links added
26 May 2025
- diffhist Natural deduction 18:40 +2,098 Marc Schroeder talk contribs (added Suppes–Lemmon proofs of (i) ¬¬(p ∨ ¬p) and (ii) (p ∨ ¬p))
- diffhist Cardinality 15:15 +13 D.Lazard talk contribs (Undid revision 1292344339 by Fgnievinski (talk) Using template {{hatnote}} for an important user warning does not mean that it is a WP:hanote, if not at the top of the article neither at the top of a section) Tag: Undo
- diffhist Category theory 14:21 −36 Tea2min talk contribs (Undid revision 1292269643 by Roscroft (talk): These uses of redirects instead of piped links are intentional and conventional. See MOS:NOPIPE and WP:INTDABLINK.) Tags: Undo Disambiguation links added
- diffhist Foundations of mathematics 14:07 −99 Fgnievinski talk contribs (→top)
- diffhist Russell's paradox 14:05 +2 Fgnievinski talk contribs
- diffhist Cardinality 14:00 −13 Fgnievinski talk contribs (WP:LEGITHAT) Tag: Reverted
- diffhist Natural number 08:07 +9 D.Lazard talk contribs (Restored revision 1291819160 by CycloneYoris (talk): That has been discussed a lot) Tags: Twinkle Undo
- diffhist Natural number 07:43 −30 Balsam Cottonwood talk contribs (Undid revision 1292301482 by 49.48.51.208 (talk)) Tags: Undo Reverted
- diffhist Natural number 07:40 +30 49.48.51.208 talk (I improved the end a lot) Tags: Reverted Mobile edit Mobile web edit
- diffhist Natural number 07:39 −9 49.48.51.208 talk Tags: Reverted Mobile edit Mobile web edit
- diffhist Computability theory 07:19 −20 David Eppstein talk contribs (→References: isbn goes to a 1972 reprint from Wolters-Noordhoff, but explaining the history of dutch academic publisher mergers that led to that would be more trouble than it's worth)
- diffhist Equality (mathematics) 05:39 +11 TurboSuperA+ talk contribs (→History: c/e)
- diffhist m Category theory 03:05 +36 Roscroft talk contribs (swapping out internal redirects for true links) Tags: Reverted Disambiguation links added
- diffhist Cardinality 02:25 +404 Farkle Griffen talk contribs (→Other contributors: Added ref) Tag: Visual edit
- diffhist Empty set 02:12 0 173.79.19.248 talk (→Topology: LQ)
25 May 2025
- diffhist Cardinality 23:59 +356 Farkle Griffen talk contribs (→Georg Cantor: Included his view of cardinality as an abstraction from sets) Tag: Visual edit
- diffhist Naive set theory 22:32 +519 Paolo Lipparini talk contribs (various fixes; in particular an inconsistent theory proves everything (including all statements which can be interpreted as asserting its consistency!); probably many more things to be fixed|)
- diffhist m Cardinality 22:10 −1 Willondon talk contribs (→Other contributors: spelling)
- diffhist m Natural deduction 21:42 −2,675 Marc Schroeder talk contribs (→Suppes–Lemmon-style inference rules)
- diffhist Cardinality 21:20 +171 Farkle Griffen talk contribs (→Other contributors: Added some detail and clarification) Tag: Visual edit
- diffhist Cardinality 20:53 +161 Farkle Griffen talk contribs (→Georg Cantor: Mentioned Cantor's Theorem) Tag: Visual edit
- diffhist m Natural deduction 20:09 −3 Arjayay talk contribs (Duplicate word reworded)
- diffhist Natural deduction 18:34 +3,898 Marc Schroeder talk contribs (corrected 2 examples of Suppes–Lemmon proofs; added a reference to Fitch-style notation; added an intro to Suppes–Lemmon)
- diffhist Cardinality 18:30 −1,765 Farkle Griffen talk contribs (→Georg Cantor: Major trimming. Making more room for more detail.) Tag: Visual edit
- diffhist Module:Portal/images/m 11:09 +264 Hike395 talk contribs (dark mode edits: mark as dark-on-white)
- diffhist Cardinality 09:50 −4 Jochen Burghardt talk contribs (→top: rm definite article, since there are many notions of size)
- diffhist Logicism 04:11 +65 Seananony talk contribs (→top: correction, spelling out pm) Tags: Mobile edit Mobile app edit Android app edit App full source
- diffhist m Natural deduction 02:48 −50 Marc Schroeder talk contribs (→Suppes–Lemmon-style inference rules)
- diffhist m Material conditional 02:32 0 Marc Schroeder talk contribs (→Syntactical properties)
24 May 2025
- diffhist Cardinality 22:35 +1,907 Farkle Griffen talk contribs (→Early set theory: Started a section on "Other contributors") Tag: Visual edit
- diffhist Cardinality 21:52 −4 Trovatore talk contribs (The link to size is not particularly helpful here)
- diffhist m Cardinality 21:48 +28 Farkle Griffen talk contribs (→Georg Cantor: Swapped image for a younger Cantor) Tag: Visual edit
- diffhist m Material conditional 21:48 −567 Marc Schroeder talk contribs (→Syntactical properties: Now things are stated once instead of twice.)
- diffhist Cardinality 21:46 +1,335 Farkle Griffen talk contribs (→Georg Cantor: Added primary sources. Adding Secondary and tertiary sources soon) Tag: Visual edit
- diffhist Cardinality 21:46 0 Trovatore talk contribs (→History: sentence case for headings)
- diffhist Cardinality 21:34 +2,436 Farkle Griffen talk contribs (→Early Set theory: Expanded bit on Cantor into its own section--needs trimming and glossing. I'll begin adding in-line citations shortly) Tag: Visual edit
- diffhist m Natural deduction 21:07 +7 Marc Schroeder talk contribs (→Gentzen-style propositional logic)