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

28 May 2025

diffhist Formal semantics (natural language) 17:07 0 Phlsph7 talk contribs (fix date)
diffhist Formal semantics (natural language) 17:04 +998 Phlsph7 talk contribs (→Sources: add sources)
diffhist Formal semantics (natural language) 17:02 +6 Phlsph7 talk contribs (→Methodology: move to footnote: this might be to specific for the general explanation)
diffhist Formal semantics (natural language) 17:01 +5,063 Phlsph7 talk contribs (→Central concepts: section "Central concepts" renamed to "Methodology" and expanded to explain how these concepts are used to analyze language and their relation to model theory; some passages were rewritten to better reflect the sources and showcase the relation; for previous drafts, see User:Phlsph7/Formal semantics - Methodology; for a discussion, see Talk:Formal_semantics_(natural_language)#Changes_to_the_article) Tag: harv or sfn error
diffhist Formal semantics (natural language) 09:23 +167 Phlsph7 talk contribs (add source)
diffhist m Turing machine 09:05 −1 Pstringe0 talk contribs (→The Entscheidungsproblem (the "decision problem"): Hilbert's tenth question of 1900: Changed integral to integer as per the definition of Diophantine equations referenced elsewhere on the site.) Tags: Manual revert Visual edit
diffhist m Bijection 09:01 +43 Beland talk contribs (MOS:MATHSPECIAL / convert special characters found by Wikipedia:Typo Team/moss (via WP:JWB)) Tag: JWB
diffhist Turing machine 08:35 +1 Ehrenkater talk contribs (Undid revision 1292689777 by 67.204.47.19 (talk) The word "integer" is arguably more correct, but do you have a citation saying that that is what the original translation said?) Tags: Undo Reverted
diffhist Turing machine 08:30 −1 67.204.47.19 talk (→The Entscheidungsproblem (the "decision problem"): Hilbert's tenth question of 1900: changed integral coefficients to integer coefficients.) Tag: Reverted
diffhist m Telicity 07:43 +36 Teangacha talk contribs (Added language to τέλος text) Tag: Visual edit
diffhist Turing machine 05:13 +26 Kankawee aramrak talk contribs (Add constructor's name of physical Turing Machine.)
diffhist Indexicality 04:22 +92 ImmortalRationalist talk contribs (→In philosophy of mind and metaphysics)
diffhist m Equality (mathematics) 03:46 −6 Farkle Griffen talk contribs (pronounced -> read) Tag: Visual edit
diffhist m Cardinality 03:02 +1 Farkle Griffen talk contribs (→Georg Cantor: grammar) Tag: Visual edit
diffhist Speech act 00:05 −2 Lindsay658 talk contribs (→See also)
diffhist Speech act 00:04 +34 Lindsay658 talk contribs (→See also)
diffhist Speech act 00:03 +15 Lindsay658 talk contribs (→See also)
diffhist Speech act 00:03 +15 Lindsay658 talk contribs (→See also)
diffhist Speech act 00:01 +15 Lindsay658 talk contribs (→See also)
diffhist Speech act 00:01 +15 Lindsay658 talk contribs (→See also)
diffhist Speech act 00:01 +115 Lindsay658 talk contribs (→See also)
diffhist Image (mathematics) 00:00 0 172.56.169.180 talk (→Properties) Tag: Manual revert

27 May 2025

diffhist Speech act 23:58 +15 Lindsay658 talk contribs (→See also)
diffhist Speech act 23:57 +30 Lindsay658 talk contribs (→See also)
diffhist Image (mathematics) 23:57 0 172.56.169.180 talk (→General) Tag: Reverted
diffhist Speech act 23:55 +15 Lindsay658 talk contribs (→See also)
diffhist Speech act 23:55 +30 Lindsay658 talk contribs (→See also)
diffhist Speech act 23:55 −27 Lindsay658 talk contribs (→See also)
diffhist English language 22:00 +11 Dr. Precursor talk contribs Tag: Visual edit
diffhist English language 21:55 +12 Dr. Precursor talk contribs Tag: Visual edit
diffhist Cardinality 21:10 −218 Trovatore talk contribs (the statements in the article are true in the ordinary interpretation, which is not about a specific formal theory. There should be some acknowledgment of other possibilities (especially models of &lnot;AC); how to do that needs thought, but this isn't it)
diffhist m Cardinality 21:02 +19 Farkle Griffen talk contribs (Fixed DAB link) Tags: Mobile edit Mobile app edit iOS app edit App section source
diffhist Euclid's Elements 20:55 0 Psychastes talk contribs (fix harv errors)
diffhist Cardinality 20:18 +5 Trovatore talk contribs (→Introduction: "rule" connotes definability, which is not intended here)
diffhist m Cardinality 20:15 −3 Arjayay talk contribs (Duplicate word removed)
diffhist m Natural deduction 16:24 −29 AllCatsAreGrey talk contribs (clean up, typo(s) fixed: charcterized → characterized, Here’s → Here's) Tag: AWB
diffhist m Formal semantics (natural language) 16:22 +8 Phlsph7 talk contribs (ce)
diffhist Formal semantics (natural language) 16:21 +28 Phlsph7 talk contribs (→References: add template "notelist")
diffhist Formal semantics (natural language) 16:20 +422 Phlsph7 talk contribs (→Definition: add footnote on synonyms)
diffhist Cardinality 14:45 −16 Jochen Burghardt talk contribs (→top: it doesn't follow logically)
diffhist Tarski's axiomatization of the reals 12:21 +62 WeyerStudentOfAgrippa talk contribs (Adding short description: "Second-order theory of the real numbers") Tag: Shortdesc helper
diffhist Formal semantics (natural language) 08:49 +137 Phlsph7 talk contribs (→Definition: reformulate per talk page)
diffhist Charles Sanders Peirce 02:57 +4 Jevansen talk contribs (Moving from Category:People from Cambridge, Massachusetts to Category:Scientists from Cambridge, Massachusetts using Cat-a-lot)
diffhist m Axiomatic system 01:11 −1 SociableFish talk contribs (Fixed more typos) Tag: Visual edit
diffhist m Axiomatic system 01:11 +3 SociableFish talk contribs (Fixed typo) Tag: Visual edit
diffhist m Cardinality 00:40 +71 Farkle Griffen talk contribs (→Uncountable sets: Hatnote link to "Cardinality of the continuum") Tag: Visual edit: Switched
diffhist Cardinality 00:34 +1,081 Farkle Griffen talk contribs (→Comparing sets: Added some prerequisite terminology.) Tags: Visual edit Disambiguation links added

26 May 2025

diffhist Natural deduction 18:40 +2,098 Marc Schroeder talk contribs (added Suppes–Lemmon proofs of (i) ¬¬(p ∨ ¬p) and (ii) (p ∨ ¬p))
diffhist Distributional semantics 16:02 +559 TonySt talk contribs (Reverted 1 edit by 41.60.144.102 (talk): Non-constructive) Tags: Twinkle Undo
diffhist Distributional semantics 16:00 −559 41.60.144.102 talk (Distributional semantics) Tags: Reverted references removed Visual edit Mobile edit Mobile web edit