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

8 May 2025

diffhist m Principia Mathematica 13:36 +12 Ashmole1652 talk contribs (→Consistency and criticisms) Tag: Visual edit
diffhist m Computable set 12:31 −7 Nyngwang talk contribs
diffhist m Computable set 12:28 +4 Nyngwang talk contribs (Prefer "there exist" than colloquial "there is".)
diffhist m Computable set 12:27 −27 Nyngwang talk contribs (say what the algorithm do earlier.)

7 May 2025

diffhist m Gödel numbering 18:15 −8 SidP talk contribs (→top: changed tag)
diffhist m Gödel numbering 18:13 +28 SidP talk contribs (→top: more ref needed)
diffhist Gödel numbering 18:07 +958 SidP talk contribs (reference formatting (sorry, I don't know harv style) for additional inline ref points, biblio data, wording)
diffhist Gödel numbering 17:44 −473 SidP talk contribs (→References: reference formatting, biblio data, moving one ref inline, moving reflist above others so it doesn't appear to nest)
diffhist Axiomatic system 16:35 +96 Yesterday, all my dreams... talk contribs (→Axioms and models: + satisfiability of axioms)
diffhist m First-order logic 16:12 −3 BardRapt talk contribs (J. P. E. Hodgson, Professor Emeritus)
diffhist Hyperbolic geometry 13:36 −14 Kolventra talk contribs (Reverted 1 edit by WikiRuiner2 (talk)) Tags: Twinkle Undo
diffhist Hyperbolic geometry 12:52 +14 WikiRuiner2 talk contribs (One of the names was translated into english for ease of reading but I changed it back to it's original Russian for more accurate information.) Tags: Reverted Visual edit
diffhist First-order logic 10:56 −6 145.137.163.43 talk (→Logical symbols: Removed Polish notation of "V" and "O")
diffhist First-order logic 10:51 −749 145.137.163.43 talk (Unnecessary mention of Polish notation in multiple parts of the entry.)
diffhist Syllogism 07:19 −31 GhostInTheMachine talk contribs (→Table of all syllogisms: hide the table by default as it is too wide for most displays)
diffhist m Lemma (mathematics) 06:07 −1 Gert7 talk contribs Tag: 2017 wikitext editor
diffhist m Cardinality 03:22 −298 Rsjaffe talk contribs (clean up, typo(s) fixed: caled → called, suprising → surprising, arive → arrive, disticnt → distinct) Tag: AWB

6 May 2025

diffhist m Cardinality 22:40 −27 Farkle Griffen talk contribs (→Countable sets) Tag: Visual edit
diffhist Cardinality 22:38 +1,274 Farkle Griffen talk contribs (→Countable sets: Added a paragraph on algebraic numbers) Tag: Visual edit
diffhist Formal grammar 21:14 −8 Nyngwang talk contribs (fix: it's "rewrite rules" according to the wiki-page titled "rewriting". (but then the title is a bit misleading.))
diffhist Aleph number 20:31 −3 Trovatore talk contribs (→{{anchor|Aleph-null}}Aleph-zero: s/assuming/using -- on reflection I think this is a better word choice. "Assuming" might lead the reader to think that there is something nontrivial being assumed here, rather than just the application of a convention)
diffhist Ordinal analysis 19:33 0 C7XWiki talk contribs (To prevent misreading where someone thinks Delta^1_1-CA_0 is in Avigad and Sommer. It still needs a source →Table of ordinal analyses)
diffhist NP (complexity) 18:11 +9 94.175.200.195 talk (Replaced {{citation needed}} in section title with {{More citations needed section}} as correct template to use)
diffhist Transitive relation 17:55 0 Jochen Burghardt talk contribs (Undid revision 1289101563 by 2402:8100:2841:9996:0:0:6ADE:14FE (talk)) Tag: Undo
diffhist Transitive relation 13:54 0 2402:8100:2841:9996::6ade:14fe talk (→Definition) Tags: Reverted Mobile edit Mobile web edit
diffhist m Aleph number 12:49 −817 D.Lazard talk contribs (Reverted 1 edit by 2600:1700:7AA1:4640:B9BC:96FB:299C:43AE (talk) to last revision by 2600:1700:F420:42D0:88D3:10AD:D637:3272) Tags: Twinkle Undo
diffhist Aleph number 12:08 +817 2600:1700:7aa1:4640:b9bc:96fb:299c:43ae talk Tag: Reverted
diffhist Union (set theory) 08:46 −47 Tea2min talk contribs (Undid revision 1289064208 by 212.139.59.194 (talk)) Tag: Undo
diffhist Union (set theory) 07:48 +47 212.139.59.194 talk (→Notation) Tag: Reverted
diffhist Dimension 00:50 +46 156.47.68.140 talk (→Additional dimensions: linked compactification (physics)) Tags: Mobile edit Mobile web edit

5 May 2025

diffhist Cardinality 21:17 +1 213.124.166.212 talk (→Etymology: Add missing comma)
diffhist Three-valued logic 21:12 +2 MrSwedishMeatballs talk contribs (→Kleene and Priest logics) Tags: Mobile edit Mobile web edit Advanced mobile edit
diffhist m Equality (mathematics) 19:02 0 Farkle Griffen talk contribs Tags: Mobile edit Mobile app edit iOS app edit App section source
diffhist Module:Wikitext Parsing 17:47 +26 Dinoguy1000 talk contribs (the Lua # operator recalculates the length every time it's accessed (including on every loop in a for), so cache its value in cheaptrim since the string isn't modified in-place)
diffhist Mathematical object 17:40 +13 Psychastes talk contribs (Moving from Category:Platonism to Category:Mathematical Platonism diffuse to new cat using Cat-a-lot)
diffhist m First-order logic 15:33 −44 BardRapt talk contribs (tidying E. Mendelson)
diffhist m Formal grammar 14:55 +5 Nyngwang talk contribs (replace all "rewrite rules" with "rewriting rules".)
diffhist m Formal grammar 14:04 −58 Nyngwang talk contribs (remove the explanation of start symbol.)
diffhist m Reflexive relation 13:24 −2 John of Reading talk contribs (→Etymology: Typo fixing, replaced: c.f. → cf. (2)) Tag: AWB
diffhist First-order logic 13:09 −28 JRSpriggs talk contribs (→First-order theories, models, and elementary classes: use "(see below)" because internal link did not work)
diffhist Theory (mathematical logic) 13:05 +72 128.237.82.207 talk (Explain that a formal language and deductive system together give rise to a formal system for reasoning.) Tag: Visual edit
diffhist First-order logic 11:20 +68 2600:4041:4ac:6a00:3a1d:b362:8ad1:92f2 talk (Explain that proof requires an implicit deductive system) Tags: Visual edit Mobile edit Mobile web edit
diffhist Formal grammar 10:53 −11 Nyngwang talk contribs (wiki-link the term "symbol" since it's different from the one of an alphabet.)
diffhist Formal grammar 10:43 +58 Nyngwang talk contribs (people might not know that "a symbol" can be a string here.)
diffhist Formal grammar 10:30 +36 Nyngwang talk contribs (update the first sentence.)
diffhist Metalanguage 10:17 +37 Galzigler talk contribs (→See also)
diffhist Equality (mathematics) 08:49 +317 Farkle Griffen talk contribs (Cleaned up some refs) Tag: Visual edit
diffhist Binary operation 08:27 −13 D.Lazard talk contribs (→top: rm pedantry)
diffhist Equality (mathematics) 08:25 +143 Farkle Griffen talk contribs (→In set theory: Fixed ref) Tag: Visual edit
diffhist Equality (mathematics) 08:09 +70 Farkle Griffen talk contribs (→See also: Added 3 items) Tag: Visual edit