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 Euclid's Elements 23:05 +6 Jacobolus talk contribs (Undid revision 1225942826 by SreyasBANERJEE (talk) – some of these changes are grammatical errors, and others are converting American to British spelling. See WP:ENGVAR)
- diffhist Singleton (mathematics) 19:10 +191 Georgydunaev talk contribs (added the axiomatic definition containing the essence of the singleton, which leaves unspecified situations which are varying in different systems)
- diffhist Euclid's Elements 17:22 −6 SreyasBANERJEE 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 Kolmogorov complexity 16:51 −134 Sligocki talk contribs (→Halting problem: Clarify which BB function.)
- diffhist Constructive set theory 16:44 +238 178.115.35.167 talk (→Category and type theoretic notions: Add ref for Heyting pretopos)
- diffhist m Tautology (logic) 16:41 +56 Dezaxa talk contribs (→Definition and examples: changed link to hypothetical syllogism)
- 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)
- diffhist Construction of the real numbers 14:58 +11 Egeymi talk contribs (→Construction using hyperreal numbers: expanded 1 bare ref)
- diffhist Construction of the real numbers 14:57 −9 Egeymi talk contribs (→Construction by Dedekind cuts: expanded 2 bare refs)
- diffhist Tautology (logic) 14:04 +19 Oneequalsequalsone talk contribs (→Efficient verification and the Boolean satisfiability problem: citation needed) Tag: Visual edit
- diffhist m Tautology (logic) 13:46 +31 Oneequalsequalsone talk contribs (→Definition and examples) Tag: Visual edit
- diffhist Tautology (logic) 13:41 +84 Oneequalsequalsone talk contribs (→Definition and examples: add natural language explanation) Tag: Visual edit
- diffhist m Tautology (logic) 13:38 −6 Oneequalsequalsone talk contribs (→Background) Tag: Visual edit
- diffhist Hilbert system 06:00 +105 2a00:8a60:c010:1::1:118b talk (Fix statement about necessitation and substitution rules.)
- diffhist m Singleton (mathematics) 01:54 +15 WinstonWolfie talk contribs (→Properties: Consistent format)
26 May 2024
- diffhist m Russell's paradox 21:15 −6 IznoRepeat talk contribs (→External links: 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 Universe (mathematics) 18:02 −69 Wizmut talk contribs (shorten short description)
- 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)
- 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 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 Philosophy of mathematics 22:29 −55 Remsense talk contribs (Reverting edit(s) by JustaNormalLad (talk) to rev. 1225588962 by Arjayay: Non-constructive edit (UV 0.1.5)) Tags: Ultraviolet Undo
- diffhist Logic 22:24 +1 2a02:1810:363d:6700:84cb:a33a:54c9:8cd8 talk (Undid revision 1225635708 by Remsense (talk)) Tag: Reverted
- diffhist Philosophy of mathematics 21:19 +55 JustaNormalLad talk contribs Tags: Reverted Mobile edit Mobile app edit Android app edit
- diffhist Function (mathematics) 20:21 −1,223 David Eppstein talk contribs (Undid revision 1225642210 by Georgydunaev (talk) It's not that this is in any way wrong, but: the article already expresses this, your addition has no sources, and it's written in an imperative style (first do this, then do this) that neither reflects the subject well nor is a great choice for an encyclopedia article) Tag: Undo