Related changes
← Reduct
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 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 Additive inverse 23:04 −4 HotHiggiDogg talk contribs (→Formal definition: Typo) Tags: Mobile edit Mobile web edit
- diffhist Additive inverse 23:01 +43 HotHiggiDogg talk contribs (→Formal definition: Formatted text/code of previous edit) Tags: Mobile edit Mobile web edit
- diffhist Additive inverse 22:54 +155 HotHiggiDogg talk contribs (→Formal definition: Rewrote two confusing sentences.) Tags: Mobile edit Mobile web 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 Additive inverse 22:15 −2 HotHiggiDogg talk contribs (→Formal definition: Fixed typo) Tags: Mobile edit Mobile web edit
- 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 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 Group (mathematics) 18:15 −20 Logic Decimal talk contribs (reducing for clarity)
- 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 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 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 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 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 Addition 04:36 0 Như Gây Mê talk contribs (Reverted edits by 139.130.67.114 (talk) to last version by EvanBaldonado: disruptive edits) Tags: Rollback SWViewer [1.6]
- diffhist Addition 04:35 0 139.130.67.114 talk Tag: Reverted
- 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 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.)