Related changes

7 May 2025

• diffhist Kurt Gödel 18:43 +143 SidP talk contribs (→Later life and death: reference formatting, biblio data)
• diffhist m Gödel numbering 18:15 −8 SidP talk contribs (→top: changed tag)
• diffhist m Gödel numbering 18:13 +28 SidP talk contribs (→top: more ref needed)
• diffhist Gödel numbering 18:07 +958 SidP talk contribs (reference formatting (sorry, I don't know harv style) for additional inline ref points, biblio data, wording)
• diffhist Gödel numbering 17:44 −473 SidP talk contribs (→References: reference formatting, biblio data, moving one ref inline, moving reflist above others so it doesn't appear to nest)
• diffhist Axiomatic system 16:35 +96 Yesterday, all my dreams... talk contribs (→Axioms and models: + satisfiability of axioms)
• diffhist m First-order logic 16:12 −3 BardRapt talk contribs (J. P. E. Hodgson, Professor Emeritus)
• diffhist Ring (mathematics) 15:38 −41 Quondum talk contribs (Undid revision by Goodphy – the base case is integers, and a presumption of invertibility should not exist (D.Lazard, "numbers" is to vague here, as can be seen))
• diffhist Ring (mathematics) 15:23 +42 Goodphy talk contribs (Added a missing for multiplication in an informal ring definition in the introductory section.) Tag: Visual edit
• diffhist Algebra 12:19 −7 Quondum talk contribs (→Elementary algebra: typo)
• diffhist Algebra 12:17 +2 Quondum talk contribs (→Major branches: stacking of indices is a space-saving convention that can be confusing to the newcomer)
• diffhist Algebra 12:15 −70 Quondum talk contribs (fmt)
• diffhist Vector space 12:05 +323 JAlone talk contribs (Improve dark mode display)
• diffhist Algebra 11:56 −9 Quondum talk contribs (→Theories of interrelations among structures: rm abuse of "advanced")
• diffhist Group (mathematics) 11:29 −1 Quondum talk contribs (→Equivalent definition with relaxed axioms: correcting my grammar: number agreement)
• diffhist Group (mathematics) 11:28 +23 Quondum talk contribs (→Equivalent definition with relaxed axioms: that two of the three axioms are not sufficient is a truth, but was (pointlessly) stated only in relation to the specific given proof)
• diffhist Group (mathematics) 11:20 −2 Quondum talk contribs (→Equivalent definition with relaxed axioms: one can show that → it follows that (more natural presentation of the same thing))
• diffhist Group (mathematics) 11:11 +34 Quondum talk contribs (→Generalizations: more consistency in what is presented in the table (I don't see the value in the table, though, and it does not belong in this section: remove it?))
• diffhist Group (mathematics) 10:58 0 Quondum talk contribs (→Generalizations: highlighting: the operation is actually a column heading)
• diffhist First-order logic 10:56 −6 145.137.163.43 talk (→Logical symbols: Removed Polish notation of "V" and "O")
• diffhist First-order logic 10:51 −749 145.137.163.43 talk (Unnecessary mention of Polish notation in multiple parts of the entry.)
• diffhist m Group (mathematics) 09:11 0 ShirAko1 talk contribs (Decap table entries for consistency)
• diffhist Syllogism 07:19 −31 GhostInTheMachine talk contribs (→Table of all syllogisms: hide the table by default as it is too wide for most displays)
• diffhist m Lemma (mathematics) 06:07 −1 Gert7 talk contribs Tag: 2017 wikitext editor
• diffhist m Cardinality 03:22 −298 Rsjaffe talk contribs (clean up, typo(s) fixed: caled → called, suprising → surprising, arive → arrive, disticnt → distinct) Tag: AWB
• diffhist Algebra 00:07 −75 ZergTwo talk contribs (Reverted good faith edits by TheBartman2012 (talk): Added content is not mentioned outside the article's lead.) Tags: Twinkle Undo

6 May 2025

• diffhist m Cardinality 22:40 −27 Farkle Griffen talk contribs (→Countable sets) Tag: Visual edit
• diffhist Cardinality 22:38 +1,274 Farkle Griffen talk contribs (→Countable sets: Added a paragraph on algebraic numbers) Tag: Visual edit
• diffhist m Algebra 21:23 +75 TheBartman2012 talk contribs (Added more info about level algebra is taught) Tags: Reverted Visual edit
• diffhist Formal grammar 21:14 −8 Nyngwang talk contribs (fix: it's "rewrite rules" according to the wiki-page titled "rewriting". (but then the title is a bit misleading.))
• diffhist Aleph number 20:31 −3 Trovatore talk contribs (→{{anchor|Aleph-null}}Aleph-zero: s/assuming/using -- on reflection I think this is a better word choice. "Assuming" might lead the reader to think that there is something nontrivial being assumed here, rather than just the application of a convention)
• diffhist Ordinal analysis 19:33 0 C7XWiki talk contribs (To prevent misreading where someone thinks Delta^1_1-CA_0 is in Avigad and Sommer. It still needs a source →Table of ordinal analyses)
• diffhist NP (complexity) 18:11 +9 94.175.200.195 talk (Replaced {{citation needed}} in section title with {{More citations needed section}} as correct template to use)
• diffhist Real analysis 17:45 +12 Arslanhmdai talk contribs (Link suggestions feature: 3 links added.) Tags: Visual edit Newcomer task Suggested: add links
• diffhist Group (mathematics) 13:44 +167 Quondum talk contribs (→Generalizations: decap table entries for consistency)
• diffhist Group (mathematics) 13:37 −12 Quondum talk contribs (, which → that (restrictive clause is needed here); rephase parenthesis so that it does not have the potential interpretation to mean "this is the only characterization")
• diffhist Group (mathematics) 13:31 +4 Quondum talk contribs (fixing some potential wrapping of punctuation using {{tmath}})
• diffhist Group (mathematics) 13:07 +3 Quondum talk contribs (→Equivalent definition with relaxed axioms: are done → are applied)
• diffhist m Aleph number 12:49 −817 D.Lazard talk contribs (Reverted 1 edit by 2600:1700:7AA1:4640:B9BC:96FB:299C:43AE (talk) to last revision by 2600:1700:F420:42D0:88D3:10AD:D637:3272) Tags: Twinkle Undo
• diffhist Aleph number 12:08 +817 2600:1700:7aa1:4640:b9bc:96fb:299c:43ae talk Tag: Reverted
• diffhist Union (set theory) 08:46 −47 Tea2min talk contribs (Undid revision 1289064208 by 212.139.59.194 (talk)) Tag: Undo
• diffhist Union (set theory) 07:48 +47 212.139.59.194 talk (→Notation) Tag: Reverted
• diffhist Hausdorff maximal principle 04:09 −39 Gnessuno talk contribs (→Proof 2)
• diffhist Hausdorff maximal principle 04:02 +1,790 Gnessuno talk contribs
• diffhist Woodin cardinal 03:16 +12 CaptainKir0z talk contribs (Link suggestions feature: 3 links added.) Tags: Visual edit Newcomer task Suggested: add links

5 May 2025

• diffhist Cardinality 21:17 +1 213.124.166.212 talk (→Etymology: Add missing comma)
• diffhist Three-valued logic 21:12 +2 MrSwedishMeatballs talk contribs (→Kleene and Priest logics) Tags: Mobile edit Mobile web edit Advanced mobile edit
• diffhist Module:Wikitext Parsing 17:47 +26 Dinoguy1000 talk contribs (the Lua # operator recalculates the length every time it's accessed (including on every loop in a for), so cache its value in cheaptrim since the string isn't modified in-place)
• diffhist Mathematical object 17:40 +13 Psychastes talk contribs (Moving from Category:Platonism to Category:Mathematical Platonism diffuse to new cat using Cat-a-lot)
• diffhist m First-order logic 15:33 −44 BardRapt talk contribs (tidying E. Mendelson)