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

31 May 2025

diffhist m Formal semantics (natural language) 19:35 +15 Davemck talk contribs (Clean up duplicate template arguments using findargdups)
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 Formal semantics (natural language) 17:15 +2 Phlsph7 talk contribs (→Propositional and predicate logic: ce)
diffhist Formal semantics (natural language) 17:13 0 Phlsph7 talk contribs (fix date)
diffhist Formal semantics (natural language) 17:11 +2,086 Phlsph7 talk contribs (→Sources: add sources)
diffhist Formal semantics (natural language) 17:10 +11,924 Phlsph7 talk contribs (add section "Formal systems and theories"; for previous drafts, see User:Phlsph7/Formal semantics - Formal systems and theories; for a discussion, see Talk:Formal_semantics_(natural_language)#Changes_to_the_article) Tag: harv or sfn error
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 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 Synonym 03:51 +9 73.158.120.223 talk (claimed: improved w/ 'exists alongside native words' ---<--@)
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 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 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)
diffhist Axiomatic system 09:51 0 Yesterday, all my dreams... talk contribs (→Axioms and models: categoricity)
diffhist Analytic–synthetic distinction 04:11 −6 2a00:23c7:2bd2:ab01:207c:d759:7327:9c66 talk (→Mathematics and Synthetic Apriori Propositions.)
diffhist Analytic–synthetic distinction 04:11 −6 2a00:23c7:2bd2:ab01:207c:d759:7327:9c66 talk (→The Importance of Synthetic Apriori Propositions to Kant's metaphysics)
diffhist Ordinal number 04:03 −2 2601:643:8c82:7890:40d0:7ec7:18df:530a talk (→Ordinals extend the natural numbers: changed 'every' to 'any' to reduce ambiguity)
diffhist m Computability theory 03:45 −2 Bringingthewood talk contribs (Undid revision 1293009499 by 2401:D800:37B:F790:5575:319C:FD38:2F7 (talk)) Tag: Undo
diffhist Computability theory 03:41 +2 2401:d800:37b:f790:5575:319c:fd38:2f7 talk Tags: Reverted Mobile edit Mobile web edit
diffhist Cardinality 01:26 +68 Farkle Griffen talk contribs (Restored revision 1292909463 by Farkle Griffen (talk): Nevermind, the second proof doesn't work without the original) Tags: Twinkle Undo
diffhist Ordinal analysis 01:04 +106 C7XWiki talk contribs (→Table of ordinal analyses: Cite Δ^1_1-CA_0) Tags: Mobile edit Mobile web edit
diffhist Cardinality 00:52 +53 Farkle Griffen talk contribs (→Uniqueness: Clearer) Tags: Reverted Visual edit