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
28 May 2024
- diffhist Set (mathematics) 13:47 −40 D.Lazard talk contribs (Reverted 1 edit by ChessPage1 (talk)) Tags: Twinkle Undo
- diffhist Set (mathematics) 12:25 +40 ChessPage1 talk contribs (→Definition and notation: Added content.) Tags: Reverted Mobile edit Mobile web edit
- diffhist Empty set 10:50 −5 PBUK talk contribs (→Notation: move link to null sign from 'main article' to the sign itself)
- diffhist Von Neumann universe 09:08 +491 Bbbbbbbbba talk contribs (→Definition: Associated the "condensed" definition with the concept of the rank of a set, so that it makes more intuitive sense.)
- diffhist m Non-Euclidean geometry 02:49 +10 Beland talk contribs (MOS:BBB / convert special characters found by Wikipedia:Typo Team/moss (via WP:JWB))
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