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
28 May 2025
- diffhist GitHub 09:26 +182 49.237.6.98 talk Tags: Mobile edit Mobile web edit
- diffhist Identity type 05:00 +11 David Eppstein talk contribs (more specific short description)
27 May 2025
- diffhist Uppsala University 21:20 +211 FrinkMan talk contribs (Undid revision 1278669960 by 78.76.88.40 (talk)) Tag: Undo
- diffhist m Natural deduction 16:24 −29 AllCatsAreGrey talk contribs (clean up, typo(s) fixed: charcterized → characterized, Here’s → Here's) Tag: AWB
- diffhist m Axiomatic system 01:11 −1 SociableFish talk contribs (Fixed more typos) Tag: Visual edit
- diffhist m Axiomatic system 01:11 +3 SociableFish talk contribs (Fixed typo) Tag: Visual edit
- diffhist GitHub 00:42 −23 180.233.125.146 talk Tags: Mobile edit Mobile web edit
26 May 2025
- diffhist Natural deduction 18:40 +2,098 Marc Schroeder talk contribs (added Suppes–Lemmon proofs of (i) ¬¬(p ∨ ¬p) and (ii) (p ∨ ¬p))
- diffhist Category theory 14:21 −36 Tea2min talk contribs (Undid revision 1292269643 by Roscroft (talk): These uses of redirects instead of piped links are intentional and conventional. See MOS:NOPIPE and WP:INTDABLINK.) Tags: Undo Disambiguation links added
- diffhist Foundations of mathematics 14:07 −99 Fgnievinski talk contribs (→top)
- diffhist Russell's paradox 14:05 +2 Fgnievinski talk contribs
- diffhist Mathematical proof 11:05 −4,109 Erpert talk contribs (Surprising that so much of this article was unsourced) Tags: Mobile edit Mobile app edit iOS app edit App section source
- diffhist m Homotopy hypothesis 07:52 −1 TakuyaMurata talk contribs (→Formulations: grammar fix)
- diffhist Homotopy hypothesis 06:14 +4 Silvermatsu talk contribs
- diffhist Homotopy hypothesis 06:13 0 Silvermatsu talk contribs (→top)
- diffhist Homotopy hypothesis 06:13 +20 Silvermatsu talk contribs (→top)
- diffhist Homotopy hypothesis 06:12 +67 Silvermatsu talk contribs (→top)
- diffhist Homotopy hypothesis 05:57 0 Silvermatsu talk contribs (→References)
- diffhist Homotopy hypothesis 05:56 +10 Silvermatsu talk contribs (→References)
- diffhist Homotopy hypothesis 05:55 −94 Silvermatsu talk contribs (→References)
- diffhist Homotopy hypothesis 05:55 +131 Silvermatsu talk contribs (→References)
- diffhist m Homotopy hypothesis 05:48 0 Silvermatsu talk contribs (→See also)
- diffhist m Homotopy hypothesis 05:47 0 Silvermatsu talk contribs (→See also)
- diffhist Homotopy hypothesis 05:38 0 Silvermatsu talk contribs (→References)
- diffhist Homotopy hypothesis 05:37 +7 Silvermatsu talk contribs (→References)
- diffhist Homotopy hypothesis 05:34 +2 Silvermatsu talk contribs (→Formulations: harv -> harvnb)
- diffhist Homotopy hypothesis 05:33 +2 Silvermatsu talk contribs (→Formulations: harv -> harvnb)
- diffhist Homotopy hypothesis 05:32 +2 Silvermatsu talk contribs (→Formulations: harv -> harvnb)
- diffhist Homotopy hypothesis 05:29 +1 Silvermatsu talk contribs (→References: dummy edit: According to https://ncatlab.org/nlab/show/Encyclopedia+of+Mathematical+Physics+2nd+ed, this version is the published version of the arxiv article. That is to say, I have not read the published version.)
- diffhist Homotopy hypothesis 05:24 +12 Silvermatsu talk contribs (→n-version)
- diffhist Homotopy hypothesis 05:22 +111 Silvermatsu talk contribs (→References: According to [https://ncatlab.org/nlab/show/Encyclopedia+of+Mathematical+Physics+2nd+ed nLab], this version is the published version of the arxiv article. That is to say, I have not read the published version myself.)
- diffhist m Category theory 03:05 +36 Roscroft talk contribs (swapping out internal redirects for true links) Tags: Reverted Disambiguation links added
25 May 2025
- diffhist Naive set theory 22:32 +519 Paolo Lipparini talk contribs (various fixes; in particular an inconsistent theory proves everything (including all statements which can be interpreted as asserting its consistency!); probably many more things to be fixed|)
- diffhist m Natural deduction 21:42 −2,675 Marc Schroeder talk contribs (→Suppes–Lemmon-style inference rules)
- diffhist m Natural deduction 20:09 −3 Arjayay talk contribs (Duplicate word reworded)
- diffhist Natural deduction 18:34 +3,898 Marc Schroeder talk contribs (corrected 2 examples of Suppes–Lemmon proofs; added a reference to Fitch-style notation; added an intro to Suppes–Lemmon)
- diffhist Homotopy hypothesis 15:52 −25 TakuyaMurata talk contribs (→External links: remove {{categorytheory-stub}}; not exactly a stub)
- diffhist Homotopy hypothesis 15:42 +62 TakuyaMurata talk contribs (→n-version: add see also (we should mention known cases))
- diffhist Homotopy hypothesis 14:16 +57 Silvermatsu talk contribs (→n-version)
- diffhist Homotopy hypothesis 14:13 +116 Silvermatsu talk contribs (→References: Regarding citation needed, are you referring to the version of Hypothesis in Conjecture 1.5.1 (Grothendieck's Homotopy Hypothesis)?)
- diffhist m Homotopy hypothesis 07:49 0 Silvermatsu talk contribs (→n-version)
- diffhist Homotopy hypothesis 07:47 +37 Silvermatsu talk contribs (→n-version: "it has been tempting to associate to a space X a ‘fundamental n-groupoid’ Π_n(X), some sort of n-category whose objects are points, whose morphisms are paths, whose 2-morphisms are paths between paths, and so on up to the n-morphisms, which are homotopy classes of n-fold paths", so I'm looking for references to 3-morphism.)
- diffhist Homotopy hypothesis 07:40 +309 Silvermatsu talk contribs (→References)
- diffhist m Natural deduction 02:48 −50 Marc Schroeder talk contribs (→Suppes–Lemmon-style inference rules)
24 May 2025
- diffhist m Natural deduction 21:07 +7 Marc Schroeder talk contribs (→Gentzen-style propositional logic)
- diffhist Natural deduction 20:36 +1,715 Marc Schroeder talk contribs (Added information to section 'Gentzen-style propositional logic')
- diffhist Computer science 20:28 +437 Ngriffeth talk contribs (→Computer networks: added some detail describing the subject and a reference)
- diffhist Computer science 20:22 +11 Ngriffeth talk contribs (→Computational science, finance and engineering)
- diffhist Computer science 20:20 +22 Ngriffeth talk contribs (→Computational science, finance and engineering: added computational biology)
- diffhist m Calculus of constructions 17:38 −83 Jet Pilot talk contribs (Reverted edits by 102.208.96.70 (talk) to last version by AnomieBOT: nonconstructive edits) Tags: Rollback SWViewer [1.6]