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

2 May 2025

diffhist Euclidean geometry 04:23 +1 Seckanon talk contribs (Fixed grammar)
diffhist Equivalence class 04:06 +75 Goodphy talk contribs (→Properties: Elaborate a sentence.) Tag: Visual edit
diffhist Equivalence class 03:54 +60 Goodphy talk contribs (→Properties: Specified which equivalence class contains an element x of a set X with the equivalence relation.) Tag: Visual edit
diffhist Church–Turing thesis 02:39 +255 Mathnerd314159 talk contribs (Undid revision 1288280571 by Johnjbarton (talk) - it's uncommon, but appears in a fair number of places, for example this ACM article)

1 May 2025

diffhist m Axiom of choice 18:04 −115 Michaelnikolaou talk contribs (Re-arranged duplicate text; slightly shortened a statement)
diffhist Lambda calculus 17:12 −2 WillNess talk contribs (→Recursion and fixed points: grammar fix)
diffhist Church–Turing thesis 16:42 −474 Johnjbarton talk contribs (Delete non-notable variant that just reverses the names.)
diffhist Church–Turing thesis 16:40 +242 Johnjbarton talk contribs (Reference edited with ProveIt #proveit update ref) Tag: ProveIt edit
diffhist Church–Turing thesis 16:29 +20 Shearonink talk contribs (C/E: Harv warning fixes)
diffhist Constructive set theory 13:56 0 85.76.99.217 talk (→Set existence: fix typo) Tags: Mobile edit Mobile web edit
diffhist Fuzzy set 13:14 +7 SchwartzYosale talk contribs (→Entropy: further correction (cf. previous edit))
diffhist Fuzzy set 13:06 +15 SchwartzYosale talk contribs (→Entropy: wrote out the condition explicitly. (idk how to make the numbered list work though, someone should do that))
diffhist Fuzzy set 12:07 +16 SchwartzYosale talk contribs (→Fuzzy set operations: added clarification, so the reader knows they haven't missed anything)
diffhist Lambda calculus 10:27 +511 WillNess talk contribs (→Recursion and fixed points: elaboration)
diffhist Equivalence class 09:09 +3 Goodphy talk contribs (→Proof: Fixed a typo.) Tag: Visual edit
diffhist Equivalence class 09:05 +1,127 Goodphy talk contribs (→Properties: Added a proof section.) Tag: Visual edit
diffhist Alphabet (formal languages) 05:49 −112 David Eppstein talk contribs (Undid revision 1288209709 by Nyngwang (talk) makes no sense. Formation rules do not cause alphabet symbols to become indivisible; they merely are indivisible.) Tag: Undo
diffhist Alphabet (formal languages) 05:26 +112 Nyngwang talk contribs (move "indivisible" into a standalone sentence: avoids all possible confusions derived from "only length-1 symbols were allowed" for an alphabet, since "indivisible" is undefined here.) Tag: Reverted
diffhist m Formal language 02:41 +31 Nyngwang talk contribs (anchor the term "well-formed words" to the definition.)
diffhist Equivalence class 01:45 +46 Goodphy talk contribs (→Properties: Separate a paragraph into two paragraphs for readability.) Tag: Visual edit

30 April 2025

diffhist Lambda calculus 20:53 +166 WillNess talk contribs (→Recursion and fixed points: tweak, elaborate)
diffhist m Lambda calculus 20:21 0 WillNess talk contribs (→Recursion and fixed points: minor style)
diffhist Material conditional 16:56 −29 Jochen Burghardt talk contribs (→External links: now in side tab)
diffhist Non-Euclidean geometry 15:35 −42 Trappist the monk talk contribs (Undid revision 1288051798 by Jovensward (talk) broke citation template;)
diffhist m Material conditional 14:48 +240 Marc Schroeder talk contribs
diffhist Church encoding 11:33 +12 Risee01 talk contribs (Link suggestions feature: 3 links added.) Tags: Visual edit Newcomer task Suggested: add links
diffhist m Cardinality 04:11 +38 Farkle Griffen talk contribs (rv citation bot) Tags: Mobile edit Mobile app edit iOS app edit App section source
diffhist Non-Euclidean geometry 03:00 +58 Jovensward talk contribs (Open access status updates in citations with OAbot #oabot) Tag: OAbot [2.1]
diffhist Axiomatic system 02:22 +418 Yesterday, all my dreams... talk contribs (+ model theory)
diffhist Axiomatic system 02:15 +38 Yesterday, all my dreams... talk contribs (clarify theory)
diffhist Axiomatic system 01:57 −180 Yesterday, all my dreams... talk contribs (not dependent on Model theory. Axiom systems existed long, before model theory came along)
diffhist Axiomatic system 01:50 −89 Yesterday, all my dreams... talk contribs (again, Completeness (logic) does not need to apply)
diffhist Axiomatic system 01:45 +20 Yesterday, all my dreams... talk contribs (lnk)
diffhist Axiomatic system 01:44 +44 Yesterday, all my dreams... talk contribs (the statements are the axioms) Tag: Disambiguation links added

29 April 2025

diffhist m Cardinality 18:46 0 Cyfal talk contribs (spelling (WP:Typo Team))
diffhist Constructive set theory 18:04 +164 178.165.200.21 talk (Define subsingleton)
diffhist Lambda calculus 16:24 −17 WillNess talk contribs (→Recursion and fixed points: c/e)
diffhist Lambda calculus 16:08 +510 WillNess talk contribs (→Recursion and fixed points: further edits for clarity)
diffhist Quantifier (logic) 15:43 +42 Jochen Burghardt talk contribs (→Infinite domain of discourse)
diffhist Paradoxes of set theory 12:12 −63 Avy42 talk contribs Tag: Visual edit
diffhist m Axiom 11:09 −447 C.Fred talk contribs (Reverted edit by 2001:9E8:90B2:5600:67DF:F57B:2344:9AB (talk) to last version by ESkog) Tag: Rollback
diffhist Axiom 11:07 +447 2001:9e8:90b2:5600:67df:f57b:2344:9ab talk Tags: Reverted Mobile edit Mobile web edit
diffhist Quantifier (logic) 09:28 +82 D.Lazard talk contribs (→Infinite domain of discourse: ce)
diffhist Quantifier (logic) 08:52 +20 109.166.139.234 talk (→Infinite domain of discourse)
diffhist Formal language 07:51 −507 Jochen Burghardt talk contribs (→top: a language is a set, not a composition; example refs "(e.g. ...)" are distracting in lead; "well-formed" is explained in the 2nd par, a lang needn't be defined by a grammar; rm special case "wf formula"; omit distracting "formation rules")
diffhist Alphabet (formal languages) 07:05 +12 Jochen Burghardt talk contribs (Undid revision 1287752483 by Nyngwang (talk): "indivisible" isn't superfluous: alphabet member mustn't be nontrivial strings obtained by the same composition operation that is used for building the formal language)
diffhist m Formal language 03:53 +19 Nyngwang talk contribs (link to section.)
diffhist m Formal language 03:51 +19 Nyngwang talk contribs (typo: should not make assumptions on audience.)

28 April 2025

diffhist m Formal language 16:42 0 Nyngwang talk contribs (typo: should use "e.g." instead of "i.e.".)
diffhist Formal language 16:31 +31 Nyngwang talk contribs (linking: redirect the link in the opening to the definition; create a new internal link between "Formal language" and "Alphabet (formal languages)" to form a mutual link.)