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
31 May 2024
- diffhist Constructive set theory 17:17 +66 178.165.170.6 talk (→Infinitude: Link to Necessary and sufficient conditions for finiteness)
- diffhist Constructive set theory 17:03 +85 178.165.170.6 talk (→Infinitude)
- diffhist Halting problem 15:54 +25 ClassA42 talk contribs (Corrected the incorrect claim about the impact of the proof on "practical computing". Please see the "Talk" page at " Misleading sentence?!".)
30 May 2024
- diffhist m Intuitionism 16:57 −26 Mathrick talk contribs (→Infinity: Style)
- diffhist Constructive set theory 14:42 −1 88.117.193.86 talk (→Language)
- diffhist Constructive set theory 14:42 +129 88.117.193.86 talk (Define discreteness early)
- diffhist Intuitionistic logic 13:29 +14 Jean Abou Samra talk contribs (→Semantics: Needs sourcing) Tags: Mobile edit Mobile web edit
- diffhist Fuzzy logic 02:26 −402 Joyous! talk contribs (Reverted 1 edit by 64.75.214.119 (talk): Unsourced) Tags: Twinkle Undo
- diffhist Fuzzy logic 02:25 +402 64.75.214.119 talk (Added text on use of fuzzy controllers in critical care medicine) Tags: Reverted Visual edit
29 May 2024
- diffhist Constructive set theory 21:50 +143 91.141.73.235 talk (→Exponentiation)
- diffhist Constructive set theory 21:43 +154 91.141.73.235 talk (→Exponentiation: Models of ZFC minus Power)
- diffhist Heyting arithmetic 21:26 −1 91.141.73.235 talk (→Least number principle)
- diffhist Halting problem 15:08 −3 Jochen Burghardt talk contribs (Undid revision 1226229093 by 218.248.13.196 (talk)) Tag: Undo
- 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)
- diffhist Halting problem 09:54 +3 218.248.13.196 talk Tag: Reverted
28 May 2024
- diffhist Dependent type 20:17 +1 Hellacioussatyr talk contribs Tags: Mobile edit Mobile web edit Advanced mobile edit
- 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 Linear logic 22:54 +20 RaphaelQS talk contribs Tag: Visual edit
- diffhist m Alonzo Church 19:30 +4 Jean Abou Samra talk contribs (Link Church-Rosser thm)
- 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 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 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)