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.

Namespace:	Invert selection Associated namespace
Tag filter:	Invert selection
Page name:	Show changes to pages linked to the given page instead

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

10 June 2025

diffhist Material conditional 15:03 +299 Robertas.Vilkas talk contribs (→History: For Bourbaki notation replaced the incorrect notation \to with \Rightarrow and added a reliable source (some time ago Wiki had the correct version, but someone messed it up))
diffhist Cardinality 14:08 +31 Nick19520 talk contribs (→See also)
diffhist m Forcing (mathematics) 10:54 +1 SchwartzYosale talk contribs (→Internal definition: fixed typo)
diffhist m Forcing (mathematics) 10:39 +5 SchwartzYosale talk contribs (→The countable chain condition: fixed grammar)
diffhist Primitive recursive function 02:01 +9 103.58.110.6 talk (Correct spacing around binary operator →Predicate "Less or equal") Tag: Visual edit: Switched

9 June 2025

diffhist Logic 21:43 +7 Trovatore talk contribs (→Formal logic: I suspect the other editor was confused by the language; the rule of inference isn't something that applies to the premises and also to the conclusion, but rather to the path from the former to the latter)
diffhist Cardinality 21:35 0 Sheddow talk contribs (→Ancient history: Capitalize Jaina) Tags: Mobile edit Mobile web edit
diffhist Strength (mathematical logic) 20:08 +46 742a talk contribs (Add short description) Tags: Mobile edit Mobile web edit
diffhist Logic 19:40 +5 ERcheck talk contribs (→Formal logic: per Trovatore, not a compound subject, so adding word to avoid any ambiguity)
diffhist Multiplication 19:12 +12 Ninjamin talk contribs (→top: the asterisk for multiplication is specific to programming languages, not as claimed generally on computers (many calculator apps use it to input multiplication, but even those don't use it to display multiplication)) Tag: 2017 wikitext editor
diffhist Logic 17:53 +1 Trovatore talk contribs (Undid revision 1294502182 by ERcheck (talk) the subject of "follows" is "logical structure", which is singular) Tag: Undo
diffhist m Reuben Goodstein 15:52 +14 Tobyhoward talk contribs (Changing short description from "English mathematician" to "English mathematician (1912–1985)") Tag: Shortdesc helper
diffhist First-order logic 15:09 +192 BardRapt talk contribs (→Terms: G. Takeuti)
diffhist Fuzzy set 13:25 +1 SchwartzYosale talk contribs (Undid revision 1293950139 by 93.38.201.218 (talk) "iff" is a common term, short for "if and only if". in this case it's more appropriate than just "if") Tag: Undo
diffhist Forcing (mathematics) 12:57 +16 SchwartzYosale talk contribs (→The countable chain condition: reformulated in a more similar way to the proof in the reference. it was unclear before, in my opinion, why the "finite set" should in fact be finite. answer: it's a finite partial function itself!)
diffhist Axiom of choice 11:02 +99 Goodphy talk contribs (Added a note explaining what is S_i for straightforward understanding of what is the axiom of choice.) Tag: Visual edit
diffhist Forcing (mathematics) 10:27 +185 SchwartzYosale talk contribs (→The countable chain condition: clarified the construction (because I had to go to the reference to understand it myself)) Tag: Visual edit: Switched
diffhist Rule of inference 08:42 +457 Phlsph7 talk contribs (mention term "deductive explosion" per DYK discussion)
diffhist m Equality (mathematics) 02:08 0 Farkle Griffen talk contribs (They're just a bit too big) Tag: Visual edit: Switched
diffhist m Cardinality 01:47 0 Farkle Griffen talk contribs (→Equivalence) Tag: Visual edit
diffhist Cardinality 01:42 −163 Farkle Griffen talk contribs (→Uniqueness: This is a little easier to read, I think?) Tag: Visual edit
diffhist Equality (mathematics) 01:34 +4 ZergTwo talk contribs (Upright is preferred, see MOS:UPRIGHT for more information. Undid revision 1294630629 by Farkle Griffen (talk)) Tag: Undo
diffhist m Cardinality 01:15 +44 Farkle Griffen talk contribs (→Ancient history: via) Tag: Visual edit
diffhist Cardinality 01:11 +332 Farkle Griffen talk contribs (→Ancient history: Added ref) Tag: Visual edit
diffhist Cardinality 01:01 +986 Farkle Griffen talk contribs (→Ancient history: Mentioned Jain mathematics) Tag: Visual edit

10 June 2025

9 June 2025

8 June 2025

7 June 2025

6 June 2025