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 Bertrand Russell 17:12 −4 Tchaikoffee talk contribs (→Marriages and issue) Tags: Mobile edit Mobile web edit
diffhist Linked list 12:41 +2 Remsense talk contribs (Reverting edit(s) by 2409:40D0:310E:FED:8000:0:0:0 (talk) to rev. 1290343209 by Meters: Vandalism (UV 0.1.6)) Tags: Ultraviolet Undo
diffhist Linked list 08:59 −2 2409:40d0:310e:fed:8000:: talk Tags: Reverted Mobile edit Mobile web edit
diffhist Impredicativity 08:31 +3 Atoll talk contribs (→History: small change for clarity)

31 May 2025

diffhist Ontology 20:00 +4 Omnipaedista talk contribs (link first instance)
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

30 May 2025

diffhist Natural number 21:52 +16 HilssaMansen19 talk contribs (Reverted 1 pending edit by 99.159.84.92 to revision 1292600074 by Chaotic Enby: NPOV; no addition of sources to refute per summary; just explained removal of balancing/neutral sowriting; and re-balanced it) Tags: Manual revert Mobile edit Mobile web edit Advanced mobile edit
diffhist Natural number 17:23 −16 99.159.84.92 talk (There are no well-known sources of cardinal numbers not including zero as such a system would be incapable of measuring the empty set. To reinclude "usually", one should cite a source where a well-founded usage of cardinals/ordinals sans zero is presented.) Tag: Reverted
diffhist Law of excluded middle 16:29 +77 Peter G Werner talk contribs (→See also) Tag: Visual edit
diffhist Hilbert system 15:27 +1 2a00:8a60:c010:1::1:103d talk (→External links: use working link (https instead of http))
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)
diffhist Axiomatic system 09:51 0 Yesterday, all my dreams... talk contribs (→Axioms and models: categoricity)

29 May 2025

diffhist Law of excluded middle 23:20 +4 LucasBrown talk contribs (Changing short description from "Logic theorem" to "Logical principle") Tag: Shortdesc helper
diffhist Calculus of constructions 19:38 −4 175.100.7.120 talk (In mathematical logic and computer science, the calculus of constructions (CoC) is a type theory created by Thierry Coquand. It can serve as both a typed programming language and as constructive foundation for mathematics. For this second reason, the CoC and its variants have been the basis for Coq and other proof assistants. Some of its variants include the calculus of inductive constructions (which adds inductive types), the calculus of (co)inductive constructions (which adds coinduction), an) Tags: Visual edit Mobile edit Mobile web edit
diffhist Unit type 12:17 +202 190.211.89.100 talk (Add Dart unit type) Tag: Visual edit
diffhist Axiomatic system 00:10 +81 Yesterday, all my dreams... talk contribs (→Axioms and models: cartegoricity)

28 May 2025

diffhist Module:Labelled list hatnote 18:18 +127 Ahecht talk contribs (Exclude section anchors from ifexists, properly show "no input" error message when ifexists=true)
diffhist Identity type 05:00 +11 David Eppstein talk contribs (more specific short description)

27 May 2025

diffhist m Natural number 21:15 −14 Chaotic Enby talk contribs (Reverted edits by 197.220.89.58 (talk) (AV)) Tags: AntiVandal Rollback
diffhist Natural number 21:15 +14 197.220.89.58 talk Tags: Reverted Mobile edit Mobile web edit
diffhist Rational number 17:42 +167 AnomieBOT talk contribs (Rescuing orphaned refs (":1" from rev 1292559158))
diffhist m Rational number 17:17 0 Anita5192 talk contribs (ce: nonsero → nonzero in the lead)
diffhist Rational number 16:44 −545 D.Lazard talk contribs (→top: This formal constriction does not belong to the lead)
diffhist Rational number 16:42 +179 D.Lazard talk contribs (minor ce)
diffhist m Natural deduction 16:24 −29 AllCatsAreGrey talk contribs (clean up, typo(s) fixed: charcterized → characterized, Here’s → Here's) Tag: AWB
diffhist Rational number 16:07 +39 D.Lazard talk contribs (Reverted 1 edit by GreatFireBoyPranav (talk): Unexplained removal of content) Tags: Twinkle Undo
diffhist m Rational number 16:00 −39 GreatFireBoyPranav talk contribs Tags: Reverted Visual edit Mobile edit Mobile web edit
diffhist m Sweden 09:49 −1 Lova Falk talk contribs (without h)
diffhist Sweden 05:54 +4 Lova Falk talk contribs (→Taxes: change to correct archived link instead of 404 (see talk))
diffhist Sweden 05:44 +2 Lova Falk talk contribs (→Transport: Göteborg -> Gothenburgh See talk page)
diffhist Sweden 05:23 +25 Lova Falk talk contribs (→Modern history: see discussion in talk page)
diffhist m Axiomatic system 01:11 −1 SociableFish talk contribs (Fixed more typos) Tag: Visual edit
diffhist m Axiomatic system 01:11 +3 SociableFish talk contribs (Fixed typo) Tag: Visual edit

26 May 2025

diffhist Natural deduction 18:40 +2,098 Marc Schroeder talk contribs (added Suppes–Lemmon proofs of (i) ¬¬(p ∨ ¬p) and (ii) (p ∨ ¬p))
diffhist Category theory 14:21 −36 Tea2min talk contribs (Undid revision 1292269643 by Roscroft (talk): These uses of redirects instead of piped links are intentional and conventional. See MOS:NOPIPE and WP:INTDABLINK.) Tags: Undo Disambiguation links added
diffhist Foundations of mathematics 14:07 −99 Fgnievinski talk contribs (→top)
diffhist Russell's paradox 14:05 +2 Fgnievinski talk contribs
diffhist Mathematical proof 11:05 −4,109 Erpert talk contribs (Surprising that so much of this article was unsourced) Tags: Mobile edit Mobile app edit iOS app edit App section source
diffhist Natural number 08:07 +9 D.Lazard talk contribs (Restored revision 1291819160 by CycloneYoris (talk): That has been discussed a lot) Tags: Twinkle Undo
diffhist Natural number 07:43 −30 Balsam Cottonwood talk contribs (Undid revision 1292301482 by 49.48.51.208 (talk)) Tags: Undo Reverted
diffhist Natural number 07:40 +30 49.48.51.208 talk (I improved the end a lot) Tags: Reverted Mobile edit Mobile web edit
diffhist Natural number 07:39 −9 49.48.51.208 talk Tags: Reverted Mobile edit Mobile web edit
diffhist m Dialetheism 07:03 +9,459 Lordseriouspig talk contribs (Reverted edits by 149.167.38.223 (talk) (HG) (3.4.12)) Tags: Huggle Rollback
diffhist Dialetheism 07:02 −9,459 149.167.38.223 talk Tags: Reverted blanking
diffhist m Category theory 03:05 +36 Roscroft talk contribs (swapping out internal redirects for true links) Tags: Reverted Disambiguation links added