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 Fuzzy set 18:20 +86 93.156.204.81 talk (As far as I get, I don't find "uniqueness condition" of fuzzy numbers in the reference #20, nor in any other reference.)
- diffhist Inaccessible cardinal 18:19 0 C7XWiki talk contribs (→Two model-theoretic characterisations of inaccessibility)
- diffhist Fuzzy set 18:14 −395 93.156.204.81 talk (As far as I get, I don't find "uniqueness condition" of fuzzy numbers in the reference #20, nor in any other reference.)
- diffhist m Turing machine 17:05 −2 Hooman Mallahzadeh talk contribs (→Additional details required to visualise or implement Turing machines)
- diffhist Class (set theory) 14:29 +2 Georgydunaev talk contribs (NBG is a conservative extension of ZFC, not just ZF, as it was written. In NBG, the global choice follows from the limitation of size axiom.) Tag: Visual edit
- diffhist Church–Turing thesis 14:28 +58 Spida-tarbell talk contribs (Added ISBN, publisher, edition, and pages (per inline request) to Hofstadter reference)
- diffhist Church–Turing thesis 14:13 +157 Spida-tarbell talk contribs (Updated reference for "Gödel on Turing on Computability" to add flagged missing date, use the more specific cite book template)
- 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
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 m LaTeX 18:50 +36 Blake1024 talk contribs (Add info on LyX)
- 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 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)