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
15 May 2024
- diffhist m Binary relation 21:53 −1 Rgdboer talk contribs (→Fringe of a relation: bold a defined term)
- diffhist Predicate (mathematical logic) 18:30 +27 D.Lazard talk contribs (Undid revision 1224002660 by Addemf (talk) Yes the use of "constant" is improper, but the proposed correction is wrong)
- diffhist m Argument 18:17 −1 Wardoflores talk contribs (Fixing typo from "premisses" to "premises")
- diffhist Predicate (mathematical logic) 17:42 +5 Addemf talk contribs (The word "constants" in formal logic, refers to 0-ary function symbols, whereas this explanation probably had in mind some "single element of the domain". So it was misleading, and it's more accurate to say that first-order logic predicates are characterized by having a fixed arity, each coordinate being substituted by elements of the domain, in the usual semantic scheme.)
- diffhist m Function (mathematics) 13:42 −3 Arcergy talk contribs (→top: Fixed grammar) Tags: canned edit summary Mobile edit Mobile app edit Android app edit
- diffhist m Three-valued logic 12:37 +23 Hereptol talk contribs
- diffhist m Three-valued logic 08:06 +15 Hereptol talk contribs (new access to a source) Tag: Visual edit
- diffhist Hasse diagram 07:01 −1 David Eppstein talk contribs (not literally in Vogt himself)
- diffhist Hasse diagram 07:00 +18 David Eppstein talk contribs (ce)
- diffhist m Type theory 02:11 +63 Trevoran talk contribs (→History: link for term "ramified theory of types"; inscrutable without context)
14 May 2024
- diffhist m Philosophy of mathematics 22:44 −1 Jama1733 talk contribs (minor typo) Tags: Visual edit Mobile edit Mobile web edit
- diffhist Finite model theory 19:18 +21 David Eppstein talk contribs (→Problem: +wl)
- diffhist Empty set 18:14 +2 96.252.13.92 talk (→Questioned existence)
- diffhist Construction of the real numbers 17:05 +541 EatingCarBatteries talk contribs (→See also) Tag: Visual edit
- diffhist m Cantor's theorem 15:06 +209 ElskverdigHug talk contribs (I had forgotten the "injective functions exist, here is an example" part in the proof. Fixed it.)
- diffhist m Cantor's theorem 12:24 +24 ElskverdigHug talk contribs
- diffhist Cantor's theorem 12:14 +205 ElskverdigHug talk contribs
- diffhist m Axiom of dependent choice 10:00 0 Rodw talk contribs (Disambiguating links to Chain (disambiguation) (link changed to Chain (ordered set)) using DisamAssist.)
- diffhist Turing machine 08:12 −7 150.203.2.234 talk (Removed empty column in first Alternative definitions table)
- diffhist m Cantor's theorem 08:12 −362 ElskverdigHug talk contribs (Undid my own revision, I'll double check it.) Tag: Undo
- diffhist Cantor's theorem 08:04 +362 ElskverdigHug talk contribs Tag: Reverted
- diffhist m Construction of the real numbers 06:03 +36 Sink Cat talk contribs (Added {{Cleanup bare URLs}}, using a script. For other recently-tagged pages with bare URLs, see Category:Articles with bare URLs for citations from May 2024)
- diffhist Classical logic 03:42 +536 ElskverdigHug talk contribs
13 May 2024
- diffhist Logical disjunction 21:45 +4 170.85.70.205 talk (Linked Venn Diagram on text "Venn Diagram") Tag: Visual edit
- diffhist Binary relation 17:18 −1 Jochen Burghardt talk contribs (→Examples: rm leftover apostroph)
- diffhist Venn diagram 17:09 −189 Belbury talk contribs (Reverted 1 edit by LuxembourgLover (talk): Arbitrary and poorly laid-out example, nothing in the text of this section about the relevance of AI) Tags: Twinkle Undo Mobile edit Mobile web edit Advanced mobile edit
- diffhist Venn diagram 17:02 +189 LuxembourgLover talk contribs (→History: used correct englsih) Tags: Reverted Visual edit
- diffhist m Turing machine 15:49 −2 Hooman Mallahzadeh talk contribs
- diffhist m Turing machine 15:48 −1 Hooman Mallahzadeh talk contribs (→Overview)
- diffhist m Gödel's incompleteness theorems 13:48 +11 Magioladitis talk contribs (Moved punctuation mark to correct place + other fixes, References after punctuation per WP:CITEFOOT and WP:PAIC) Tag: AWB
- diffhist m Natural number 12:56 −1 Wbm1058 talk contribs (redirect bypass from Nicholas Bourbaki to Nicolas Bourbaki using popups)
- diffhist Order topology 09:46 +2 129.104.241.193 talk (→Example of a subspace of a linearly ordered space whose topology is not an order topology)
- diffhist Order topology 09:39 −408 129.104.241.193 talk (→Example of a subspace of a linearly ordered space whose topology is not an order topology)
- diffhist m Emmy Noether 05:51 +9 Magioladitis talk contribs (Moved punctuation mark to correct place + other fixes, References after punctuation per WP:CITEFOOT and WP:PAIC) Tag: AWB
12 May 2024
- diffhist Constructive set theory 22:56 +23 77.119.163.227 talk (→ECST)
- diffhist Logical connective 22:52 +17 189.6.31.253 talk (→See also)
- diffhist Alphabet (formal languages) 22:50 +344 Jason Quinn talk contribs (→top: added another ref for alphabet definition and character and symbol ( Fletcher's book))
- diffhist String (computer science) 22:43 +370 Jason Quinn talk contribs (→Formal theory: +a ref for "word" too.)
- diffhist String (computer science) 22:32 +329 Jason Quinn talk contribs (→Formal theory: added expression with Shoenfield reference)
- diffhist Order topology 22:25 −254 129.104.241.193 talk (→Example of a subspace of a linearly ordered space whose topology is not an order topology)
- diffhist String (computer science) 22:25 −33 Jason Quinn talk contribs (→Formal theory: removing false statement. There ARE assumptions about the symbols, namely that they are distinct and unambiguous.)
- diffhist Order topology 21:51 +4 129.104.241.193 talk (→Example of a subspace of a linearly ordered space whose topology is not an order topology)
- diffhist Module:Pagetype 21:45 −255 MSGJ talk contribs (non-existent pages are not articles, plus some code simplification)
- diffhist Logical connective 21:40 +18 189.6.31.253 talk (→See also)
- diffhist Logical connective 21:34 +20 189.6.31.253 talk (→See also)
- diffhist Logical connective 21:34 +17 189.6.31.253 talk (→See also)
- diffhist m Integer 21:13 0 Laurent Meesseman talk contribs (→History: Fixed typo) Tags: Mobile edit Mobile app edit Android app edit
- diffhist Philosophy of mathematics 13:11 0 D.Lazard talk contribs (→Logic and rigor: typo)
- diffhist Philosophy of mathematics 13:10 +62 D.Lazard talk contribs (→Logic and rigor: New section, still to be expanded)
- diffhist Binary relation 12:37 −3 Maggyero talk contribs