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
17 May 2024
- diffhist Axiom of countable choice 08:11 +57 David Eppstein talk contribs (more for consistency w/other changes)
- diffhist Axiom of countable choice 07:57 −63 David Eppstein talk contribs (I think that's all of them?)
- diffhist Axiom of countable choice 07:56 +88 David Eppstein talk contribs (→Use: same)
- diffhist Axiom of countable choice 07:46 +54 David Eppstein talk contribs (avoid html setminus)
- diffhist Countable set 06:14 0 84.95.78.194 talk (→Formal overview: Fixed typo) Tags: canned edit summary Mobile edit Mobile app edit Android app edit
- diffhist m P versus NP problem 01:47 +1 Nilson Bolivar talk contribs (→Claimed solutions)
- diffhist m P versus NP problem 01:45 +49 Nilson Bolivar talk contribs (→Claimed solutions)
- diffhist m P versus NP problem 01:40 +325 Nilson Bolivar talk contribs (→Claimed solutions)
16 May 2024
- diffhist Constructive set theory 23:57 +14 178.165.197.164 talk (→Witness of apartness)
- diffhist Constructive set theory 23:54 +6 178.165.197.164 talk (→Witness of apartness)
- diffhist Constructive set theory 23:51 −33 178.165.197.164 talk (→Witness of apartness: Simplify)
- diffhist Ordered pair 23:46 −32 Tamfang talk contribs (Undid revision 1224115936 by Fireandice2177 (talk)— nonsense?) Tag: Undo
- diffhist Constructive set theory 23:46 +20 178.165.197.164 talk (→Witness of apartness)
- diffhist Constructive set theory 23:36 +202 178.165.197.164 talk (→Witness of apartness)
- diffhist m Cantor's theorem 23:33 +19 ElskverdigHug talk contribs
- diffhist Constructive set theory 22:38 +7 178.165.197.164 talk (→Predicativity)
- diffhist Constructive set theory 22:32 −5 178.165.197.164 talk (→Separation: Duplicated word)
- diffhist Constructive set theory 22:31 +262 178.165.197.164 talk (→BCST: Delinate full Separation)
- diffhist m P versus NP problem 17:30 +1 Proof Pro talk contribs (→Example: Changed final comma to semi-colon and added comma after the word "however")
- diffhist m Topological vector space 15:36 −3 R'n'B talk contribs (Disambiguate Translation (mathematics) to Translation (geometry) using popups)
- diffhist Module:Pagetype 12:25 −146 MSGJ talk contribs (add detection of non-existent pages, some code simplication)
- diffhist m Module:Pagetype/config 12:23 +100 MSGJ talk contribs (+cfg for non-existent pages)
- diffhist m Ordered pair 10:24 +32 Fireandice2177 talk contribs Tags: Reverted Visual edit Mobile edit Mobile web edit
- diffhist Constructive set theory 08:36 −15 John of Reading talk contribs (Typo fixing, replaced: is ran → is run, copyedited one other phrase) Tag: AWB
- diffhist List of formal systems 07:30 +120 Don Stroud talk contribs (→See also: Computability)
- diffhist List of formal systems 07:22 +58 Don Stroud talk contribs (→Mathematical: sub-sections)
- diffhist m Logical consequence 00:32 −22 Explicit talk contribs (Removing link(s) Wikipedia:Articles for deletion/Matthew W. McKeon closed as delete (XFDcloser))
15 May 2024
- diffhist Predicate (mathematical logic) 18:30 +27 D.Lazard talk contribs (Undid revision 1224002660 by Addemf (talk) Yes the use of "constant" is improper, but the proposed correction is wrong)
- diffhist m Argument 18:17 −1 Wardoflores talk contribs (Fixing typo from "premisses" to "premises")
- diffhist Predicate (mathematical logic) 17:42 +5 Addemf talk contribs (The word "constants" in formal logic, refers to 0-ary function symbols, whereas this explanation probably had in mind some "single element of the domain". So it was misleading, and it's more accurate to say that first-order logic predicates are characterized by having a fixed arity, each coordinate being substituted by elements of the domain, in the usual semantic scheme.)
- diffhist m Function (mathematics) 13:42 −3 Arcergy talk contribs (→top: Fixed grammar) Tags: canned edit summary Mobile edit Mobile app edit Android app edit
- diffhist m Three-valued logic 12:37 +23 Hereptol talk contribs
- diffhist m Three-valued logic 08:06 +15 Hereptol talk contribs (new access to a source) Tag: Visual edit
- diffhist m Type theory 02:11 +63 Trevoran talk contribs (→History: link for term "ramified theory of types"; inscrutable without context)
14 May 2024
- diffhist m Philosophy of mathematics 22:44 −1 Jama1733 talk contribs (minor typo) Tags: Visual edit Mobile edit Mobile web edit
- diffhist Springer Publishing 20:02 +34 Benbest talk contribs (→Journals: ''Current Hypertension Reports'')
- diffhist Finite model theory 19:18 +21 David Eppstein talk contribs (→Problem: +wl)
- diffhist Empty set 18:14 +2 96.252.13.92 talk (→Questioned existence)
- diffhist Construction of the real numbers 17:05 +541 EatingCarBatteries talk contribs (→See also) Tag: Visual edit
- diffhist m Cantor's theorem 15:06 +209 ElskverdigHug talk contribs (I had forgotten the "injective functions exist, here is an example" part in the proof. Fixed it.)
- diffhist Georg Cantor 12:55 +49 Knettia talk contribs (added signature)
- diffhist m Cantor's theorem 12:24 +24 ElskverdigHug talk contribs
- diffhist Cantor's theorem 12:14 +205 ElskverdigHug talk contribs
- diffhist m Axiom of dependent choice 10:00 0 Rodw talk contribs (Disambiguating links to Chain (disambiguation) (link changed to Chain (ordered set)) using DisamAssist.)
- diffhist Richard Dedekind 09:39 +78 Sunlitsky talk contribs
- diffhist Turing machine 08:12 −7 150.203.2.234 talk (Removed empty column in first Alternative definitions table)
- diffhist m Cantor's theorem 08:12 −362 ElskverdigHug talk contribs (Undid my own revision, I'll double check it.) Tag: Undo
- diffhist Cantor's theorem 08:04 +362 ElskverdigHug talk contribs Tag: Reverted
- diffhist m Construction of the real numbers 06:03 +36 Sink Cat talk contribs (Added {{Cleanup bare URLs}}, using a script. For other recently-tagged pages with bare URLs, see Category:Articles with bare URLs for citations from May 2024)
- diffhist Classical logic 03:42 +536 ElskverdigHug talk contribs