User contributions for Tlonuqbar

23 February 2026

• 01:2601:26, 23 February 2026 diff hist +6 Logical independence No edit summary current Tag: Visual edit

22 February 2026

• 22:1422:14, 22 February 2026 diff hist +958 Logical independence adding SRP info Tag: Visual edit

13 February 2026

• 00:3100:31, 13 February 2026 diff hist +111 Logical independence No edit summary Tag: Visual edit: Switched

11 February 2026

• 22:1022:10, 11 February 2026 diff hist +327 Logical independence adding PA independent machine Tag: Visual edit: Switched
• 22:0622:06, 11 February 2026 diff hist +39 N Talk:Independence from ZFC Tlonuqbar moved page Talk:Independence from ZFC to Talk:Logical independence: expanding scope current Tag: New redirect
• 22:0622:06, 11 February 2026 diff hist 0 m Talk:Logical independence Tlonuqbar moved page Talk:Independence from ZFC to Talk:Logical independence: expanding scope current
• 22:0622:06, 11 February 2026 diff hist +34 N Independence from ZFC Tlonuqbar moved page Independence from ZFC to Logical independence: expanding scope current Tag: New redirect
• 22:0622:06, 11 February 2026 diff hist 0 m Logical independence Tlonuqbar moved page Independence from ZFC to Logical independence: expanding scope

2 February 2026

• 19:5319:53, 2 February 2026 diff hist +737 N TMBR: February 2026 starting new TMBR Tag: Visual edit: Switched

1 February 2026

• 21:2621:26, 1 February 2026 diff hist +366 TMBR: January 2026 info on new rocq proofs Tag: Visual edit