There are numerous questions in the same form: "What are some open problems in mathematical logic". So for this we know: Shelahs "Logical Dreams" Logical Dreams
Friedmans "102 Problems in mathematical logic" Friedman's list
my first question is: Is there somewhere an updated list of these problems (which of them are solved)?
and now a very specific question: Are there any open problems in classical proof theory or unsolved conjectures? If so, where do I find them?