Happy New Year! I'm an undergraduate right now, and I spent much of last year reading through most of Parts 1 through 4 of the Metamath Theorem List. I'm hoping to do some more set theory in the future, but there aren't any mathematical set theorists at my college so I don't really know where to continue from what's in Metamath. I'm planning to read some of the set theory books referenced in the Theorem List, particularly either Takeuti and Zaring's *Introduction to Axiomatic Set Theory* or Suppes's *Axiomatic Set Theory*, but I would appreciate some advice on which of these (and/or some other book(s)) is most helpful. I'm also currently in the process of applying to REUs, and I haven't found any for set theory but if there are some I'm not aware of (or generally any way to do set theory as an undergraduate) I'd love to hear about them.
I'm also hoping to contribute to set.mm, and I read the two github pages on contributing but I wanted to ask about who I should contact in case I have a problem with setting everything up. Eventually, I'd love to help with some project in the database if needed and if I already somewhat understand the concepts. I've been reading Knuth's *Surreal Numbers* and I saw that work has begun on moving theorems on surreal numbers from Mathboxes to main, so I'd love to give any help I can towards developing that further (obviously after reading much more material on the subject). If there's another project that I'd be more useful for, that's good too! - Noam Pasman -- 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 visit https://groups.google.com/d/msgid/metamath/CABJcXbRF5BsRyNC_hf3L_EmhmuSvfdaN3EKy%2BFOs10DLRUjPOg%40mail.gmail.com.
