Mathematical logic and foundations
The 30 problems with a statement whose AMS attribute names 03, Mathematical logic and foundations, in the Mathematics Subject Classification. A problem with statements in several subjects is listed under each; its article sits in its source folder's part.
Erdős Problem 70 to Erdős Problem 1177
- Erdős Problem 70
- Erdős Problem 110
- Erdős Problem 118
- Erdős Problem 590
- Erdős Problem 591
- Erdős Problem 592
- Erdős Problem 594
- Erdős Problem 597
- Erdős Problem 598
- Erdős Problem 602
- Erdős Problem 603
- Erdős Problem 623
- Erdős Problem 965
- Erdős Problem 1119
- Erdős Problem 1128
- Erdős Problem 1169
- Erdős Problem 1173
- Erdős Problem 1174
- Erdős Problem 1176
- Erdős Problem 1177
Erdős Problem 1219 to Tao's Optimization Constant 14…
- Erdős Problem 1219
- Busy Beaver
- Tarski's exponential function problem
- Vaught conjecture
- Decidability of reachability for branching vector addition systems
- Complete disjoint NP pairs
- Pudlák's conjectures on incompleteness in the finite domain
- Shelah-Spencer's Zero-One Law for Sparse Random Graphs
- Boxdot Conjecture
- Tao's Optimization Constant 14 / Smallest \(n\) for which the value of \(BB(n)\) is undecidable
Loading dependency explorer…
The dependency explorer needs JavaScript and its graph data.