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
5 June 2024
- diffhist Natural number 02:10 +106 Mathnerd314159 talk contribs (Undid revision 1227267436 by Jacobolus (talk) - per the snowball page, "If there are any doubts, do not terminate the process prematurely. In cases of genuine contention in the Wikipedia community, it is best to settle the dispute through discussion and debate." I for one think there is more than a snowball's chance of splitting) Tag: Undo
- diffhist Axiom of choice 00:36 −2 Bbbbbbbbba talk contribs (→Statements implying the negation of AC: Changed the section title again: These statements can *only* be true if ¬C is true (although some are equivalents), as they are negations of ZFC theorems.) Tags: Mobile edit Mobile web edit Advanced mobile edit
4 June 2024
- diffhist m Axiom of choice 20:45 0 AlsoWukai talk contribs (→Independence) Tag: Visual edit
- diffhist A 19:45 −165 Remsense talk contribs (use vertical bars for graphs as opposed to graphemes)
- diffhist m Foundations of mathematics 19:28 +1 Arjayay talk contribs (Sp)
- diffhist Natural number 18:58 −106 Jacobolus talk contribs (remove split template per Wikipedia:Snowball clause. Please feel free to keep discussing on the talk page) Tag: Reverted
- diffhist Substitution (logic) 18:11 −12 Caleb Stanford talk contribs (→First-order logic: fix per talk page) Tag: 2017 wikitext editor
- diffhist m Natural number 14:59 −22 Jacobolus talk contribs (→top: maybe better to tighten like this)
- diffhist Natural number 14:57 +44 Jacobolus talk contribs (wikilink blackboard bold and mention "ordinary" bold N)
- diffhist Forcing (mathematics) 14:57 −6 47.236.83.15 talk (→Rigorous definitions)
- diffhist m Cantor's theorem 14:25 0 Oneequalsequalsone talk contribs (→Proof) Tag: Visual edit
- diffhist Foundations of mathematics 11:41 −1 Ancheta Wis talk contribs (→Ancient Greek mathematics: spelling)
- diffhist Forcing (mathematics) 07:43 −27 Bbbbbbbbba talk contribs (→The countable chain condition: This proof is in fact a slight rephrase of the proof in Cohen's 2008 book, although Cohen's original paper gives an explicit enumeration of any antichain, and also it seems to me that a measure-based proof could work for Cohen forcing too if we regard a condition as a finite union of open intervals.)
- diffhist Axiom of choice 06:41 −5 147.185.46.229 talk (→Statements consistent with the negation of AC) Tag: Visual edit
- diffhist Natural number 05:23 +56 Mathnerd314159 talk contribs (formal split proposal, rm under discussion tag)
- diffhist m Model theory 04:40 +134 Cedar101 talk contribs (→Categoricity: {{mvar}})
- diffhist m Model theory 04:34 −44 Cedar101 talk contribs (→ω-categoricity: {{mvar}} {{mathbb}})
- diffhist m Model theory 04:30 −6 Cedar101 talk contribs (→Ultraproducts: {{mvar}})
- diffhist m Model theory 04:28 +10 Cedar101 talk contribs (→Ultraproducts: {{mvar}}, {{mathcal}})
- diffhist m Finite model theory 02:27 +40 Cedar101 talk contribs (→Database theory: {{sxhl|2=sql|}})
- diffhist m Finite model theory 02:26 +26 Cedar101 talk contribs (→Database theory: <math>)
- diffhist m Finite model theory 02:23 +27 Cedar101 talk contribs (→Example: − {{math}}, <math>)
- diffhist m Finite model theory 02:18 −66 Cedar101 talk contribs (→Characterisation of a class of structures: {{olist}})
- diffhist Church–Turing thesis 01:51 +9 Altenmann talk contribs
- diffhist Finite-valued logic 00:57 −1 2601:603:5301:1710:fdde:f9ea:61a:46c talk (Removed single floating parenthesis) Tag: Visual edit
3 June 2024
- diffhist m Boolean algebra 18:46 +1,111 Sepitropova talk contribs (Edited 'Basic operations' introduction, added the source used, and removed the table 'Logical connectives' as Boolean variables A and B were not defined.) Tag: Visual edit
- diffhist Set (mathematics) 17:59 +330 Pichpich talk contribs (remove citation needed tag and add ref) Tag: ProveIt edit
- diffhist Foundations of mathematics 14:14 +325 D.Lazard talk contribs (→Ancient Greek mathematics: more focus on the foundations)
- diffhist Foundations of mathematics 13:31 −8 D.Lazard talk contribs (→Ancient Greek mathematics: direct link is convenient)
- diffhist Bertrand Russell 12:21 0 47.150.161.181 talk (→Education)
- diffhist Bertrand Russell 12:21 0 47.150.161.181 talk (→Education)
- diffhist New Foundations 07:20 +7 Bbbbbbbbba talk contribs (→Cantor's paradox and Cantorian sets: Now that the consistency of NF is established, it's probably time to change this statement.)
- diffhist Axiom of choice 07:07 +1,117 Bbbbbbbbba talk contribs (→Independence: Added the early results of Fraenkel and Mostowski to give a more intuitive picture of how the axiom of choice could fail at all.)
- diffhist Axiom of choice 06:30 +220 Bbbbbbbbba talk contribs (→References: Realized (after some further searching) that I added the wrong reference for the technique (permutation model) I wanted to talk about.)
- diffhist Philosophy of mathematics 05:06 −2 2a02:8428:61ed:9301:f13:2d16:8f5b:ca9d talk (→Relationship with physical reality)
- diffhist Axiom of choice 03:00 +322 Bbbbbbbbba talk contribs (→References: Added a reference to Mostowski's 1939 paper.)
- diffhist Counterexample 01:21 −343 David Eppstein talk contribs (dubious and unsourced; remove)
2 June 2024
- diffhist Computable function 23:00 +270 David Eppstein talk contribs (→Relation to recursively defined functions: cite Ackermann non-prim-rec)
- diffhist Computable function 22:58 −634 David Eppstein talk contribs (→Relation to recursively defined functions: rewrite to avoid vague "some computable functions have no recursive definition" waffle, obviously false if one allows a recursive definition of the form "return the value obtained from running the Turing machine state obtained by applying this formula to make one more step in the current TM state")
- diffhist Fuzzy set 22:42 +8 Fgnievinski talk contribs (→top) Tags: Mobile edit Mobile app edit Android app edit
- diffhist Reverse mathematics 17:09 −85 2603:6080:76f0:8740:7507:bce7:2b15:c1be talk (→External links: Removed dead link to H. Friedman site, updated link to S. Simpson site)
- diffhist Model theory 09:42 +32 Theodore.norvell talk contribs (→Basic model-theoretic concepts) Tags: Mobile edit Mobile web edit
- diffhist Foundations of mathematics 09:07 −8 D.Lazard talk contribs (→Group theory: "various" is too restrictive)
- diffhist Foundations of mathematics 08:55 +60 D.Lazard talk contribs (→Ancient Greek mathematics: +)
- diffhist Class (set theory) 06:33 −90 David Eppstein talk contribs (→Paradoxes: rm off-topic aside)
- diffhist Class (set theory) 06:30 +371 David Eppstein talk contribs (add a ref from our conglomerate article)
- diffhist Construction of the real numbers 05:04 +172 David Eppstein talk contribs (→Construction using hyperreal numbers: supply requested citation; rm redundant deadlink; rm asides; format math)
- diffhist m Model theory 01:13 +2 Mbivert talk contribs (I'm almost certain that we're missing our ordering relation in the signature here)
1 June 2024
- diffhist m Continuum hypothesis 22:21 +19 Michael Kinyon talk contribs (→Arguments for and against the continuum hypothesis: Citation needed of those who disagree with Freiling)
- diffhist Constructive set theory 17:22 +25 91.112.18.90 talk (→The class of all subsets of a set)