Related changes
Appearance
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
17 June 2025
- diffhist First-order logic 19:02 +88 BardRapt talk contribs (→Formation rules: R. M. Smullyan)
- diffhist First-order logic 18:47 −17 Jochen Burghardt talk contribs (Undid revision 1295823203 by Inaccessible cardinal (talk): unjustified (and too weak: there is no such \phi at all, consistent or incons.)) Tag: Undo
- diffhist First-order logic 18:44 0 Jochen Burghardt talk contribs (Undid revision 1295659816 by Inaccessible cardinal (talk): this is not a triple disjunction) Tag: Undo
16 June 2025
- diffhist First-order logic 10:56 +183 BardRapt talk contribs (→References: A. Tarski, et al.)
- diffhist Foundations of mathematics 08:29 0 OXYLYPSE talk contribs (typo) Tags: Mobile edit Mobile web edit Advanced mobile edit
- diffhist First-order logic 02:10 +17 Inaccessible cardinal talk contribs (→The Löwenheim–Skolem theorem) Tags: Reverted Mobile edit Mobile web edit
15 June 2025
- diffhist First-order logic 22:41 +2 Inaccessibles talk contribs (→Evaluation of truth values) Tags: Mobile edit Mobile web edit
- diffhist First-order logic 21:49 +9 Inaccessibles talk contribs (→Logical symbols) Tags: Mobile edit Mobile web edit
- diffhist First-order logic 10:26 +42 BardRapt talk contribs (→References: J. Ferreirós)
- diffhist First-order logic 03:04 0 Inaccessible cardinal talk contribs (→Non-logical symbols) Tags: Reverted Mobile edit Mobile web edit
13 June 2025
- diffhist First-order logic 23:18 +44 Yesterday, all my dreams... talk contribs (→Deductive systems: src)