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
10 April 2025
- diffhist New Foundations 07:12 −1 C7XWiki talk contribs (Make clearer that doubts are in past due to Lean confirmation →Consistency)
- diffhist m Union (set theory) 06:35 −1 Farkle Griffen talk contribs (→History and etymology: Typo) Tag: Visual edit
- diffhist Union (set theory) 06:35 +1,961 Farkle Griffen talk contribs (Added section "History and etymology", and added basic etymology and history of notation.) Tag: Visual edit
- diffhist m Uniqueness quantification 02:44 −55 Farkle Griffen talk contribs (Shortened short description) Tags: Mobile edit Mobile app edit iOS app edit App section source
- diffhist Union (set theory) 02:39 0 Farkle Griffen talk contribs (Swapped sections) Tag: Visual edit
- diffhist Uniqueness quantification 02:35 +439 Farkle Griffen talk contribs (Added definition to lead, added source) Tag: Visual edit
- diffhist m Union (set theory) 01:41 0 Farkle Griffen talk contribs (→Formal derivation: Missed a couple) Tag: Visual edit
- diffhist m Union (set theory) 01:39 −30 Farkle Griffen talk contribs (→Formal derivation: block display) Tag: Visual edit
- diffhist m Union (set theory) 01:33 +50 Farkle Griffen talk contribs (→Formal derivation: added link) Tag: Visual edit
- diffhist Union (set theory) 01:32 +2,318 Farkle Griffen talk contribs (→Arbitrary union: Added subsection "Formal derivation", showing the derivation/existence of the arbitrary union operator in ZFC.) Tag: Visual edit
- diffhist Total order 00:35 +29 46.164.8.10 talk (→See also)
- diffhist Union (set theory) 00:07 +11 Farkle Griffen talk contribs (Re-organized sections) Tag: Visual edit
9 April 2025
- diffhist Logical disjunction 23:54 +1 Partofthemachine talk contribs (→Natural language: ce)
- diffhist Second-order logic 17:30 −43 David Eppstein talk contribs (Undid revision 1284736451 by Chalst (talk) out-of-context phrasing: what classical variant? Do you expect readers to have any idea what that is supposed to mean?) Tag: Undo
- diffhist Ernst Zermelo 14:14 +264 185.38.146.145 talk
- diffhist Minimal logic 12:26 −1 212.186.132.66 talk (→Conjunctions vs disjunctions: Second title)
- diffhist Minimal logic 12:26 −16 212.186.132.66 talk (→Axiomatization via absurdity: Join disjunction section)
- diffhist Minimal logic 12:21 +20 212.186.132.66 talk (→Implications and negation)
- diffhist Minimal logic 12:17 −95 212.186.132.66 talk (→Implications and negation: Move paragraphs)
- diffhist Second-order logic 11:56 +43 Chalst talk contribs (Lead gives the impression that SOL only covers classical logic) Tags: Reverted Mobile edit Mobile app edit iOS app edit App section source
- diffhist Minimal logic 11:24 −13 178.115.68.107 talk (→Implications and negation)
- diffhist m Hilbert's axioms 03:58 +1 NuclearDuckie talk contribs (→Hilbert's discarded axiom: spacing initials in citation as per a previous edit to the section)
- diffhist Cardinality 00:30 +1,068 Farkle Griffen talk contribs (→References: Added a few sources I plan on using in expanding the article) Tag: Visual edit
8 April 2025
- diffhist Minimal logic 22:26 +38 178.115.68.107 talk (→Disjunctions and negation)
- diffhist Minimal logic 22:20 +626 178.115.68.107 talk (→Axiomatization via absurdity: Move mirabilis up)
- diffhist Verilog 20:56 −563 Sjones23 talk contribs (Removing addition by sockpuppet of the banned user It's gonna be awesome as per WP:BANREVERT.) Tag: 2017 wikitext editor
- diffhist Euclidean geometry 17:59 −111 David Eppstein talk contribs (replace deadlink)
- diffhist Curry–Howard correspondence 11:55 +8 Editor Jha talk contribs (Link suggestions feature: 2 links added.) Tags: Visual edit Newcomer task Suggested: add links
- diffhist Dialetheism 10:08 +19 46.164.8.10 talk (→Advantages)
- diffhist m Turing machine 09:35 −54 Remsense talk contribs (Reverted 1 edit by 185.91.165.122 (talk) to last revision by Remsense) Tags: Twinkle Undo
- diffhist Turing machine 09:29 +54 185.91.165.122 talk Tag: Reverted
- diffhist Set (mathematics) 07:31 +8 Jochen Burghardt talk contribs (Undid revision 1284532209 by 152.59.232.11 (talk)) Tag: Undo
- diffhist Uncountable set 06:49 +31 Sushidude21! talk contribs (Added {{One source}} tag) Tag: Twinkle
- diffhist Set (mathematics) 06:08 −8 152.59.232.11 talk (→Union) Tags: Reverted Visual edit
- diffhist Cardinality 01:51 +2,696 Farkle Griffen talk contribs (Added a section on Etymology) Tag: Visual edit
- diffhist Łukasiewicz logic 00:47 +68 Patar knight talk contribs (Adding local short description: "System of logic in mathematics and philosophy", overriding Wikidata description "many-valued logic") Tag: Shortdesc helper
7 April 2025
- diffhist Cardinality 23:04 0 Willondon talk contribs (move 'Notation and terminology' section to after 'History' section)
- diffhist Cardinality 23:01 −80 Willondon talk contribs (→Ancient History: an improvement? reordered the two paragraphs in this section and deleted a statement)
- diffhist Cardinality 22:20 +1,558 Farkle Griffen talk contribs (→Pre-Cantorian Set theory: Copied over a paragraph from Set theory#History, I'll expand it later.) Tag: Visual edit
- diffhist m Propositional calculus 21:22 −99 Marc Schroeder talk contribs (→Frege's Begriffsschrift: uniform notation throughout the article)
- diffhist m Propositional calculus 20:53 +57 Marc Schroeder talk contribs
- diffhist Propositional calculus 19:30 +3,760 Marc Schroeder talk contribs (Put the references into a list. List will be alphabetically sorted at a some later moment.)
- diffhist m NP (complexity) 16:40 +21 P vs NP; headblown talk contribs (link to "complexity classes" added) Tag: Visual edit
- diffhist m First-order logic 16:28 −8 BardRapt talk contribs (→Algebraizations: mce)
- diffhist Minimal logic 15:02 +16 212.186.132.66 talk (→Implications and negation: Phrasing)
- diffhist m Propositional calculus 12:35 +124 Marc Schroeder talk contribs (→External links: added link to article 'Propositional Logic' on Stanford Encyclopedia of Philosophy)
- diffhist Ultrafilter on a set 01:56 0 David Eppstein talk contribs (typo in ref?)
- diffhist Georg Cantor 01:54 −6 Remsense talk contribs (Restored revision 1282790393 by Turtlens (talk): Rv wholly artificial imposition, as English is not Latin—even among the most formalist of English speakers, nearly all have given up the "shouldn't end a sentence with a preposition" thing.) Tags: Twinkle Undo
- diffhist Georg Cantor 01:50 +6 BandoTook talk contribs Tags: Reverted Mobile edit Mobile web edit
6 April 2025
- diffhist Modus ponens 22:49 +54 Loverthehater talk contribs (→Justification via truth table: renamed header, added some links. see talk page.)