All › Mathematics › Model theory and formal languages

More in “Model theory and formal languages”

• The Cherlin–Zilber conjecture
• Generalized star height problem
• For which number fields does Hilbert's tenth problem hold?
• Kueker's conjecture
• The main gap conjecture, e.g. for uncountable first order theories, for AECs, and for \aleph_1-saturated models of a countable theory.
• Shelah's categoricity conjecture for L_{\omega_1,\omega}
• Shelah's eventual categoricity conjecture
• The stable field conjecture

Another random mathematics problem →