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
3 May 2024
- diffhist Ordinal analysis 06:11 +472 C7XWiki talk contribs (Adding source →Theories with larger proof-theoretic ordinals)
- diffhist Ordinal analysis 06:03 −37 C7XWiki talk contribs (Consolidate references, fix dead link)
- diffhist Ordinal analysis 05:45 +207 C7XWiki talk contribs (Adding theory, sources →Table of ordinal analyses)
- diffhist Ordinal analysis 05:45 0 C7XWiki talk contribs (Moved one to second-order, added theories →Table of ordinal analyses)
- diffhist Ordinal analysis 05:35 +429 C7XWiki talk contribs (Another ordinal, theory, and source →Table of ordinal analyses)
- diffhist Ordinal analysis 05:24 −2 C7XWiki talk contribs (SOA →Table of ordinal analyses)
- diffhist Ordinal analysis 05:22 +2,019 C7XWiki talk contribs (Adding theories and sources →Table of ordinal analyses)
- diffhist Function (mathematics) 02:19 +11 222.152.65.7 talk (→Standard functions)
2 May 2024
- diffhist m Information theory 22:51 −9 Redenmara talk contribs Tag: Visual edit
- diffhist Proof of impossibility 22:23 −254 Closed Limelike Curves talk contribs (→Gibbard's theorem: Non-dictatorial strategyproof games) Tag: Visual edit
- diffhist Constructive set theory 21:31 −107 178.115.54.137 talk (→Exponentiation)
- diffhist Constructive set theory 21:17 +92 178.115.54.137 talk (→Exponentiation)
- diffhist m Logic 20:09 +192 Srrwiki talk contribs (Logic is not a science. Reference to the definition of logic is added.) Tag: Visual edit
- diffhist Constructive set theory 19:22 +503 178.115.54.137 talk (Delinate decidable and detachable)
- diffhist Philosophy of mathematics 15:43 −105 D.Lazard talk contribs (→top: Rm unsourced and blatantly wrong sentence (relationship with other sciences is also a majot theme of this subject))
- diffhist m Mathematical object 10:36 −5 Hibiscus192255 talk contribs (remove [MOS:PUFFERY]) Tag: Visual edit
- diffhist Fixed-point logic 08:14 −1 2001:67c:2564:a313:c44f:2c3c:bb54:b14 talk (→Inflationary fixed-point logic)
- diffhist Fixed-point logic 08:14 +104 2001:67c:2564:a313:c44f:2c3c:bb54:b14 talk (→Inflationary fixed-point logic)
- diffhist Inaccessible cardinal 08:04 +51 C7XWiki talk contribs (infty symbol for Ord not very common, linking →Two model-theoretic characterisations of inaccessibility)
- diffhist Syllogism 04:42 +1 Editmakerer talk contribs (Grammar) Tags: Mobile edit Mobile web edit
- diffhist Syllogism 04:42 −1 Editmakerer talk contribs (Inductive≠certainty (or “determination”)) Tags: Mobile edit Mobile web edit
1 May 2024
- diffhist Inference 18:58 +26 Nivamp talk contribs (To maintain consistency) Tags: Mobile edit Mobile web edit
- diffhist Natural deduction 17:46 +16 Thiagovscoelho talk contribs
- diffhist Natural deduction 17:45 +16 Thiagovscoelho talk contribs
- diffhist Natural deduction 17:45 +79 Thiagovscoelho talk contribs
- diffhist Natural deduction 17:42 +24 Thiagovscoelho talk contribs
- UndoMobile edit Mobile web edit
- diffhist Linguistics 16:38 +43 166.66.202.47 talk Tag: Reverted
- Undo
- diffhist Linguistics 16:37 −2,923 166.66.202.47 talk Tags: Reverted references removed
- diffhist Linguistics 16:36 +7 166.66.202.47 talk Tag: Reverted
- diffhist Formation rule 16:30 +21 Thiagovscoelho talk contribs
- diffhist Atomic formula 16:30 +21 Thiagovscoelho talk contribs
- diffhist Natural deduction 15:49 +172 Thiagovscoelho talk contribs (→History of notation styles) Tag: Visual edit
- diffhist Natural deduction 15:47 +174 Thiagovscoelho talk contribs (sourced lede) Tag: Visual edit
- diffhist Natural deduction 15:43 +46 Thiagovscoelho talk contribs (→Classical and modal logics) Tag: Visual edit
- diffhist Natural deduction 15:42 +39 Thiagovscoelho talk contribs (→Proofs and type theory)
- diffhist Natural deduction 15:39 +17 Thiagovscoelho talk contribs (→Common definition styles) Tag: Visual edit
- diffhist Natural deduction 15:30 −119 Thiagovscoelho talk contribs Tag: Visual edit
- diffhist Natural deduction 15:28 +131 Thiagovscoelho talk contribs (→Suppes–Lemmon notation) Tag: Visual edit
- diffhist Natural deduction 15:26 0 Thiagovscoelho talk contribs (→Suppes–Lemmon-style example proof)
- diffhist Natural deduction 15:24 +98 Thiagovscoelho talk contribs (Headings) Tag: Visual edit
- diffhist Propositional calculus 15:21 +299 Thiagovscoelho talk contribs (→CF grammar in BNF: New second source for the BNF) Tag: Visual edit
- diffhist Natural deduction 15:20 −10 Thiagovscoelho talk contribs (cited) Tag: Visual edit
- diffhist Natural deduction 15:18 +39 Thiagovscoelho talk contribs
- diffhist Natural deduction 15:17 +51 Thiagovscoelho talk contribs (→Propositional language syntax) Tag: Visual edit
- diffhist Natural deduction 15:16 +758 Thiagovscoelho talk contribs (→Propositional language syntax) Tag: Visual edit
- diffhist Natural deduction 15:10 +18 Thiagovscoelho talk contribs (→Example proof)
- diffhist Natural deduction 15:09 +17 Thiagovscoelho talk contribs (→Example proof)