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
20 May 2024
- diffhist Module:Pagetype/rfd 13:04 +27 MSGJ talk contribs (+Rfd-NPF/core)
- diffhist Module:Pagetype/rfd 13:03 +22 MSGJ talk contribs (+Rfd-NPF, seen on West Ardougne)
- diffhist Logic 12:53 +1 2a02:1810:363d:6700:79e0:a9dc:210b:5b19 talk
- diffhist m Springer Science+Business Media 12:49 −7 IceWelder talk contribs (clean up, replaced: EQT Partners → EQT AB) Tag: AWB
- diffhist m Kurt Gödel 12:46 +8 Myasuda talk contribs (→Princeton, Einstein, U.S. citizenship: citation template)
- diffhist Kurt Gödel 11:47 +286 Zbisem talk contribs (Added reference on details of the escape of Gödel from Europe in 1940.)
- diffhist Peano axioms 09:06 +177 D.Lazard talk contribs (definition of "Peano arithmetic")
- diffhist Peano arithmetic 08:50 −39 D.Lazard talk contribs (the common use of "Peano arithmetic" does not refers to first order logic) Tag: Redirect target changed
- diffhist Axiom of countable choice 07:55 +4 David Eppstein talk contribs (→Equivalent forms: ce)
- diffhist Axiom of countable choice 07:54 −85 David Eppstein talk contribs (this is a book!)
- diffhist Axiom of countable choice 07:51 +1,263 David Eppstein talk contribs (Let's try that again with the right form this time)
- diffhist Gödel's completeness theorem 06:10 +9 Jochen Burghardt talk contribs (Undid revision 1224669949 by A bag of many boiled potatoes (talk)) Tag: Undo
- diffhist m Material conditional 01:42 +9 Mikhail Ryazanov talk contribs (→History: fmt., punct.)
- diffhist m Material conditional 01:42 +41 Mikhail Ryazanov talk contribs (→History: punct., fmt.)
19 May 2024
- diffhist Mathematics 22:57 +1,286 Villaida talk contribs (sourced statements) Tag: Visual edit
- diffhist Countable set 21:42 +1 Mathnerd314159 talk contribs (Undid revision 1224663212 by 75.149.90.253 (talk) - no, this article uses a different definition from that implied by "at most countable") Tag: Undo
- diffhist Constructive set theory 19:08 +18 178.189.55.225 talk (→ECST)
- diffhist m Gödel's completeness theorem 19:07 −9 A bag of many boiled potatoes talk contribs (→Statement) Tags: Reverted Mobile edit Mobile app edit Android app edit
- diffhist Countable set 18:14 −1 75.149.90.253 talk (Bijection from a set to the natural numbers implies that it's countably infinite, not just an injection (i.e., you also need the function to be surjective. I think otherwise you would have just shown that the set in question is at most countable)) Tag: Reverted
- diffhist Module:List 16:45 +78 Pppery talk contribs (Per edit request)
- diffhist Riemann hypothesis 15:41 −4 Dhrm77 talk contribs (Undid revision 1224595476 by 95.163.174.247 (talk) already linked above) Tag: Undo
- diffhist Philosophy of mathematics 12:51 +44 D.Lazard talk contribs (→Relationship with physical reality: New section, still to be filled)
- diffhist Philosophy of mathematics 12:48 0 D.Lazard talk contribs (→top: ordering items like corresponding sections)
- diffhist Riemann hypothesis 08:50 +4 95.163.174.247 talk Tag: Reverted
- diffhist Axiom of countable choice 07:53 −1,286 David Eppstein talk contribs (Need to be more careful here: this is choice over countably many finite sets) Tag: Manual revert
- diffhist Axiom of countable choice 06:08 +58 David Eppstein talk contribs (→Equivalent forms: Banach–Alaoglu theorem) Tag: Reverted
- diffhist Axiom of countable choice 06:02 +1 Trovatore talk contribs (→Equivalent forms: https://xkcd.com/859/) Tag: Reverted
- diffhist Axiom of countable choice 05:56 +216 David Eppstein talk contribs (→Equivalent forms: Gödel's completeness theorem) Tag: Reverted
- diffhist Axiom of countable choice 05:48 +1,011 David Eppstein talk contribs (equivalents) Tag: Reverted
- diffhist Metalanguage 05:33 +286 Quercus solaris talk contribs
- diffhist Philosophy of mathematics 03:49 0 50.37.221.56 talk (Typo) Tags: Mobile edit Mobile web edit
18 May 2024
- diffhist Mathematics 19:17 −29 D.Lazard talk contribs (→See also: self linking)
- diffhist Axiom of countable choice 19:17 +49 David Eppstein talk contribs (repeat foot)
- diffhist Axiom of countable choice 19:16 +3 David Eppstein talk contribs (→Overview: av unn red)
- diffhist Axiom of countable choice 19:15 +559 David Eppstein talk contribs (source and detail Solovay model)
- diffhist Propositional formula 14:02 −32 Addemf talk contribs (On second thought, since the next sentence describes truth values, we should just rely on that sentence to describe this.)
- diffhist Propositional formula 13:55 +10 Addemf talk contribs (Formulas do not have truth values in themselves. Rather, for any assignment of truth values to the variables, it determines a truth value for the formula. But it is wrong to say that a formula itself has a truth value.)
- diffhist m Tautology (logic) 13:29 +50 Oneequalsequalsone talk contribs (→History: linking to specific section) Tag: Visual edit
- diffhist Injective module 11:05 −1 Liang Chen Y talk contribs (→Submodules, quotients, products, and sums , Bass-Papp Theorem)
- diffhist Injective module 11:05 +1 Liang Chen Y talk contribs (→Submodules, quotients, products, and sums ,Bass-Papp Theorem)
- diffhist Injective module 11:03 +10 Liang Chen Y talk contribs (→Submodules, quotients, products, and sums ,Bass-Papp Theorem)
- diffhist Injective module 11:00 +1 Liang Chen Y talk contribs (→Submodules, quotients, products, and sums ,Bass-Papp Theorem)
- diffhist Injective module 10:59 +20 Liang Chen Y talk contribs (→Submodules, quotients, products, and sums ,Bass-Papp Theorem)
- diffhist Injective module 10:58 −18 Liang Chen Y talk contribs (→Submodules, quotients, products, and sums ,Bass-Papp Theorem)
- diffhist Injective module 10:56 +36 Liang Chen Y talk contribs (→Submodules, quotients, products, and sums) Tag: harv-error
- diffhist Injective module 10:48 +2 Liang Chen Y talk contribs (→Submodules, quotients, products, and sums)
- diffhist Injective module 10:48 +32 Liang Chen Y talk contribs (→Submodules, quotients, products, and sums)
- diffhist Logic 07:26 +8 Remsense talk contribs (Reverting edit(s) by Healpa12 (talk) to rev. 1223594779 by Citation bot: Unexplained content removal (UV 0.1.5)) Tags: Ultraviolet Undo
- diffhist Logic 07:25 −8 Healpa12 talk contribs Tags: Reverted Visual edit Mobile edit Mobile web edit
- diffhist Primitive recursive function 00:23 −9 C7XWiki talk contribs (Possible better wording) Tags: Mobile edit Mobile web edit