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
27 May 2024
- diffhist Linear logic 22:54 +20 RaphaelQS talk contribs Tag: Visual edit
- diffhist Constructive set theory 16:57 +182 178.115.35.167 talk (→History and overview: Add reference to Crosilla Stanford Encyclopedia article on CZF & IZF)
- diffhist Constructive set theory 16:44 +238 178.115.35.167 talk (→Category and type theoretic notions: Add ref for Heyting pretopos)
- diffhist Constructive set theory 16:32 +77 178.115.35.167 talk (→Analysis: Add Bishop reference)
- diffhist Constructive set theory 16:27 +267 178.115.35.167 talk (→Imposed restrictions on a set theory: Add Feferman reference)
- diffhist Constructive set theory 16:21 0 178.115.35.167 talk (→Equality)
- diffhist Constructive set theory 16:13 +350 178.115.35.167 talk (Add classic reference)
26 May 2024
- diffhist Denotation 21:58 +63 Wolfdog talk contribs (lede)
- diffhist Constructive set theory 19:14 −7 91.141.78.210 talk (→The class of all subsets of a set)
- diffhist Constructive set theory 18:11 +148 212.95.5.129 talk (→The class of all subsets of a set) Tags: Mobile edit Mobile web edit
- diffhist Constructive set theory 16:40 +43 212.95.5.129 talk (→The class of all subsets of a set) Tags: Mobile edit Mobile web edit
- diffhist Constructive set theory 15:55 −5 212.95.5.129 talk (→The class of all subsets of a set: Language) Tags: Mobile edit Mobile web edit
- diffhist Constructive set theory 15:54 +1 212.95.5.129 talk (→The class of all subsets of a set) Tags: Mobile edit Mobile web edit
- diffhist Constructive set theory 15:52 +11 212.95.5.129 talk (→The class of all subsets of a set) Tags: Mobile edit Mobile web edit
- diffhist Constructive set theory 15:30 +18 77.119.172.181 talk (→The class of all subsets of a set)
- diffhist Constructive set theory 15:29 +59 77.119.172.181 talk (→The class of all subsets of a set)
- diffhist Constructive set theory 15:24 +370 77.119.172.181 talk (→The class of all subsets of a set: Characterize the countable union)
- diffhist Constructive set theory 15:08 −23 77.119.172.181 talk (→The class of all subsets of a set: Typo) Tag: possibly inaccurate edit summary
- diffhist Constructive set theory 15:05 +14 77.119.172.181 talk (→The class of all subsets of a set)
- diffhist Constructive set theory 15:02 +23 77.119.172.181 talk (→The class of all subsets of a set)
- diffhist Constructive set theory 14:49 +77 212.186.132.66 talk (→The class of all subsets of a set)
- diffhist Philosophy of language 13:45 −57 Remsense talk contribs (Changing short description from "Discipline of philosophy that deals with language and meaning" to one that is intentionally blank) Tag: Shortdesc helper
- diffhist Constructive set theory 13:19 +27 212.186.132.66 talk (→The class of all subsets of a set)
- diffhist Constructive set theory 13:17 +11 212.186.132.66 talk (→The class of all subsets of a set)
- diffhist Constructive set theory 13:07 +482 212.186.132.66 talk (→The class of all subsets of a set)
- diffhist Constructive set theory 12:14 +124 212.186.132.66 talk (→Regularity implies PEM)
- diffhist Constructive set theory 12:07 +218 212.186.132.66 talk (→The class of all subsets of a set: Explicit language)
- diffhist Constructive set theory 11:48 +60 212.186.132.66 talk (→The class of all subsets of a set)
- diffhist Constructive set theory 11:45 +25 212.186.132.66 talk (→The class of all subsets of a set)
- diffhist Constructive set theory 11:43 −23 212.186.132.66 talk (→The class of all subsets of a set)
- diffhist Constructive set theory 11:40 +4 212.186.132.66 talk (→Intuitionistic Zermelo–Fraenkel)
- diffhist m Monad (functional programming) 10:21 −3 Ncfavier talk contribs (→Derivation from functors: fix typo)
- diffhist Logic 05:04 −1 Phlsph7 talk contribs (Undid revision 1225660515 by 2A02:1810:363D:6700:84CB:A33A:54C9:8CD8 (talk) please stop edit warring) Tag: Undo
- diffhist m Constructive set theory 02:41 −65 IznoRepeat talk contribs (remove Template:Date per documentation; genfixes) Tag: AWB
25 May 2024
- diffhist Logic 22:24 +1 2a02:1810:363d:6700:84cb:a33a:54c9:8cd8 talk (Undid revision 1225635708 by Remsense (talk)) Tag: Reverted
- diffhist m Logic 19:09 −6 Remsense talk contribs (Reverted 1 edit by 2A02:1810:363D:6700:84CB:A33A:54C9:8CD8 (talk) to last revision by 750h+) Tags: Twinkle Undo
- diffhist Logic 18:59 +6 2a02:1810:363d:6700:84cb:a33a:54c9:8cd8 talk (Image not supposed to be here.) Tags: Reverted Visual edit: Switched
- diffhist Intuitionistic logic 16:52 0 213.229.25.38 talk (→Double negation vs. implication)
- diffhist Intuitionistic logic 16:52 +8 213.229.25.38 talk (→Negation vs. implication: Specify title)
- diffhist Intuitionistic logic 16:49 +153 213.229.25.38 talk (→Negation vs. implication)
- diffhist Intuitionistic logic 16:41 +33 213.229.25.38 talk (→Double negations)
- diffhist Intuitionistic logic 16:39 −256 213.229.25.38 talk (→Disjunction vs. conjunction: Simplified presentation)
- diffhist m Question 13:01 +1,751 ClueBot NG talk contribs (Reverting possible vandalism by Betterthanjsm to version by ZimZalaBim. Report False Positive? Thanks, ClueBot NG. (4326245) (Bot)) Tag: Rollback
- diffhist Question 13:01 −776 Betterthanjsm talk contribs (→Definitions) Tags: Reverted references removed Mobile edit Mobile web edit
- diffhist Question 13:00 −975 Betterthanjsm talk contribs Tags: Reverted Mobile edit Mobile web edit
- diffhist Intuitionistic logic 12:44 +5 77.119.160.81 talk (→Double negations)
- diffhist m Linguistics wars 12:19 +4 Bugghost talk contribs (more spelling...) Tag: Visual edit
- diffhist m Linguistics wars 12:16 +2 Bugghost talk contribs (more spelling) Tag: Visual edit
- diffhist m Linguistics wars 12:14 +3 Bugghost talk contribs (spelling) Tag: Visual edit
- diffhist m Linguistics wars 12:11 0 Bugghost talk contribs (spelling) Tag: Visual edit