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.

Namespace:	Invert selection Associated namespace
Tag filter:	Invert selection
Page name:	Show changes to pages linked to the given page instead

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

16 July 2025

diffhist Formal system 15:50 −57 180.75.46.143 talk (sprucing up of paragraph)
diffhist Formal system 15:36 +35 180.75.46.143 talk (i have removed statements on this page which are inaccurate (note: formal systems have nothing to do with inductive systems). i have restored paragraphs from earlier versions of this page.)
diffhist Plane-based geometric algebra 13:19 −10 Hamishtodd1 talk contribs (→Projective Geometric Algebra) Tag: Visual edit
diffhist Geometric algebra 13:19 +62 Hamishtodd1 talk contribs (→Homogeneous models: Added link to PGA) Tag: Visual edit
diffhist Plane-based geometric algebra 13:12 −65 Hamishtodd1 talk contribs (→Projective Geometric Algebra: Not helpful to mention "affine hull", because in N the PGA regressive product of N+1 points will result in 0) Tag: Visual edit
diffhist m Formal system 11:20 +317 ClueBot NG talk contribs (Reverting possible vandalism by 203.106.194.247 to older version. Report False Positive? Thanks, ClueBot NG. (4404302) (Bot)) Tag: Rollback
diffhist Formal system 11:15 +17 203.106.194.247 talk Tags: Manual revert Reverted
diffhist Formal system 11:15 −17 203.106.194.247 talk Tag: Reverted
diffhist Formal system 11:13 +34 203.106.194.247 talk (i have restored the older version of this page, because the new edits are linguistically and mathematically inaccurate.) Tag: Reverted
diffhist Formal system 11:13 −1 203.106.194.247 talk Tag: Reverted
diffhist Formal system 11:12 −350 203.106.194.247 talk (i have restored the older version of this page, because the new edits are linguistically and mathematically inaccurate.) Tag: Reverted
diffhist Proposition 08:40 +4 Phlsph7 talk contribs (Undid revision 1300350032 by 2A02:CE0:2002:6C57:C0B8:6EC5:3593:49B8 (talk) sentences are linguistic expressions) Tag: Undo
diffhist Cardinality 08:03 +13 ALittleClass talk contribs (replaced instances of "powerset" with "power set") Tag: Visual edit

15 July 2025

diffhist Zermelo–Fraenkel set theory 22:21 −164 Trovatore talk contribs (→Axiom of pairing: oh, I see why that was there. Easily fixed; just get rid of the digression about redundancy, which is unimportant)
diffhist Zermelo–Fraenkel set theory 22:19 −233 Trovatore talk contribs (→Axiom of pairing: rm out-of-place claim -- we don't need to prove here that there is a set with at least two elements)
diffhist Zermelo–Fraenkel set theory 22:18 +2 Trovatore talk contribs (fix comma splice)
diffhist Zermelo–Fraenkel set theory 22:10 +1 Trovatore talk contribs (add period)
diffhist Zermelo–Fraenkel set theory 22:10 −2 Trovatore talk contribs (typo)
diffhist Zermelo–Fraenkel set theory 22:09 +358 Trovatore talk contribs (fixes to pairing axiom (see discussion on talk))
diffhist Axiomatic system 21:56 −13 Yesterday, all my dreams... talk contribs (→Example: these axioms are deductive, not semantic)
diffhist Axiomatic system 21:55 −13 Yesterday, all my dreams... talk contribs (→Axioms and models: formal structures are by definition well defined)
diffhist m Natural deduction 21:09 −1 Scrooge Mcduc talk contribs (→Gentzen-style example proofs: typo fix)
diffhist m Lambda calculus 19:32 −4 Frap talk contribs
diffhist Lambda calculus 18:28 +416 Jochen Burghardt talk contribs (→Free variables: citation; bound / free aren't disjoint)
diffhist Truth table 18:13 −2,371 Jochen Burghardt talk contribs (distracting) Tag: Undo
diffhist Computable number 18:12 0 Jochen Burghardt talk contribs (Restored revision 1295809152 by Synapse554 (talk): Restore last reasonable version) Tags: Twinkle Undo
diffhist Mathematical object 18:11 0 162.106.6.36 talk
diffhist Church encoding 17:43 +10 WillNess talk contribs (Updated short description) Tags: Mobile edit Mobile app edit Android app edit App description change
diffhist Lambda calculus 17:39 −32 Scrooge Mcduc talk contribs (→Free variables)
diffhist Zermelo–Fraenkel set theory 17:35 +36 2601:204:f181:9410:7903:f639:5086:2ec9 talk (→Axiom of pairing: Fixed "Axiom of pairing")
diffhist Zermelo–Fraenkel set theory 17:20 +3 2601:204:f181:9410:7903:f639:5086:2ec9 talk (→Axiom of pairing: Fixed false statement (and bad grammar).)
diffhist Truth table 16:32 +170 46.159.119.122 talk (→Applications of truth tables in digital electronics) Tags: Reverted Mobile edit Mobile web edit
diffhist Truth table 16:16 +2,201 46.159.119.122 talk (→Applications of truth tables in digital electronics) Tags: Reverted Mobile edit Mobile web edit
diffhist m Axiom of limitation of size 15:25 +51 Farkle Griffen talk contribs (Added short description) Tags: Mobile edit Mobile app edit iOS app edit App description add
diffhist m Sequence 14:32 +24 W.andrea talk contribs (→top: +link)
diffhist m Extended real number line 13:06 −44 Aadityav2010 talk contribs (Fixed typo with the word "definition") Tag: Manual revert
diffhist m Extended real number line 09:48 +44 D.Lazard talk contribs (Reverted 1 edit by 177.38.40.208 (talk) to last revision by Nate Polidoro) Tags: Twinkle Undo Reverted
diffhist m Computable number 07:46 0 Dolphish talk contribs (Undid revision 1299838683 by 2405:201:17:2CC3:6DF6:C7DE:DD6B:242D (talk)) Tags: Undo Reverted Non-autoconfirmed user rapidly reverting edits Mobile edit Mobile web edit Advanced mobile edit
diffhist Symmetric difference 05:57 +12 GALI MANISH KUMAR talk contribs (Link suggestions feature: 3 links added.) Tags: Visual edit Newcomer task Suggested: add links
diffhist Image (mathematics) 05:46 +8 GALI MANISH KUMAR talk contribs (Link suggestions feature: 2 links added.) Tags: Visual edit Newcomer task Suggested: add links
diffhist Construction of the real numbers 05:14 +76 Scrooge Mcduc talk contribs
diffhist Construction of the real numbers 04:51 +114 Scrooge Mcduc talk contribs (Added clarification that almost homomorphism condition is just the condition that the error is bounded.)
diffhist Extended real number line 03:06 −44 177.38.40.208 talk (→Limits: Fixed typo) Tags: Reverted possibly inaccurate edit summary Mobile edit Mobile web edit
diffhist Infinity 01:14 0 190.236.166.171 talk Tags: Mobile edit Mobile web edit

14 July 2025

diffhist Extended real number line 22:12 −8 Nate Polidoro talk contribs
diffhist m Extended real number line 22:12 −73 Nate Polidoro talk contribs (Removed previously added nonsense early in the page.)
diffhist Extended real number line 20:38 −50 173.206.86.155 talk (haha) Tag: Visual edit
diffhist Extended real number line 20:34 +82 173.206.86.155 talk Tag: Visual edit
diffhist Zermelo–Fraenkel set theory 20:02 +152 41.230.140.43 talk (→Axiom of infinity) Tag: Visual edit: Switched
diffhist m Cardinality 19:42 −63 Farkle Griffen talk contribs (→Cardinal numbers: Clearer) Tags: Mobile edit Mobile app edit iOS app edit App section source