Timeline for About Grothendieck UB axiom
Current License: CC BY-SA 4.0
Post Revisions
11 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 3, 2025 at 22:42 | comment | added | Sam Hopkins♦ | @user3687245 I added your comment to the text of the question itself, where it belongs. | |
| Aug 3, 2025 at 22:41 | history | edited | Sam Hopkins♦ | CC BY-SA 4.0 |
added 181 characters in body
|
| S Aug 3, 2025 at 22:06 | history | suggested | Jean Abou Samra |
Add set-theory (and lo.logic) tag
|
|
| Aug 3, 2025 at 16:50 | review | Suggested edits | |||
| S Aug 3, 2025 at 22:06 | |||||
| Aug 2, 2025 at 23:51 | history | became hot network question | |||
| Aug 2, 2025 at 20:50 | answer | added | James E Hanson | timeline score: 16 | |
| Aug 2, 2025 at 18:27 | comment | added | PANTELIS MINTEKIDIS | (UA): “every set is an element of a some universe,” (UB): “if U is a universe, R{x} is a formula and there exists a y ∈ U satisfying R{y}, then τₓ(R{x}) is an element of U.” | |
| Aug 2, 2025 at 17:07 | comment | added | Leo Alonso | It would we of help if you add some context to the question, the terminology UA, UB is far from standard. | |
| Aug 2, 2025 at 16:24 | review | Close votes | |||
| Aug 7, 2025 at 3:01 | |||||
| S Aug 2, 2025 at 15:42 | review | First questions | |||
| Aug 2, 2025 at 16:08 | |||||
| S Aug 2, 2025 at 15:42 | history | asked | PANTELIS MINTEKIDIS | CC BY-SA 4.0 |