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
6 June 2024
- diffhist Type theory 09:09 −5 213.24.133.237 talk (Removed strange out of place word "See" (typo?)) Tags: Visual edit Mobile edit Mobile web edit
- diffhist Linear logic 06:21 −425 David Eppstein talk contribs (→Decidability/complexity of entailment: rm claim with bogus reference. https://dblp.org/db/conf/apn/apn1989.html lists nothing matching from that conference, and https://dblp.org/pid/g/CarlAGunter.html lists only an unrelated paper with Gehlot.)
5 June 2024
- diffhist m List of set identities and relations 23:45 +18 Mgkrupa talk contribs (Clarification)
- diffhist List of set identities and relations 23:39 +381 Mgkrupa talk contribs (Mentioned distributivity)
- diffhist m List of set identities and relations 23:28 −2 Mgkrupa talk contribs (Fix)
- diffhist List of set identities and relations 23:27 +479 Mgkrupa talk contribs (Moved information into new section "Symmetric difference ∆ of finitely many sets")
- diffhist List of set identities and relations 23:26 −476 Mgkrupa talk contribs (→Distributivity and symmetric difference ∆: Moved information)
- diffhist List of set identities and relations 23:24 +44 Mgkrupa talk contribs (Moved information into new section "Symmetric difference ∆ of finitely many sets")
- diffhist List of set identities and relations 23:20 +476 Mgkrupa talk contribs (→Distributivity and symmetric difference ∆)
- diffhist List of set identities and relations 22:54 +84 Mgkrupa talk contribs (→Distributing arbitrary Π over arbitrary ⋃: Anchor)
- diffhist List of set identities and relations 22:52 −390 Mgkrupa talk contribs (Removed redundant text)
- diffhist List of set identities and relations 22:49 0 Mgkrupa talk contribs (Rearranged)
- diffhist List of set identities and relations 22:44 +1,692 Mgkrupa talk contribs (Mentioned distributivity)
- diffhist List of set identities and relations 22:20 +499 Mgkrupa talk contribs (→Other simplifications: Mentioned Symmetric Difference of multiple sets)
- diffhist List of set identities and relations 21:55 +1,117 Mgkrupa talk contribs (Mentioned distributivity)
- diffhist List of set identities and relations 21:39 +883 Mgkrupa talk contribs (→Binary ⨯ distributes over ⋃ and ⋂ and \ and ∆: Reworded)
- diffhist List of set identities and relations 21:29 +1,215 Mgkrupa talk contribs (→Cartesian products ⨯ of finitely many sets: Mentioned distributivity)
- diffhist m List of set identities and relations 21:04 0 Mgkrupa talk contribs (Fix)
- diffhist List of set identities and relations 21:03 +174 Mgkrupa talk contribs (→Unions ⋃ of Π: Reworded example)
- diffhist List of set identities and relations 20:50 +982 Mgkrupa talk contribs (→Unions ⋃ of Π: Added counter-example to equality)
- diffhist Ordinal analysis 20:33 +52 C7XWiki talk contribs (→Table of ordinal analyses)
- diffhist Ordinal analysis 20:32 +2 C7XWiki talk contribs (→Table of ordinal analyses)
- diffhist Ordinal analysis 20:31 +6 C7XWiki talk contribs (→Table of ordinal analyses)
- diffhist Ordinal analysis 20:30 +200 C7XWiki talk contribs (→Table of ordinal analyses: Sources)
- diffhist Ordinal analysis 20:22 +29 C7XWiki talk contribs
- diffhist Reverse mathematics 19:08 0 C7XWiki talk contribs (Fix)
- diffhist Reverse mathematics 19:04 +234 C7XWiki talk contribs (→Π11 comprehension Π11-CA0: Sources) Tags: Mobile edit Mobile web edit
- diffhist Function (mathematics) 18:28 −198 Pichpich talk contribs (Revert. Just follow this url: https://books.google.ca/books?id=x6cZBQ9qtgoC&pg=PA30) Tag: Manual revert
- diffhist Reverse mathematics 18:13 +50 C7XWiki talk contribs (→Arithmetical transfinite recursion ATR0: Sources) Tags: Mobile edit Mobile web edit
- diffhist Function (mathematics) 18:11 +198 Jochen Burghardt talk contribs (Undid revision 1227431107 by Pichpich (talk): couldn't access 1970 EN edition; my 1976 DE translation doesn't mention synonyms at all; the google link leads to a 1998 edition (and refuses to display its p.30); so I challenge "literally what the source says", for now) Tags: Undo Reverted
- diffhist Reverse mathematics 17:52 +52 C7XWiki talk contribs (→Arithmetical comprehension ACA0) Tags: Mobile edit Mobile web edit
- diffhist Function (mathematics) 17:45 −198 Pichpich talk contribs (remove cn tag. This is literally what the source says.) Tag: Reverted
- diffhist Substitution (logic) 17:43 +66 Jochen Burghardt talk contribs (→First-order logic: the restriction xi != ti indeed has to be stated (and is required by the cited authors), cf. talk; fix circumscription of "dom(sigma) disjoint to vars(ran(sigma))")
- diffhist Function (mathematics) 17:41 +258 Pichpich talk contribs (remove citation needed tag and add ref) Tag: ProveIt edit
- diffhist Substitution (logic) 17:27 +12 Jochen Burghardt talk contribs (Undid revision 1227260550 by Caleb Stanford (talk): "iff" is well-sourced (e.g. Baader.Snyder, p.446, line 6-7)) Tag: Undo
- diffhist Computable function 17:05 +121 Jochen Burghardt talk contribs (→Relation to recursively defined functions: fix typo; trying to fix imprecise sentences about the use of well-orderings)
- diffhist Foundations of mathematics 16:35 +6 D.Lazard talk contribs (→Ancient Greek mathematics: better heading and {{further}} targets)
- diffhist Axiom 15:23 +68 Oneequalsequalsone talk contribs (Undid revision 1227400384 by Remsense (talk) Added source)
- diffhist Foundations of mathematics 15:13 −200 D.Lazard talk contribs (→Middle Ages and Renaissance: Merging the two first paragraphs, and renaming the section, as it does not contains anything about foundations during Middle Ages.)
- diffhist Module:Authority control/config 14:35 +195 MSGJ talk contribs (+Australian Parliament, change format for EBIDAT, change group for TePapa)
- diffhist Axiom 14:08 −17 Remsense talk contribs (Reverting edit(s) by Oneequalsequalsone (talk) to rev. 1220274832 by Trovatore: No reliable source (UV 0.1.5)) Tags: Ultraviolet Undo
- diffhist Foundations of mathematics 13:42 −11 D.Lazard talk contribs (→Historical context: rename →History)
- diffhist Foundations of mathematics 13:41 −89 D.Lazard talk contribs (→Aristotelian realism: ditto)
- diffhist Foundations of mathematics 13:40 −2,779 D.Lazard talk contribs (→Platonism as a philosophy of mathematics: rm a section that is too weakly related to foundations)
- diffhist Foundations of mathematics 13:37 −10 D.Lazard talk contribs (Changing short description from "Study of the basic mathematical concepts" to "Basic framework of mathematics") Tag: Shortdesc helper
- diffhist Foundations of mathematics 13:34 −418 D.Lazard talk contribs (→top: rm the "wider meaning" that seems pure WP:OR)
- diffhist Axiom 12:42 +17 Oneequalsequalsone talk contribs (Add 'proper axioms' synonym) Tags: Reverted Visual edit
- diffhist Foundations of mathematics 09:44 +486 D.Lazard talk contribs (→Ancient Greek mathematics: clarification that Aristotle logic is not the axiomatic method)
- diffhist Foundations of mathematics 09:11 +6 D.Lazard talk contribs (→Ancient Greek mathematics: linking to an anchor + tweaks)
- diffhist Foundations of mathematics 09:03 +242 D.Lazard talk contribs (→Ancient Greek mathematics: more focus on foundations)