Related changes

27 May 2025

• 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 Morphism 12:12 +1 Unlimiter talk contribs ("The composition of morphisms behave like function composition" -> "...behaves...")
• diffhist Morphism 07:36 −110 D.Lazard talk contribs (Reverted 1 edit by Goodphy (talk): Not all morphisms are functions) Tags: Twinkle Undo
• diffhist Morphism 03:42 +110 Goodphy talk contribs (→Definition: Specifically mentioned what are identity morphisms.) Tags: Reverted Visual edit
• 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 Matrix (mathematics) 23:33 +258 David Eppstein talk contribs (I'm skeptical that we really need a source saying that these four column vectors form the vertices of a unit square, but here is one)
• 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 Morphism 08:39 −83 D.Lazard talk contribs (Undid revision 1292274103 by Goodphy (talk) This makes phrasing confusing by introducing unhelpful complication. Also, rm a confusing parenthetical comment.)
• 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 Morphism 03:39 +28 Goodphy talk contribs (Undid revision 1292134802 by 173.79.19.248 (talk) Specify why my change was not an improvement.) Tag: Undo
• 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)
• diffhist m Matrix (mathematics) 01:09 −18 Jacobolus talk contribs (we don't need to wikilink cayley more than once in the same paragraph)
• diffhist Matrix (mathematics) 00:56 +97 David Eppstein talk contribs (→Historical references: more authorlinks)
• diffhist Matrix (mathematics) 00:54 +34 David Eppstein talk contribs (→Historical references: publisher info for reprint)
• diffhist Matrix (mathematics) 00:53 +242 David Eppstein talk contribs (clean up Cayley 1858 ref)

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 m Mathematics 22:50 +1 PlatinumGalaxy talk contribs (→Social sciences: Grammar and missing "and") 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 Morphism 11:05 −28 173.79.19.248 talk (Undid revision 1292101736 by Goodphy (talk) I do not think that this was an improvement) Tags: Undo Reverted
• diffhist Cardinality 09:50 −4 Jochen Burghardt talk contribs (→top: rm definite article, since there are many notions of size)
• diffhist Morphism 06:11 +28 Goodphy talk contribs (→Definition: Improved sentences about how, two functions with different codomains that are identical in terms of the domain and the image, are distinguished in the categorical theory; morphisms with different targets are different.) Tags: Reverted Visual edit
• 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)