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

30 May 2025

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 Big O notation 04:27 −1 2601:643:8c82:7890:40d0:7ec7:18df:530a talk (→Infinitesimal asymptotics)
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 Template:Top icon 01:11 +18 Jonesey95 talk contribs (Fix Linter errors. Fix invalid image options.)
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
diffhist Cardinality 00:08 −121 Farkle Griffen talk contribs (→Uniqueness: Slightly simpler proof and clarity) Tags: Reverted Visual edit

29 May 2025

diffhist Hereditary set 22:23 +52 MidnightAlarm talk contribs (Adding short description: "Concept in mathematical logic") Tag: Shortdesc helper
diffhist Template:Top icon 20:54 +36 Jonesey95 talk contribs (Fix Linter errors. Fix invalid image options when parameters are blank (pipes go inside the #if statements). Tested in the sandbox, though not with every possible test case. Please revert or post on the talk page if I broke something.)
diffhist Computability theory 19:42 −51 Remsense talk contribs (superfluous)
diffhist m Cardinality 14:39 −12 Farkle Griffen talk contribs (→Equinumerosity: typos and quotation marks) Tag: Visual edit
diffhist m Cardinality 14:36 −6 Farkle Griffen talk contribs (→Equinumerosity: typos) Tag: Visual edit
diffhist m Cardinality 14:33 +4 Farkle Griffen talk contribs (→Equinumerosity) Tag: Visual edit
diffhist Cardinality 14:29 +1,097 Farkle Griffen talk contribs (→Equinumerosity: Added explanatory paragraph, and minor rewrite.) Tag: Visual edit
diffhist Turing machine 13:08 +1 Jochen Burghardt talk contribs (Undid revision 1292693563 by Pstringe0 (talk): in a quote, the original text should be shown literally, whether we like it or not) Tag: Undo
diffhist Big O notation 06:14 −4 Sapphorain talk contribs (Undid revision 1292726469 by Gjstreicher (talk) Unclear justification for a false assertion) Tag: Undo
diffhist Emmy Noether 04:37 +75 Foxtrot1296 talk contribs (copy-edit)
diffhist m Cardinality 01:51 +1 Lmartin37 talk contribs (Fixed typo (cadinality instead of cardinality).) Tag: Visual edit
diffhist Axiomatic system 00:10 +81 Yesterday, all my dreams... talk contribs (→Axioms and models: cartegoricity)

28 May 2025

diffhist Logic 23:53 +18 TonySt talk contribs (Reverted 1 edit by 2601:145:C301:1BB0:9947:49B6:E93C:C553 (talk): Revert random word removal) Tags: Twinkle Undo
diffhist Logic 23:35 −18 2601:145:c301:1bb0:9947:49b6:e93c:c553 talk Tags: Reverted Mobile edit Mobile web edit
diffhist Logic 22:57 +6 TonySt talk contribs (Reverted 1 edit by 2601:145:C301:1BB0:9947:49B6:E93C:C553 (talk): Revert random letter removals) Tags: Twinkle Undo
diffhist Logic 22:56 −6 2601:145:c301:1bb0:9947:49b6:e93c:c553 talk Tags: Reverted Mobile edit Mobile web edit
diffhist m Church encoding 19:22 +90 Beland talk contribs (MOS:MATHSPECIAL / convert special characters found by Wikipedia:Typo Team/moss (via WP:JWB)) Tag: JWB
diffhist Baire function 16:25 +12 UwUmast4r talk contribs (Link suggestions feature: 3 links added.) Tags: Visual edit Newcomer task Suggested: add links
diffhist m Big O notation 13:39 +4 Gjstreicher talk contribs (I've added the infimum of zero on the limit supremum in the formal definition to ensure that the closest valid g(x) is chosen as opposed to just any M.g(x) that turns out to be larger than f(x), and not necessary ever equal to f(x).() Tag: Reverted
diffhist Georg Cantor 12:57 +31 Remsense talk contribs (Undid revision 1291640222 by RLCRoet (talk) cannot read) Tags: Undo Mobile edit Mobile app edit iOS app edit App undo
diffhist Georg Cantor 12:57 −7 Remsense talk contribs (Undid revision 1292720633 by 187.62.82.167 (talk) rv) Tags: Undo Mobile edit Mobile app edit iOS app edit App undo
diffhist Georg Cantor 12:55 +7 187.62.82.167 talk Tags: Reverted Mobile edit Mobile web edit
diffhist m Turing machine 09:05 −1 Pstringe0 talk contribs (→The Entscheidungsproblem (the "decision problem"): Hilbert's tenth question of 1900: Changed integral to integer as per the definition of Diophantine equations referenced elsewhere on the site.) Tags: Manual revert Reverted Visual edit
diffhist m Bijection 09:01 +43 Beland talk contribs (MOS:MATHSPECIAL / convert special characters found by Wikipedia:Typo Team/moss (via WP:JWB)) Tag: JWB
diffhist Turing machine 08:35 +1 Ehrenkater talk contribs (Undid revision 1292689777 by 67.204.47.19 (talk) The word "integer" is arguably more correct, but do you have a citation saying that that is what the original translation said?) Tags: Undo Reverted
diffhist Turing machine 08:30 −1 67.204.47.19 talk (→The Entscheidungsproblem (the "decision problem"): Hilbert's tenth question of 1900: changed integral coefficients to integer coefficients.) Tag: Reverted
diffhist Turing machine 05:13 +26 Kankawee aramrak talk contribs (Add constructor's name of physical Turing Machine.)
diffhist m Cardinality 03:02 +1 Farkle Griffen talk contribs (→Georg Cantor: grammar) Tag: Visual edit
diffhist Image (mathematics) 00:00 0 172.56.169.180 talk (→Properties) Tag: Manual revert

27 May 2025

diffhist Image (mathematics) 23:57 0 172.56.169.180 talk (→General) Tag: Reverted
diffhist Topological space 23:10 +43 Yesterday, all my dreams... talk contribs (→Topology from other topologies: did someone say src)