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
9 June 2025
- diffhist Logic 21:43 +7 Trovatore talk contribs (→Formal logic: I suspect the other editor was confused by the language; the rule of inference isn't something that applies to the premises and also to the conclusion, but rather to the path from the former to the latter)
- diffhist Cardinality 21:35 0 Sheddow talk contribs (→Ancient history: Capitalize Jaina) Tags: Mobile edit Mobile web edit
- diffhist Strength (mathematical logic) 20:08 +46 742a talk contribs (Add short description) Tags: Mobile edit Mobile web edit
- diffhist Logic 19:40 +5 ERcheck talk contribs (→Formal logic: per Trovatore, not a compound subject, so adding word to avoid any ambiguity)
- diffhist Logic 17:53 +1 Trovatore talk contribs (Undid revision 1294502182 by ERcheck (talk) the subject of "follows" is "logical structure", which is singular) Tag: Undo
- diffhist First-order logic 15:09 +192 BardRapt talk contribs (→Terms: G. Takeuti)
- diffhist Fuzzy set 13:25 +1 SchwartzYosale talk contribs (Undid revision 1293950139 by 93.38.201.218 (talk) "iff" is a common term, short for "if and only if". in this case it's more appropriate than just "if") Tag: Undo
- diffhist Forcing (mathematics) 12:57 +16 SchwartzYosale talk contribs (→The countable chain condition: reformulated in a more similar way to the proof in the reference. it was unclear before, in my opinion, why the "finite set" should in fact be finite. answer: it's a finite partial function itself!)
- diffhist Axiom of choice 11:02 +99 Goodphy talk contribs (Added a note explaining what is S_i for straightforward understanding of what is the axiom of choice.) Tag: Visual edit
- diffhist Forcing (mathematics) 10:27 +185 SchwartzYosale talk contribs (→The countable chain condition: clarified the construction (because I had to go to the reference to understand it myself)) Tag: Visual edit: Switched
- diffhist Rule of inference 08:42 +457 Phlsph7 talk contribs (mention term "deductive explosion" per DYK discussion)
- diffhist m Cardinality 01:47 0 Farkle Griffen talk contribs (→Equivalence) Tag: Visual edit
- diffhist Cardinality 01:42 −163 Farkle Griffen talk contribs (→Uniqueness: This is a little easier to read, I think?) Tag: Visual edit
- diffhist m Cardinality 01:15 +44 Farkle Griffen talk contribs (→Ancient history: via) Tag: Visual edit
- diffhist Cardinality 01:11 +332 Farkle Griffen talk contribs (→Ancient history: Added ref) Tag: Visual edit
- diffhist Cardinality 01:01 +986 Farkle Griffen talk contribs (→Ancient history: Mentioned Jain mathematics) Tag: Visual edit
8 June 2025
- diffhist m Cardinality 21:46 +37 Farkle Griffen talk contribs (→Prehistory) Tag: Visual edit
- diffhist Cardinality 21:39 +38 Farkle Griffen talk contribs (→Prehistory: Further information hatnote) Tag: Visual edit
- diffhist Proposition 21:38 +96 68.132.122.6 talk (Fix/improve citation for Hurley (2014); add page number and direct quote for definition.) Tag: Visual edit
- diffhist Proposition 21:19 −63 68.132.122.6 talk (Added a definition of proposition from the "A Concise Introduction to Logic 12th Edition" by Hurley and added that as a citation, and shortened some portions of the introduction to make it easier for beginners to understand.) Tag: Visual edit
- diffhist m Cardinality 19:05 −44 Farkle Griffen talk contribs (not necessary) Tags: Mobile edit Mobile app edit iOS app edit App section source
- diffhist Cardinality 18:41 +29 Farkle Griffen talk contribs (→Equivalence: I think I prefer this list style more) Tag: Visual edit
- diffhist m Cardinality 18:32 −4 Farkle Griffen talk contribs (→Ancient history) Tag: Visual edit
- diffhist Cardinality 18:28 +1,657 Farkle Griffen talk contribs (→Ancient history: Expanded paragraph on greeks) Tag: Visual edit
- diffhist Rule of inference 17:04 +8 Phlsph7 talk contribs (→Others: slight reformulation per DYK discussion)
- diffhist First-order logic 10:18 −4 Absolutiva talk contribs (Removing link(s) to "Paris": MOS:OVERLINK.) Tag: Twinkle
- diffhist m Set (mathematics) 08:59 0 Cyfal talk contribs (spelling (WP:Typo Team))
- diffhist m Logic 02:56 −1 ERcheck talk contribs (→Formal logic: plural) Tag: Reverted
- diffhist m Philosophy of mathematics 01:59 +8 Shapeyness talk contribs (→Fictionalism: Add link) Tag: 2017 wikitext editor
7 June 2025
- diffhist Cardinality 16:08 +11 D.Lazard talk contribs (→top: clearer)
- diffhist m Variable (mathematics) 15:16 +1 Arjayay talk contribs (Plural)
- diffhist Zermelo–Fraenkel set theory 13:43 0 2600:1702:6eba:8200:4c4f:ff2e:8eeb:c7e0 talk (Changed "amount" to "number" for grammar.)
- diffhist Lambda calculus 11:14 +4 WillNess talk contribs (→Arithmetic in lambda calculus: correct minor omission of italics in formula)
- diffhist Lambda calculus 11:11 +269 WillNess talk contribs (→Arithmetic in lambda calculus: c/e)
- diffhist Lambda calculus 10:53 +934 WillNess talk contribs (→Arithmetic in lambda calculus: wiki-links; style; clarity)
6 June 2025
- diffhist Category theory 23:58 −3 Yesterday, all my dreams... talk contribs (→Sources: lnk)
- diffhist Category theory 23:57 +9 Yesterday, all my dreams... talk contribs (→Sources: lnk)
- diffhist Category theory 23:56 +120 Yesterday, all my dreams... talk contribs (→Sources: source)
- diffhist Category theory 23:49 −6 Yesterday, all my dreams... talk contribs (almost all is over do)
- diffhist Axiomatic system 23:41 +4 Yesterday, all my dreams... talk contribs (→See also: lnk)
- diffhist Axiomatic system 23:40 −38 Yesterday, all my dreams... talk contribs (→See also: better link) Tag: Disambiguation links added
- diffhist Cardinality 21:09 +7 Farkle Griffen talk contribs (→Equivalence: Cardinality -> equinumerosity) Tag: Visual edit
- diffhist m Cardinality 20:50 −21 Farkle Griffen talk contribs (→Apparent paradoxes: Mentioning AC seems out of place here) Tag: Visual edit
- diffhist Cardinality 20:30 −503 Farkle Griffen talk contribs (→Equivalence: Rm definitions of reflexive, symmetric, and transitive) Tag: Visual edit
- diffhist m Cardinality 20:23 +265 Farkle Griffen talk contribs (→Equivalence: List form) Tag: Visual edit: Switched
- diffhist Fixed-point logic 20:13 0 Headbomb talk contribs (Altered template type. Add: chapter, title. | Use this tool. Report bugs. | #UCB_Gadget)
- diffhist m Church encoding 17:17 0 Inaccessibles talk contribs (→Table of functions on Church numerals)
- diffhist Natural deduction 09:00 −1 Periklismant talk contribs (→Gentzen-style example proofs)
5 June 2025
- diffhist Substructure (mathematics) 22:05 +281 Rgdboer talk contribs (→Examples: image)
- diffhist Isomorphism 16:31 −11 129.79.197.239 talk (→Isomorphism class)