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.
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 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 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
- diffhist Cardinality 00:08 −121 Farkle Griffen talk contribs (→Uniqueness: Slightly simpler proof and clarity) Tags: Reverted Visual edit
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 Hereditary set 22:23 +52 MidnightAlarm talk contribs (Adding short description: "Concept in mathematical logic") Tag: Shortdesc helper
- diffhist Computability theory 19:42 −51 Remsense talk contribs (superfluous)
- diffhist Willard Van Orman Quine 17:40 0 Remsense talk contribs (Undid revision 1283631301 by 74.101.228.225 (talk) lq) Tags: Undo Mobile edit Mobile app edit iOS app edit App undo
- diffhist Willard Van Orman Quine 17:39 0 Remsense talk contribs (Undid revision 1283630767 by 74.101.228.225 (talk) lq) Tags: Undo Mobile edit Mobile app edit iOS app edit App undo
- 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 m Commutative property 11:32 −2 Remsense talk contribs (Reverted 1 edit by 80.187.69.200 (talk) to last revision by Citation bot) Tags: Twinkle Undo
- diffhist Commutative property 11:22 +2 80.187.69.200 talk (fixed punctuation) Tags: Reverted Mobile edit Mobile web 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)
- diffhist m Software 00:07 −9 Timhowardriley talk contribs (→Programming languages: Shortened sentences w/o change in meaning)
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 Kurt Gödel 21:52 +151 Charlie Faust talk contribs (→Legacy: added Rebecca Goldstein)
- 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 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 m Associative property 09:00 −20 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 If and only if 00:36 −636 ZergTwo talk contribs (Restored revision 1288084902 by Marc Schroeder (talk): That does not belong in the lead.) Tags: Twinkle Undo
- 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 Cardinality 21:10 −218 Trovatore talk contribs (the statements in the article are true in the ordinary interpretation, which is not about a specific formal theory. There should be some acknowledgment of other possibilities (especially models of &lnot;AC); how to do that needs thought, but this isn't it)
- diffhist m Cardinality 21:02 +19 Farkle Griffen talk contribs (Fixed DAB link) Tags: Mobile edit Mobile app edit iOS app edit App section source
- diffhist Euclid's Elements 20:55 0 Psychastes talk contribs (fix harv errors)
- diffhist Cardinality 20:18 +5 Trovatore talk contribs (→Introduction: "rule" connotes definability, which is not intended here)
- diffhist m Cardinality 20:15 −3 Arjayay talk contribs (Duplicate word removed)
- diffhist If and only if 19:40 +15 Lindsay658 talk contribs (→See also) Tag: Reverted