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

7 May 2025

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
diffhist Baroco 03:08 +33 2a04:b2c2:402:a300:f42b:dc20:28a4:5636 talk (clarification + link)
diffhist Aristotle 02:18 +183 A.Cython talk contribs (→Life: same image but a better version (not as dark, slightly higher quality), it is also used in Ancient Macedonians article)

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 m On Interpretation 20:00 +748 Dotoilage talk contribs (Content taken from a redirect.)
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 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

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 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 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 Binary operation 08:27 −13 D.Lazard talk contribs (→top: rm pedantry)
diffhist Formal grammar 07:09 −45 Nyngwang talk contribs (Avoid using "syntax" as a formal grammar is the syntax of a formal language already.)
diffhist Formal grammar 06:59 +1 Nyngwang talk contribs (each formal language is defined on one-and-only-one set.)
diffhist Formal grammar 06:57 −62 Nyngwang talk contribs (Prefer defining "what it is" before "what it does".)
diffhist Philosophy of language 05:40 +11 2604:3d09:8878:a700:51a0:2e33:d0a7:db0b talk Tag: Manual revert
diffhist Cardinality 04:25 0 Farkle Griffen talk contribs (→Bibliography: Alphebetized sources) Tag: Visual edit
diffhist Cardinality 04:20 +418 Farkle Griffen talk contribs (→Bibliography: Added ref) Tag: Visual edit
diffhist Extensionality 03:46 +212 Farkle Griffen talk contribs (→References: Added ref) Tag: Visual edit
diffhist William of Ockham 02:02 +5 Hairy Dude talk contribs (→Logic: don't use US state abbreviations in this international encyclopedia) Tags: Mobile edit Mobile web edit Advanced mobile edit
diffhist William of Ockham 02:01 +7 Hairy Dude talk contribs (→Political theory: spacing, first/last) Tags: Mobile edit Mobile web edit Advanced mobile edit
diffhist m Natural deduction 00:21 +28 Marc Schroeder talk contribs

4 May 2025

diffhist m Cardinality 23:40 +1 Farkle Griffen talk contribs (→Countable sets) Tag: Visual edit
diffhist m Cardinality 23:38 0 Farkle Griffen talk contribs (Moved commas and periods inside formulas due to wrapping issues) Tag: Visual edit: Switched
diffhist Uniqueness quantification 23:14 +39 Farkle Griffen talk contribs (Mentioned "Essentially unique") Tags: Mobile edit Mobile app edit iOS app edit App section source
diffhist m Natural deduction 23:09 −2 Marc Schroeder talk contribs (→Common definition styles)
diffhist Cardinality 22:49 +12 Farkle Griffen talk contribs (→Bibliography: Fixed a ref) Tag: Visual edit
diffhist Euclid's Elements 21:10 0 Psychastes talk contribs (number at the end of the sentence looks odd)
diffhist Euclid's Elements 21:08 0 Psychastes talk contribs (ce)