Related changes
Jump to navigation
Jump to search
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 in bold.
List of abbreviations:
- N
- This edit created a new page (also see list of new pages)
- m
- This is a minor edit
- b
- This edit was performed by a bot
- (±123)
- The page size changed by this number of bytes
1 March 2026
| 05:22 | Logical independence diffhist +12 C7X talk contribs (This is less invariant to how a theory is defined (as a set of axioms or as a deductively closed set of formulas), but equally general due to Craig's theorem) | ||||
28 February 2026
| 11:48 | 1RB0RC 1LB1LD 0RA0LD 1LA1RC diffhist +20 Polygon talk contribs (Added Category:BB(4)) | ||||
|
|
02:40 | Logical independence 3 changes history +268 [C7X (3×)] | |||
|
|
02:40 (cur | prev) +216 C7X talk contribs (Add to citations →Large cardinals) | ||||
|
|
02:36 (cur | prev) +45 C7X talk contribs (MathJax) | ||||
|
|
02:34 (cur | prev) +7 C7X talk contribs (Infinitely many axioms) | ||||
27 February 2026
|
|
06:39 | Logical independence 5 changes history +1,097 [Sligocki; Tlonuqbar (4×)] | |||
|
|
06:39 (cur | prev) +6 Tlonuqbar talk contribs Tag: Visual edit | ||||
|
|
06:37 (cur | prev) +1 Tlonuqbar talk contribs | ||||
|
|
06:12 (cur | prev) +867 Tlonuqbar talk contribs Tag: Visual edit | ||||
| m |
|
06:01 (cur | prev) +19 Sligocki talk contribs (Citation needed) Tag: Visual edit | |||
|
|
05:14 (cur | prev) +204 Tlonuqbar talk contribs Tag: Visual edit | ||||