Related changes

13 May 2025

• diffhist m Computable set 09:38 −14 Nyngwang talk contribs (rm all "called".)
• diffhist Abraham Fraenkel 04:41 +160 Iljhgtn talk contribs (Infobox) Tag: Visual edit
• diffhist Computable set 01:17 +11 JRSpriggs talk contribs (→Non-examples: please clarify isomorphism class of two simplicial complexes)

12 May 2025

• diffhist Computable set 22:34 −40 Nyngwang talk contribs (revert: remove "meta: more citation needed.")
• diffhist m Computable set 22:18 +3 Nyngwang talk contribs (meta(browsers): use parens to display better digest for search engines.)
• diffhist Computable set 22:11 −82 Nyngwang talk contribs (→Properties: rm: redundant sentence.)
• diffhist m Computable set 22:09 +45 Nyngwang talk contribs (→Properties)
• diffhist Computable set 22:07 −2 Nyngwang talk contribs (→Properties: fix: wrong grouping.)
• diffhist Computable set 22:02 +41 Nyngwang talk contribs (meta(add request): need more citations.)
• diffhist m Set (mathematics) 21:59 −44 D.Lazard talk contribs (Reverted 2 edits by 103.92.161.104 (talk) to last revision by Toukouyori Mimoto) Tags: Twinkle Undo
• diffhist m Computable set 21:58 +37 Nyngwang talk contribs (→Properties: list-ify)
• diffhist m Computable set 21:42 +41 Nyngwang talk contribs (meta: replace inlined note by linked note.)
• diffhist Computable set 21:31 −29 Nyngwang talk contribs (→Examples: fix(wording): no need to say "a recursive language of a formal language", the former implies that it's a subset of the Kleene closure of the alphabet already.)
• diffhist m Computable set 21:25 +1 Nyngwang talk contribs (→Notes: better reading.)
• diffhist m Computable set 21:24 0 Nyngwang talk contribs (→Examples: format: note superscript position.)
• diffhist m Computable set 21:21 −5 Nyngwang talk contribs (fixup: note content.)
• diffhist Computable set 21:15 +77 Nyngwang talk contribs (meta: replace inlined note by linked note.)
• diffhist m Computable set 21:05 −20 Nyngwang talk contribs (→Examples)
• diffhist m Computable set 21:04 −10 Nyngwang talk contribs (meta: avoid distraction by unbold negation.)
• diffhist m Computable set 20:59 −21 Nyngwang talk contribs (→Examples and non-examples: meta: embedded "non-examples" under "examples" (treat it like a special case of examples))
• diffhist m Computable set 20:55 +1 Nyngwang talk contribs (→Definition: format.)
• diffhist m Computable set 20:53 +8 Nyngwang talk contribs (wording.)
• diffhist Set (mathematics) 20:47 +43 103.92.161.104 talk Tags: Reverted Visual edit Mobile edit Mobile web edit
• diffhist Computable set 20:44 −7 Nyngwang talk contribs (→Formal definition: rename: section title. (we don't have "informal definition", so no need to put emphasis here))
• diffhist Set (mathematics) 20:44 +1 103.92.161.104 talk Tags: Reverted Visual edit Mobile edit Mobile web edit
• diffhist John von Neumann 20:41 +5 24.155.147.110 talk (→Work habits)
• diffhist Computable set 20:39 −390 Nyngwang talk contribs (wording: simplify; replace paragraph on "semidecidable" by a link in See Also.)
• diffhist Axiom of infinity 01:42 +3 Nyngwang talk contribs (→Formal statement: Prefer formulas first, then come explanations; link earlier.)
• diffhist Axiom of infinity 01:13 −70 Nyngwang talk contribs (fix: translation in English.)

11 May 2025

• diffhist Cardinality 23:47 +76 Sheddow talk contribs (→Uncountable sets: expand upon "issues related to 0.999...")
• diffhist Cardinality 23:30 +28 Sheddow talk contribs (→Uncountable sets: Clarify what we're actually proving)
• diffhist m Singleton (mathematics) 18:55 +29 Loverthehater talk contribs (→Definition in Principia Mathematica: added link to principia mathematica)
• diffhist Axiom of projective determinacy 15:45 −25 7804j talk contribs (removed Category:Game theory using HotCat)
• diffhist Cardinality 10:21 −1,030 D.Lazard talk contribs (→Ancient History: rm reference to commensurability, which hs nothing to do with cardinality)
• diffhist Cardinality 10:18 +36 D.Lazard talk contribs (→Ancient History: ce)

10 May 2025

• diffhist Cardinality 19:59 +185 D.Lazard talk contribs (→Ancient History: clarification needed)
• diffhist Cardinality 19:42 −1 Farkle Griffen talk contribs (Undid revision 1289775616 by Farkle Griffen (talk) Maybe not) Tags: Undo Mobile edit Mobile app edit iOS app edit App undo
• diffhist m Cardinality 19:40 +1 Farkle Griffen talk contribs (Minor temporary fix, per talk.) Tags: Reverted Mobile edit Mobile app edit iOS app edit App section source
• diffhist m Cardinality 19:10 +105 Farkle Griffen talk contribs (→Ancient History: Added link to citation) Tag: Visual edit
• diffhist Cardinality 18:50 +36 Willondon talk contribs (→Ancient History: copyedit per talk)
• diffhist Cardinality 18:21 −243 JRSpriggs talk contribs (→Uncountable sets: simplify the argument)
• diffhist Finite set 15:42 +16 JRSpriggs talk contribs (→Definition and terminology: undo last edit; and clarify.)
• diffhist Cardinality 08:00 −54 Farkle Griffen talk contribs (→Uncountable sets) Tag: Visual edit
• diffhist Cardinality 07:55 +2,905 Farkle Griffen talk contribs (→Uncountable sets: Added two paragraphs on powersets and Cantor's theorem) Tag: Visual edit
• diffhist John von Neumann 06:18 +26 David Eppstein talk contribs (this is mostly cs1 so standardize on that; resolve isbn error and remove publisher sales link)
• diffhist Cardinality 05:23 +1 2601:647:cf80:6a00:3852:1d07:ca70:6530 talk (→Countable sets)

9 May 2025

• diffhist m Cardinal number 21:29 0 IWonderAboutEverything talk contribs (→top) Tags: Mobile edit Mobile app edit Android app edit App full source
• diffhist m Computable set 19:33 −5 Nyngwang talk contribs
• diffhist m Computable set 18:36 −33 Nyngwang talk contribs (Simplify the description of the second paragraph.)
• diffhist m Computable set 18:01 −1 Nyngwang talk contribs (merge the single line into the first paragraph.)