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 m Wikipedia:Citing sources 23:59 +1 DrKay talk contribs (period)
- diffhist Wikipedia:Citing sources 22:23 −2 ZW1996 talk contribs
- 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 Wikipedia:Citing sources 14:56 −11 ZW1996 talk contribs
- diffhist Wikipedia:Citing sources 14:53 +1 Gawaon talk contribs (Undid revision 1225755089 by ZW1996 (talk) – old version seems fine) Tag: Undo
- diffhist Constructive set theory 14:49 +77 212.186.132.66 talk (→The class of all subsets of a set)
- diffhist Wikipedia:Citing sources 14:10 −1 ZW1996 talk contribs Tag: Reverted
- 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 Constructive set theory 02:41 −65 IznoRepeat talk contribs (remove Template:Date per documentation; genfixes) Tag: AWB
25 May 2024
- 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 Intuitionistic logic 12:44 +5 77.119.160.81 talk (→Double negations)
- diffhist Abductive reasoning 09:18 +217 2003:cd:df43:4c97:d06c:463a:80be:39c4 talk
- diffhist Intuitionistic logic 01:12 +1 77.119.160.81 talk (→Double negations)
- diffhist Four-valued logic 00:31 +275 Rgdboer talk contribs (→Matrix machine: ch to Matrix transitions, lk Transition system)
- diffhist Constructive set theory 00:18 +59 77.119.160.81 talk (→Unprovable claims)
24 May 2024
- diffhist Constructive set theory 22:34 +23 77.119.160.81 talk (→Models)
- diffhist Constructive set theory 21:32 +1 77.119.160.81 talk (→No universal set: Typo)
- diffhist Constructive set theory 21:31 +26 77.119.160.81 talk (→No universal set)
- diffhist Constructive set theory 21:29 +299 77.119.160.81 talk (→No universal set)
- diffhist Wikipedia:WikiProject Reliability 20:36 +295 Cremastra talk contribs