Timeline for When can we prove constructively that a ring with unity has a maximal ideal?
Current License: CC BY-SA 4.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 23 at 5:06 | history | edited | David Roberts♦ | CC BY-SA 4.0 |
Added more details on paper
|
| Jan 31, 2023 at 23:12 | comment | added | Ingo Blechschmidt | Sorry, you are right, I should have been more precise. I meant to just refer to first-order statements where all quantifiers are bounded (by sets of the base universe). The axiom of constructibility starts out with "for every set, ..." so is not bounded. I was thinking of statements like "for every (n x n)-matrix over the given ring, ...". | |
| Jan 27, 2023 at 15:58 | comment | added | Noah Schweber | "The base universe and the extended universe validate the same first-order statements." I don't understand this - at least in the case of standard set-theoretic forcing, this is false (what if our base universe is $L$? then the axiom of constructibility, which is first-order, holds in the base universe but fails in the extension). | |
| Jan 27, 2023 at 1:00 | history | answered | Ingo Blechschmidt | CC BY-SA 4.0 |