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 Continuum hypothesis 05:53 +742 David Eppstein talk contribs (supply requested citation(s))
- diffhist Continuum hypothesis 05:48 +19 David Eppstein talk contribs (→Arguments for and against the continuum hypothesis: the actual quote from Freiling)
- 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 m Foundations of mathematics 19:28 +1 Arjayay talk contribs (Sp)
- diffhist Substitution (logic) 18:11 −12 Caleb Stanford talk contribs (→First-order logic: fix per talk page) Tag: 2017 wikitext editor
- 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 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 m Template:Alan Turing 18:36 +11 Dotoilage talk contribs
- diffhist Template:Alan Turing 18:22 +346 Dotoilage talk contribs
- diffhist Set (mathematics) 17:59 +330 Pichpich talk contribs (remove citation needed tag and add ref) Tag: ProveIt edit
- diffhist m Alan Turing 16:54 +3 GiantSnowman talk contribs (script-assisted date audit and style fixes per MOS:NUM)
- diffhist Axiom of adjunction 16:11 −75 Wizmut talk contribs (shorten short description)
- 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 m Universal Turing machine 07:42 +34 Cedar101 talk contribs (fix math)
- 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 De Morgan's laws 05:22 +241 David Eppstein talk contribs (→In computer engineering: supply requested citation)
- diffhist Philosophy of mathematics 05:06 −2 2a02:8428:61ed:9301:f13:2d16:8f5b:ca9d talk (→Relationship with physical reality)
- diffhist Alan Turing 03:55 +6 DocWatson42 talk contribs (Cleaned up MOS:ORDER and other matters, including image placement per MOS:ACCIM.)
- diffhist Axiom of choice 03:00 +322 Bbbbbbbbba talk contribs (→References: Added a reference to Mostowski's 1939 paper.)
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 m Kurt Gödel 16:14 +8 Shuipzv3 talk contribs (→Legacy: Italics)
- diffhist m Axiom of adjunction 16:06 +122 Wiiformii talk contribs (Importing Wikidata short description: "Axiom that for any two sets 𝑥, 𝑦 there is a set 𝑥∪{𝑦} given by adjoining 𝑦 to 𝑥") Tag: Shortdesc helper
- diffhist Axiom of adjunction 15:19 +103 Silvermatsu talk contribs (→References: | Add: publisher, date, title, authors 1-2. | Use this tool. Report bugs. | #UCB_Gadget)
- 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)