Hi all, This is just a notice that I've been rewriting some of Jeff Madsen's theorems about prime ideals using "extensible structures".
I'll see if I can continue with the definition of maximal ideals and the corresponding theorems. This work is candidate to being moved to the main part of set.mm, so it might be of interest to Jeff, some 14 years after his initial contribution... BR, _ Thierry -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/d532f99b-0241-4d3d-9ffa-1bf882eb113b%40gmx.net.
