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

1 June 2025

diffhist Kolmogorov complexity 19:56 −627 JayBeeEll talk contribs (someone tried to clean up an incredibly poor addition from this edit https://en.wikipedia.org/w/index.php?title=Kolmogorov_complexity&diff=prev&oldid=1241693496 but even after cleaning I think it is better to remove it entirely)
diffhist Cardinality 16:53 +17 Farkle Griffen talk contribs (→Equivalence: Slightly clarified relationship between "Cardinality" and an equivalence relation.) Tag: Visual edit
diffhist m Sequent calculus 12:45 +155 Marc Schroeder talk contribs (→References)
diffhist Sequent calculus 12:30 +535 Marc Schroeder talk contribs (Updated references)
diffhist Cardinality 08:01 +115 D.Lazard talk contribs (→Other contributors: cantor did not know manifolds)

31 May 2025

diffhist Rule of inference 22:59 +25 Psychastes talk contribs (→Definition: add linked template)
diffhist Help:Maintenance template removal 22:49 −1 Alalch E. talk contribs (→When to remove: rm blank)
diffhist Help:Maintenance template removal 22:49 +108 Alalch E. talk contribs (anchors)
diffhist Ontology language 19:41 −73 Omnipaedista talk contribs (rm spam)
diffhist First-order logic 19:08 +7 Anerdw talk contribs (MOS:GNL - “man” and “human” get the same point across. Also, punctuation.) Tags: Mobile edit Mobile web edit Advanced mobile edit
diffhist Cardinality 19:06 +1,346 Farkle Griffen talk contribs (→Finite sets: Started a section on "Combinatorics") Tag: Visual edit
diffhist m Cardinality 17:41 +1 Sheddow talk contribs (→Aleph numbers: typo)
diffhist m Cardinality 17:21 +50 Farkle Griffen talk contribs (→See also: added link) Tag: Visual edit
diffhist m Cardinality 16:51 +14 Farkle Griffen talk contribs (→Cardinality of the continuum: typos, punctuation, grammar) Tag: Visual edit: Switched
diffhist m Cardinality 15:12 +20 Farkle Griffen talk contribs (Clarification, repeating zeros are also non-unique) Tags: Mobile edit Mobile app edit iOS app edit App section source
diffhist m Cardinality 15:01 +1 Farkle Griffen talk contribs (grammar) Tags: Mobile edit Mobile app edit iOS app edit App section source
diffhist m Cardinality 14:53 0 Farkle Griffen talk contribs (fixed link) Tags: Mobile edit Mobile app edit iOS app edit App section source
diffhist Cardinality 14:37 −134 Farkle Griffen talk contribs (Typo/fluff) Tags: Mobile edit Mobile app edit iOS app edit App section source
diffhist m Cardinality 10:23 −3 Arjayay talk contribs (Duplicate word removed)
diffhist m Cardinality 05:30 0 Farkle Griffen talk contribs Tag: Visual edit
diffhist Cardinality 05:19 +59 Farkle Griffen talk contribs (→Aleph numbers: omega+1) Tag: Visual edit
diffhist m SQL 05:05 −28 Ylee talk contribs (→History: -wl)
diffhist SQL 05:04 +502 Ylee talk contribs (→History: IBM's endorsement) Tag: ProveIt edit
diffhist m Cardinality 05:04 −1 Farkle Griffen talk contribs (typos) Tags: Mobile edit Mobile app edit iOS app edit App section source
diffhist Cardinality 05:02 +671 Farkle Griffen talk contribs (→Cardinality of the continuum: Rewrote section) Tag: Visual edit
diffhist Cardinality 03:14 +229 Farkle Griffen talk contribs (→Other contributors: Added ref) Tag: Visual edit
diffhist Cardinality 02:52 +1,079 Farkle Griffen talk contribs (→Other contributors: Mentioned Peano) Tag: Visual edit
diffhist m Cardinality 01:57 +2 Farkle Griffen talk contribs (grammar) Tags: Mobile edit Mobile app edit iOS app edit App section source
diffhist Partition of a set 01:18 −1 174.138.213.2 talk (→Definition and notation: grammar)

30 May 2025

diffhist Cardinality 23:53 +10 Farkle Griffen talk contribs (→Cardinal numbers: clarity/typos) Tag: Visual edit
diffhist m Cardinality 23:44 −28 Farkle Griffen talk contribs Tags: Mobile edit Mobile app edit iOS app edit App section source
diffhist Cardinality 23:44 +98 Farkle Griffen talk contribs (→See also: Rm already used links, added other links) Tag: Visual edit
diffhist m Cardinality 23:18 0 Farkle Griffen talk contribs Tags: Mobile edit Mobile app edit iOS app edit App section source
diffhist Cardinality 23:15 −2,831 Farkle Griffen talk contribs (→Introduction: Deleted section. Nearly all information is used throughout the article) Tag: Visual edit
diffhist Cardinality 23:13 +1,041 Farkle Griffen talk contribs (→Cardinal numbers: Added an introduction to the section) Tag: Visual edit
diffhist Cardinality 22:35 +420 Farkle Griffen talk contribs (→Inequality: Expanded a little more on the total order of cardinal inequality) Tag: Visual edit
diffhist Cardinality 22:15 +1,695 Farkle Griffen talk contribs (→Inequality: Expanded on the Schroder-Berstein theorem and Cardinal in) Tag: Visual edit
diffhist Cardinality 21:06 −592 Farkle Griffen talk contribs (→Inequality: Better to not talk about powersets and cantor's theorem yet) Tag: Visual edit
diffhist Cardinality 20:13 +33 Farkle Griffen talk contribs (→Other contributors: Better flow) Tags: harv or sfn error Visual edit
diffhist Module:Doi 18:37 +824 Trappist the monk talk contribs
diffhist Law of excluded middle 16:29 +77 Peter G Werner talk contribs (→See also) Tag: Visual edit
diffhist Intuitionistic type theory 15:53 +8 Quezergue talk contribs (→Judgements) Tag: Visual edit
diffhist Propositional calculus 15:51 +16 2a00:8a60:c010:1::1:103d talk (→History: corrected claims from source that the source doesn't even claim; formal logic first came up in the 19th century with Frege's Begriffsschrift)
diffhist Hilbert system 15:27 +1 2a00:8a60:c010:1::1:103d talk (→External links: use working link (https instead of http))
diffhist m Non-standard model of arithmetic 15:14 0 Jacopo Piccione talk contribs (→Structure of countable non-standard models)
diffhist Template:Doi 14:09 −332 Trappist the monk talk contribs (sync from sandbox;)
diffhist Expression (mathematics) 12:55 +77 Jochen Burghardt talk contribs (→Variables and evaluation: more specific for "simplify")
diffhist Expression (mathematics) 12:36 0 5.74.37.75 talk (changed some numbers that were wrong in the equations)
diffhist Natural deduction 12:08 +405 Marc Schroeder talk contribs (Better formulation of remark)
diffhist Category theory 09:54 +33 Yesterday, all my dreams... talk contribs (→See also: categoricity for logical theories)