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
29 May 2024
- diffhist Wikipedia:Citing sources 17:35 +251 David Eppstein talk contribs (Undid revision 1226261696 by Schierbecker (talk) undiscussed changes. DYK exception is necessary to prevent us from having conflicting guidelines: this one saying repeat citations in a single passage are forbidden, and DYK rules saying they are required.) Tag: Undo
- diffhist Wikipedia:Citing sources 14:49 −251 Schierbecker talk contribs (→When and why to cite sources: move to relevant passage. DYK exception is overkill.) Tag: Reverted
- diffhist Heyting arithmetic 12:19 +15 91.112.18.90 talk (→Least number principle: Formatting)
- diffhist Heyting arithmetic 12:15 +48 91.112.18.90 talk (→Least number principle: Example)
- diffhist Heyting arithmetic 12:09 −17 91.112.18.90 talk (→Least number principle)
- diffhist Heyting arithmetic 12:07 +15 91.112.18.90 talk (→Least number principle)
- diffhist Heyting arithmetic 12:05 +208 91.112.18.90 talk (→Least number principle)
28 May 2024
- diffhist Heyting arithmetic 17:21 −6 178.115.47.141 talk (→Least number principle)
- diffhist Heyting arithmetic 17:16 +332 178.115.47.141 talk (→Least number principle)
27 May 2024
- 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 m Stephen Cole Kleene 21:26 −8 IznoRepeat talk contribs (remove Template:Date per documentation; genfixes) Tag: AWB
- 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 m Mathematical logic 13:12 −3 Oneequalsequalsone talk contribs (→Foundations of mathematics) Tag: Visual edit
- 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 Gerhard Gentzen 02:55 −5 IznoRepeat talk contribs (remove Template:Date per documentation; genfixes) Tag: AWB
- diffhist m Constructive set theory 02:41 −65 IznoRepeat talk contribs (remove Template:Date per documentation; genfixes) Tag: AWB
25 May 2024
- 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)