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 Natural number [pending revisions] 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.)
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 Axiom of pairing 13:03 −34 Mentisgrail talk contribs (Open access status updates in citations with OAbot #oabot) Tag: OAbot [2.1]
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 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 John von Neumann 05:45 −275 ZergTwo talk contribs (Reverted 1 edit by 85.249.166.201 (talk) to last revision by ZergTwo) Tags: Twinkle Undo
diffhist John von Neumann 04:56 +275 85.249.166.201 talk (→Accolades) Tags: Reverted Mobile edit Mobile web edit
diffhist John von Neumann 04:12 −1,656 ZergTwo talk contribs (Restored revision 1291871398 by Citation bot (talk): Not helpful.) Tags: Twinkle Undo
diffhist John von Neumann 04:04 +1 85.249.166.201 talk (→Accolades) Tags: Mobile edit Mobile web edit
diffhist John von Neumann 04:03 +142 85.249.166.201 talk (→Accolades) Tags: Mobile edit Mobile web edit
diffhist John von Neumann 02:16 −43 85.249.175.224 talk (→Accolades) Tags: Mobile edit Mobile web edit
diffhist John von Neumann 02:13 +167 85.249.175.224 talk (→Accolades) Tags: Mobile edit Mobile web edit
diffhist m Cardinality 01:51 +1 Lmartin37 talk contribs (Fixed typo (cadinality instead of cardinality).) Tag: Visual edit
diffhist John von Neumann 01:50 +43 85.249.175.224 talk (→Accolades) Tags: Mobile edit Mobile web edit
diffhist John von Neumann 01:44 +29 85.249.175.224 talk (→Accolades) Tags: Mobile edit Mobile web edit
diffhist John von Neumann 01:40 +497 85.249.175.224 talk (→Accolades) Tags: Mobile edit Mobile web 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 John von Neumann 22:06 −19 85.249.165.24 talk (→Accolades) Tags: Mobile edit Mobile web edit
diffhist John von Neumann 21:53 +139 85.249.165.24 talk (→Accolades) Tags: Mobile edit Mobile web edit
diffhist Kurt Gödel 21:52 +151 Charlie Faust talk contribs (→Legacy: added Rebecca Goldstein)
diffhist John von Neumann 21:05 +173 85.249.160.72 talk (→Eidetic memory) Tags: Mobile edit Mobile web edit
diffhist John von Neumann 20:25 +1 85.249.165.244 talk (→Eidetic memory) Tags: Mobile edit Mobile web edit
diffhist John von Neumann 20:24 +292 85.249.165.244 talk Tags: Mobile edit Mobile web edit
diffhist John von Neumann 19:53 +87 85.249.165.244 talk Tags: Visual edit 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