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
3 January 2026
- diffhist Kripke–Platek set theory 03:34 +734 JRSpriggs talk contribs (→Even natural numbers: define some Δ_0 formulas)
- diffhist Kripke–Platek set theory 02:32 +90 JRSpriggs talk contribs (→Transitive containment: what if ''a'' is not in ''A''? the function is supposed to have a value for every input.)
2 January 2026
- diffhist Uniqueness quantification 21:01 +54 Quondum talk contribs (→Reduction to ordinary existential and universal quantification: the notation appears to demand parentheses here; fmt)
- diffhist Sequence 20:47 +16 Jochen Burghardt talk contribs (→top: provide context ("other uses" in the hatnotes refers to that))
- diffhist m Programming language 20:42 +4 Kku talk contribs (link dynamic semantics)
- diffhist Rule of inference 18:57 +503 Phlsph7 talk contribs (→Sources: add sources)
- diffhist Rule of inference 18:56 +336 Phlsph7 talk contribs (→In various fields: add sentence on epistemology of logic per PR) Tag: harv or sfn error
- diffhist Kripke–Platek set theory 16:16 +97 JRSpriggs talk contribs (→Opposite of infinity: add links)
- diffhist Rule of inference 13:19 −111 Phlsph7 talk contribs (→Basic concepts: shorten per PR)
- diffhist m Rule of inference 11:30 −1 Phlsph7 talk contribs (→Definition: ce)
- diffhist Rule of inference 11:00 −380 Phlsph7 talk contribs (Filled in 0 bare reference(s) with reFill 2)
- diffhist Rule of inference 10:59 +206 Phlsph7 talk contribs (→Sources: add source)
- diffhist Rule of inference 10:59 +509 Phlsph7 talk contribs (→Definition: change example per PR) Tag: harv or sfn error
- diffhist Rule of inference 10:19 −8 Phlsph7 talk contribs (→Basic concepts: ce per PR)