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
4 June 2024
- 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 Algorithm 17:14 +204 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 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.)
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 m Douglas Hofstadter 18:59 −15 Egidio24 talk contribs (v2.05 - Fix errors for CW project (Link equal to linktext)) Tag: WPCleaner
- diffhist m Wikipedia:Verifiability 17:59 +13 Primium talk contribs (→Responsibility for providing citations: added ore-existing shortcut)
- diffhist Constructive set theory 17:22 +25 91.112.18.90 talk (→The class of all subsets of a set)
- diffhist Constructive set theory 17:14 +10 91.112.18.90 talk (→The class of all subsets of a set)
- diffhist Constructive set theory 17:13 +27 91.112.18.90 talk (→The class of all subsets of a set)
- diffhist Aleph number 14:35 +1,319 Bugghost talk contribs (Restored revision 1222104525 by 2601:204:F181:9410:D032:F4C7:286F:420F (talk): Vandalism) Tags: Twinkle Undo
- diffhist Aleph number 14:32 +15 73.123.111.69 talk (→See also) Tag: Reverted
- diffhist Aleph number 14:32 −1,512 73.123.111.69 talk (→Aleph-omega) Tag: Reverted
- diffhist Aleph number 14:29 +13 73.123.111.69 talk (→Aleph-α for general α) Tag: Reverted
- diffhist Aleph number 14:28 +53 73.123.111.69 talk (→Continuum hypothesis) Tag: Reverted
- diffhist Aleph number 14:27 +53 73.123.111.69 talk (→See also) Tag: Reverted
- diffhist Aleph number 14:26 +59 73.123.111.69 talk (→Fixed points of omega) Tag: Reverted
- diffhist Foundations of mathematics 14:00 +182 D.Lazard talk contribs (→Formalism: tagging the first sentence, and fixing the interpretation of Hilbert quotations)
- diffhist Foundations of mathematics 13:41 −67 D.Lazard talk contribs (→Foundational crisis: rm unexplained translation in German)
- diffhist Foundations of mathematics 13:40 +29 D.Lazard talk contribs (→Foundational crisis: see User talk:D.Lazard#Foundational crisis)