OpenAI MathยทSubject
Mathematical logic
6 of the 372 results in OpenAI's maths catalogue are in mathematical logic. Each page quotes OpenAI's own summary, links the preprints and embeds the animation once it is released.
All 6 results
- 240Shelah's eventual categoricity and the prescribed-threshold obstructionLean
- 241Rigidity of the Turing degreesLean
- 242Single-fold Diophantine representations and undecidability under an at-most-one-solution promiseLean
- 243Separating choiceless counting from polynomial time and witnessed choiceLean
- 244The Partition Principle does not imply ChoiceLean
- 245Weak normalization implies strong normalization in pure type systemsLean
Other subjects
- Theoretical computer science 40
- Combinatorics 37
- Algebraic and complex geometry 36
- Number theory 31
- Differential geometry 29
- Probability and statistical mechanics 29
- Mathematical physics 25
- Operator algebras 19
- Algebra 18
- Topology 18
- Partial differential equations 16
- Real and complex analysis 16
- Convex and metric geometry 15
- Group theory 14
- Dynamical systems and ergodic theory 12
- Functional analysis 11