User contributions for Svennik

9 November 2026

• 04:2404:24, 9 November 2026 diff hist −2 m TMBR: November 2026 →Cryptids current Tag: Visual edit
• 04:1804:18, 9 November 2026 diff hist +2 TMBR: November 2026 →Cryptids: PA cannot determine BB(210) Tag: Visual edit
• 04:1704:17, 9 November 2026 diff hist +71 m TMBR: November 2026 →Cryptids Tag: Visual edit
• 04:1404:14, 9 November 2026 diff hist +48 m TMBR: November 2026 →Cryptids Tag: Visual edit
• 04:1204:12, 9 November 2026 diff hist +171 TMBR: November 2026 →Cryptids: New Foundations set theory Tag: Visual edit
• 02:5002:50, 9 November 2026 diff hist +44 Logical independence →History: connect to PA Tag: Visual edit
• 02:4802:48, 9 November 2026 diff hist −490 Logical independence →New Foundations (NF): remove unnecessary caveats: NF is provable consistent from ZFC Tag: Visual edit
• 02:4602:46, 9 November 2026 diff hist +1,340 Logical independence →History Tag: Visual edit: Switched