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
7 May 2024
- diffhist Gödel's incompleteness theorems 03:00 −17 Wbm1058 talk contribs (→Construction of a statement about "provability": removing hatnote for Bew)
- diffhist Constructive set theory 00:26 +201 178.165.160.12 talk (→Exponentiation)
6 May 2024
- diffhist Constructive set theory 23:52 −13 178.165.160.12 talk (→Alternative approaches)
- diffhist Constructive set theory 23:50 +10 178.165.160.12 talk (→Alternative approaches)
- diffhist Constructive set theory 23:48 +39 178.165.160.12 talk (→Alternative approaches)
- diffhist Constructive set theory 23:35 +39 178.165.160.12 talk (→Alternative approaches)
- diffhist Constructive set theory 23:31 +7 178.165.160.12 talk (→Alternative approaches)
- diffhist Category theory 22:08 +1,028 Logic314 talk contribs
- diffhist Constructive set theory 21:36 0 178.165.160.12 talk (→Exponentiation)
- diffhist Constructive set theory 21:33 0 178.165.160.12 talk (→Subtheories of ZF)
- diffhist Constructive set theory 21:32 +46 178.165.160.12 talk (→Alternative approaches)
- diffhist Constructive set theory 21:24 −10 178.165.160.12 talk (→Alternative approaches)
- diffhist Constructive set theory 21:21 +34 178.165.160.12 talk (→Alternative approaches: Link to algebra of sets)
- diffhist Constructive set theory 21:19 +26 178.165.160.12 talk (→Alternative approaches)
- diffhist Constructive set theory 21:16 +217 178.165.160.12 talk (→Alternative approaches)
- diffhist Constructive set theory 21:10 +571 178.165.160.12 talk (→Exponentiation: identity of indiscernibles)
- diffhist Fixed-point logic 21:05 +52 Cornmazes talk contribs Tags: Mobile edit Mobile web edit
- diffhist Mathematical logic 19:55 −35 Chrisdmiddleton talk contribs (removed Category:Fields of mathematics using HotCat - the eponymous category is already contained in this category) Tags: Mobile edit Mobile web edit Advanced mobile edit
- diffhist Isomorphism 17:07 −16 D.Lazard talk contribs (Reverted 1 edit by Yodo9000 (talk): Not useful to pass throught redirects for plurals. Here, bijection is not equivalent with permutation) Tags: Twinkle Undo
- diffhist Argument 16:25 −191 Favonian talk contribs (Reverted 1 edit by 89.208.1.159 (talk): Wikipedia is not a reliable source.) Tags: Twinkle Undo
- diffhist m Isomorphism 15:58 +16 Yodo9000 talk contribs (replaced permutation of sets with bijection, put plural-s inside links) Tag: Reverted
- diffhist Argument 12:23 +191 89.208.1.159 talk Tags: Reverted use of deprecated (unreliable) source Visual edit Mobile edit Mobile web edit
- diffhist Proof theory 00:58 0 David Eppstein talk contribs (this reference said 1965, in 2014. at some point it was changed to become broken. fix.) Tag: harv-error
5 May 2024
- diffhist Natural deduction 18:38 −6 Thiagovscoelho talk contribs (→Suppes–Lemmon notation: Weakened strong claim that was based on a misreading of the "maybe even all" sentence in the source) Tag: Visual edit
- diffhist Propositional variable 18:29 +263 Thiagovscoelho talk contribs (Cited name per request of voorts) Tag: Visual edit
- diffhist m Proof of impossibility 16:16 −5 Arjayay talk contribs (Duplicate word removed)
- diffhist Constructive set theory 14:57 −22 212.186.132.66 talk (→Total functional relations)
- diffhist Constructive set theory 14:51 −38 212.186.132.66 talk (→See also)
- diffhist Constructive set theory 14:44 +1 212.186.132.66 talk (→No universal set)
- diffhist Constructive set theory 14:39 −2 212.186.132.66 talk (→Classes)
- diffhist Constructive set theory 14:38 +106 212.186.132.66 talk (→Separation)
- diffhist Constructive set theory 14:27 +118 212.186.132.66 talk (→Equality)
- diffhist Constructive set theory 13:58 −5 212.186.132.66 talk (→The class of all subsets of a set)
- diffhist Constructive set theory 13:56 +4 212.186.132.66 talk (→Total functional relations: Link to partial function)
- diffhist Constructive set theory 13:55 +117 212.186.132.66 talk (→Total functional relations)
- diffhist Logic 08:07 −193 Phlsph7 talk contribs (removed recently added lead reference: not required since this merely summarize well-sourced material from the section "Definition", see WP:LEADCITE)
- diffhist m Logic 04:30 −91 ClueBot NG talk contribs (Reverting possible vandalism by Shortdaggenheiner to version by Srrwiki. Report False Positive? Thanks, ClueBot NG. (4320432) (Bot)) Tag: Rollback
- diffhist m Logic 04:29 +91 Shortdaggenheiner talk contribs Tags: Reverted possible vandalism
4 May 2024
- diffhist Continuum hypothesis 21:09 +31 2601:204:f181:9410:357b:deb4:7532:900f talk (→Implications of GCH for cardinal exponentiation)
- diffhist Continuum hypothesis 20:20 −3 2601:204:f181:9410:357b:deb4:7532:900f talk
- diffhist m Empty set 15:16 −1 Tenpop421 talk contribs
- diffhist Constructive set theory 15:02 +13 212.186.132.66 talk (→Exponentiation)
- diffhist Constructive set theory 15:00 +50 212.186.132.66 talk (→Exponentiation)
- diffhist Constructive set theory 14:51 +136 212.186.132.66 talk (→Exponentiation)
- diffhist Constructive set theory 14:30 +205 212.186.132.66 talk (→Exponentiation)
- diffhist Constructive set theory 13:57 −2 212.186.132.66 talk (→Analysis)
- diffhist Constructive set theory 13:56 +212 212.186.132.66 talk (→Analysis)
- diffhist Constructive set theory 13:43 0 212.186.132.66 talk (→Exponentiation)
- diffhist Constructive set theory 13:42 +12 212.186.132.66 talk (→Unions and countability)
- diffhist Constructive set theory 13:33 +403 212.186.132.66 talk (→Exponentiation)