Mathematics Problem Archive

Is the complement of the finite spectrum of every first-order sentence also a finite spectrum? Equivalently, is $\mathrm{NE}=\mathrm{coNE}$?...

Does there exist a reasonable logic strictly stronger than first-order logic that has both compactness and Craig's interpolation property?...

Prove a superpolynomial lower bound on the size of Frege proofs; in particular, do some tautologies require exponentially large Frege proofs?...

Determine the reverse-mathematical strength of Kříž's labeled-tree generalization of Kruskal's theorem....

The universality spectrum problem: Is there a first-order theory whose universality spectrum is minimum?...

Does a finitely presented homogeneous structure for a finite relational language have finitely many reducts?...

Is the theory of the field of Laurent series over $\mathbb{Z}_p$ decidable? of the field of polynomials over $\mathbb{C}$?...

Is there a logic L which satisfies both the Beth property and Δ-interpolation, is compact but does not satisfy the interpolation property?...

What is the nature of the proof-theoretic ordinal (the smallest ordinal a theory cannot prove well-founded) for second-order arithmetic, ZFC, or stron...