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

5 July 2025

diffhist Category theory 19:56 +35 David Eppstein talk contribs (M. Cristina Pedicchio)
diffhist Proof theory 19:20 +31 184.178.159.252 talk (“More broadly, it belongs to what Prawitz called general proof theory (see section 1.1).” https://plato.stanford.edu/entries/proof-theoretic-semantics/) Tags: Mobile edit Mobile web edit
diffhist New Foundations 17:45 −3 2a00:23c5:fe1c:3701:5d6:19d8:a6c5:35cb talk (grammar)
diffhist Section sign 16:37 −157 Thewikiman24 talk contribs (Cut the image file for the section sign in the Austrian ministry of justice logo and removed the unsited claim that the logo was formally used. As far as I can tell there is just no evidence that this was ever true, and trying to backtrace the image file just lead to a page not found error.) Tag: Visual edit
diffhist Ordinal number 14:57 −210 Mattjazar talk contribs (Removed citation of the 8 page children's picture book 'Ordinal Numbers' by elementary school teacher Kristin Sterling. The inclusion of this citation in the first place appears to be some sort of prank.) Tag: Visual edit
diffhist m Set (mathematics) 14:28 −1 Kreyp talk contribs (→Infinite cardinalities)
diffhist Module:Footnotes/whitelist 13:58 +104 Redrose64 talk contribs (add entries for CITEREFLindsay1968 and CITEREFPopplewell1989)
diffhist Non-Euclidean geometry 13:54 +64 Quondum talk contribs (tweaks)
diffhist m Term logic 11:29 0 WiekeEngels talk contribs (I adjusted the "Ferio". This is now the same format as the 3 above. This is now logically correct. The former wasn't.)

4 July 2025

diffhist Possible world 21:34 +16 Lindsay658 talk contribs (→See also)
diffhist Possible world 21:34 +16 Lindsay658 talk contribs (→See also)
diffhist Possible world 21:33 +16 Lindsay658 talk contribs (→See also)
diffhist Possible world 21:33 +16 Lindsay658 talk contribs (→See also)
diffhist Possible world 21:33 +16 Lindsay658 talk contribs (→See also)
diffhist Possible world 21:32 +16 Lindsay658 talk contribs (→See also)
diffhist Possible world 21:32 +16 Lindsay658 talk contribs (→See also)
diffhist Possible world 21:32 +16 Lindsay658 talk contribs (→See also)
diffhist Possible world 21:31 0 Lindsay658 talk contribs (→See also)
diffhist Possible world 21:30 +16 Lindsay658 talk contribs (→See also)
diffhist Possible world 21:30 +17 Lindsay658 talk contribs (→See also)
diffhist m Computer programming 20:56 −4 EvanBaldonado talk contribs (Replace curly quotes with straight quotes (see MOS:CURLY).)
diffhist Possible world 20:32 +20 WeHoDavid talk contribs (Minor change to improve clarity.) Tags: Mobile edit Mobile web edit Advanced mobile edit
diffhist Possible world 20:30 +1 WeHoDavid talk contribs (I changed "they" to "there".) Tags: Mobile edit Mobile web edit Advanced mobile edit
diffhist Second-order arithmetic 20:00 +4 JStein21 talk contribs (Link suggestions feature: 1 link added.) Tags: Visual edit Newcomer task Suggested: add links
diffhist m Cardinality 19:06 0 LordDiscord talk contribs (Typo) Tags: Visual edit Mobile edit Mobile web edit
diffhist m Boolean algebra 17:48 −4 Hipatius talk contribs (Removed a false link.)
diffhist m Cardinality 17:02 +57 Farkle Griffen talk contribs (→Finite sets: Link to proof) Tag: Visual edit
diffhist Finite set 16:45 +604 Farkle Griffen talk contribs (→Definition and terminology: Clarified definition) Tag: Visual edit
diffhist Finite set 16:18 +443 Farkle Griffen talk contribs (Added missing ref) Tag: Visual edit
diffhist Finite set 16:17 +2,180 Farkle Griffen talk contribs (Moved over uniqueness from ''Cardinality'') Tags: harv or sfn error Visual edit
diffhist m Wayback Machine 15:39 −26 Materialscientist talk contribs (Reverted edits by 105.245.115.24 (talk) (HG) (3.4.13)) Tags: Huggle Rollback
diffhist Wayback Machine 15:39 +26 105.245.115.24 talk Tags: Reverted Mobile edit Mobile web edit
diffhist Constructive set theory 13:58 +9 217.76.162.32 talk (Qualify)
diffhist Primitive recursive function 10:38 +1,207 Marc Schroeder talk contribs (added definition of primitive-recursiveness of vector-valued functions; removed template errors in references and sorted them alphabetically)
diffhist Axiom 07:03 0 84.15.179.7 talk (→Propositional logic: fix bad line-wrap where the comma ends up lonely as the very first character at the start of a new line.)

3 July 2025

diffhist Tautology (logic) 23:43 −2 Trovatore talk contribs (actually that comma doesn't belong there at all (nor does its pair))
diffhist Argument to moderation 23:42 +53 TooManyFingers talk contribs (People who hold this fallacy would never say or think that it applies even if a compromise is unreasonable, because thinking "compromise is always reasonable" is precisely the flaw in their thought process.) Tags: Mobile edit Mobile web edit Advanced mobile edit
diffhist Formal system 23:26 +82 Yesterday, all my dreams... talk contribs (clarify logical completeness)
diffhist Formal system 23:22 +16 Yesterday, all my dreams... talk contribs (link)
diffhist m Tautology (logic) 23:02 0 WeHoDavid talk contribs (I transposed the positions of a comma and a quotation mark.) Tags: Mobile edit Mobile app edit iOS app edit App section source
diffhist Continuous function 19:25 −1 129.104.244.47 talk (→Rules for continuity: typo)
diffhist Overwhelming exception 18:16 −2 2a00:23c7:5186:c901:5553:e3b3:7378:6ed1 talk (→Examples) Tags: Mobile edit Mobile web edit
diffhist m Informal fallacy 16:08 −1 Cambalachero talk contribs (→Fallacies of relevance)
diffhist Euclid's Elements 14:36 +14 D.Lazard talk contribs (→top: caption format)
diffhist Euclid's Elements 14:24 +776 Mellangoose talk contribs (added note of papyrus) Tag: Visual edit
diffhist Surjective function 14:12 −1,534 D.Lazard talk contribs (→Gallery: rm 2 images: unreadable without zooming, and confusing after a zoom)
diffhist Euclid's Elements 13:57 +33 Mellangoose talk contribs (updated image) Tag: Visual edit
diffhist Surjective function 13:57 −427 D.Lazard talk contribs (→Cardinality of the domain of a surjection: not a common notation)
diffhist McNamara fallacy 10:12 +14 Tfdavisatsnetnet talk contribs (→1965 Da Nang visit: Added original text to wlink, added 'sic' template)
diffhist m Injective function 07:48 +4 Akhunpochoev Jamshed talk contribs Tag: Visual edit