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
4 June 2024
- diffhist m Foundations of mathematics 19:28 +1 Arjayay talk contribs (Sp)
- diffhist Natural number 18:58 −106 Jacobolus talk contribs (remove split template per Wikipedia:Snowball clause. Please feel free to keep discussing on the talk page)
- diffhist m Natural number 14:59 −22 Jacobolus talk contribs (→top: maybe better to tighten like this)
- diffhist Natural number 14:57 +44 Jacobolus talk contribs (wikilink blackboard bold and mention "ordinary" bold N)
- diffhist Foundations of mathematics 11:41 −1 Ancheta Wis talk contribs (→Ancient Greek mathematics: spelling)
- diffhist Mathematical induction 09:45 +8 Wikaviani talk contribs (→History: Reworded.) Tag: 2017 wikitext editor
- diffhist Natural number 05:23 +56 Mathnerd314159 talk contribs (formal split proposal, rm under discussion tag)
- diffhist m Model theory 04:40 +134 Cedar101 talk contribs (→Categoricity: {{mvar}})
- diffhist m Model theory 04:34 −44 Cedar101 talk contribs (→ω-categoricity: {{mvar}} {{mathbb}})
- diffhist m Model theory 04:30 −6 Cedar101 talk contribs (→Ultraproducts: {{mvar}})
- diffhist m Model theory 04:28 +10 Cedar101 talk contribs (→Ultraproducts: {{mvar}}, {{mathcal}})
3 June 2024
- diffhist Idris (programming language) 21:24 0 Dicklyon talk contribs (case fix)
- diffhist Set (mathematics) 17:59 +330 Pichpich talk contribs (remove citation needed tag and add ref) Tag: ProveIt edit
- diffhist Foundations of mathematics 14:14 +325 D.Lazard talk contribs (→Ancient Greek mathematics: more focus on the foundations)
- diffhist Foundations of mathematics 13:31 −8 D.Lazard talk contribs (→Ancient Greek mathematics: direct link is convenient)
2 June 2024
- diffhist Proof assistant 16:56 −5 91.200.238.244 talk (Update versions of Mizar and Isabelle)
- diffhist m GitHub 10:45 +67 Bkonrad talk contribs (Reverted edit by 2600:1006:B157:BF3E:FCAF:DAA2:B932:D593 (talk) to last version by AnomieBOT) Tag: Rollback
- diffhist Model theory 09:42 +32 Theodore.norvell talk contribs (→Basic model-theoretic concepts) Tags: Mobile edit Mobile web edit
- diffhist GitHub 09:34 −67 2600:1006:b157:bf3e:fcaf:daa2:b932:d593 talk (Fixed typo) Tags: Reverted possibly inaccurate edit summary Mobile edit Mobile web edit
- diffhist Foundations of mathematics 09:07 −8 D.Lazard talk contribs (→Group theory: "various" is too restrictive)
- diffhist Foundations of mathematics 08:55 +60 D.Lazard talk contribs (→Ancient Greek mathematics: +)
- diffhist m Model theory 01:13 +2 Mbivert talk contribs (I'm almost certain that we're missing our ordering relation in the signature here)
1 June 2024
- diffhist Constructive set theory 17:22 +25 91.112.18.90 talk (→The class of all subsets of a set)
- diffhist Constructive set theory 17:14 +10 91.112.18.90 talk (→The class of all subsets of a set)
- diffhist Constructive set theory 17:13 +27 91.112.18.90 talk (→The class of all subsets of a set)
- diffhist Foundations of mathematics 14:00 +182 D.Lazard talk contribs (→Formalism: tagging the first sentence, and fixing the interpretation of Hilbert quotations)
- diffhist Foundations of mathematics 13:41 −67 D.Lazard talk contribs (→Foundational crisis: rm unexplained translation in German)
- diffhist Foundations of mathematics 13:40 +29 D.Lazard talk contribs (→Foundational crisis: see User talk:D.Lazard#Foundational crisis)
- diffhist Foundations of mathematics 10:43 −841 D.Lazard talk contribs (→top: rm paragraphs consisting of opinions and analysis that do not belong here, and rewriting the remainder of the lead)
31 May 2024
- diffhist Peano axioms 20:35 +74 2601:204:f181:9410:d914:2e17:825f:8dd4 talk (clarified wording in caption to illustration)
- diffhist m Foundations of mathematics 19:51 −4 Arjayay talk contribs (Duplicate word removed)
- diffhist Constructive set theory 17:17 +66 178.165.170.6 talk (→Infinitude: Link to Necessary and sufficient conditions for finiteness)
- diffhist Constructive set theory 17:03 +85 178.165.170.6 talk (→Infinitude)
- diffhist Foundations of mathematics 13:56 +311 D.Lazard talk contribs (→top: Fixing the two first paragraphs in a way that can be accepted by mathematicians)
30 May 2024
- diffhist Modal logic 22:22 +1 Autisticeditor 20 talk contribs (tweaked #article-section-source-editor) Tags: Mobile edit Mobile app edit iOS app edit
- diffhist Logic 21:54 +37 Biogeographist talk contribs (Undid revision 1226477025 by 2607:FEA8:C2DF:D400:15A5:AFB:B059:C31D (talk): I don't see how the word "something" helps avoid confusion, but perhaps a couple of wikilinks will aid the easily confused?)
- diffhist Logic 21:40 +12 2607:fea8:c2df:d400:15a5:afb:b059:c31d talk (Avoided confusion.) Tags: Mobile edit Mobile web edit
- diffhist m Calculus of constructions 21:04 −17 Egidio24 talk contribs (v2.05 - Fix errors for CW project (Link equal to linktext)) Tag: WPCleaner
- diffhist Foundations of mathematics 16:34 +1,826 D.Lazard talk contribs (→Foundational crisis: It must be said that the crisis is essentially resolved)
- diffhist Constructive set theory 14:42 −1 88.117.193.86 talk (→Language)
- diffhist Constructive set theory 14:42 +129 88.117.193.86 talk (Define discreteness early)
- diffhist F Sharp (programming language) 13:34 −73 Jerryobject talk contribs (→Language evolution: WP:LINKs: needless: underscores > spaces, WP:PIPEs > WP:NOPIPEs, semi-WP:EASTEREGG clarify for WP:LEAST surprise. Small WP:COPYEDITs WP:EoS WP:TERSE, cut needless word repeats. Cut needless: carriage return WP:LISTGAP whitespace characters between WP:TABLE items, needless spaces at line ends: to standardize, aid work via small screens.)
- diffhist Intuitionistic logic 13:29 +14 Jean Abou Samra talk contribs (→Semantics: Needs sourcing) Tags: Mobile edit Mobile web edit
- diffhist Type theory 08:01 +1 2a02:6b60:0:fe::8a talk (→Homotopy type theory: missing space) Tag: Visual edit
- diffhist C (programming language) 06:49 −50 Jochen Burghardt talk contribs (→top: 175.100.12.169 had a point: we needn't link both General-purpose programming language and Programming language; joining the links to a single linktext)
- diffhist C (programming language) 04:43 +4 City of Silver talk contribs (Reverted 1 pending edit by 175.100.12.169 to revision 1226045145 by Stephan Leeds: unexplained removal of content) Tag: Manual revert
- diffhist C (programming language) 04:30 −4 175.100.12.169 talk (P) Tags: Reverted Visual edit Mobile edit Mobile web edit
29 May 2024
- diffhist Constructive set theory 21:50 +143 91.141.73.235 talk (→Exponentiation)
- diffhist Constructive set theory 21:43 +154 91.141.73.235 talk (→Exponentiation: Models of ZFC minus Power)