Open Problems in Mathematical Logic

The goal of this website is to collect open problems in mathematical logic and to track credible attempts to resolve them. Each problem has its own page with a precise statement of the problem and its current status, as well as other relevant information. Anyone can suggest edits to an existing problem or propose a new problem; see the FAQ for information on how to do this. Check out the list of problems to see all of the problems currently on the site or use the search feature to search for problems containing specific keywords.

This website was partially inspired by the Erdős Problems website and by the role that website has played in tracking AI-generated solutions to open problems. For this reason, the focus of this website will be on problems whose resolution would be of reasonably high interest to the mathematical logic community. In addition, each problem comes with an optional section which records credible proof attempts (even if they have not yet been fully verified). See the FAQ for more information about what kinds of problems are accepted and how to report a credible proof attempt.

This site is maintained by Patrick Lutz. To report problems with the website or make suggestions, please email admin@openlogicproblems.com or open an issue on GitHub.