Bachmann-Howard

A measure of proof-theoretic strength for theories in mathematical logic.

MathematicsLogicSet Theory

Complexity

Current best complexity is 92:

Bachmann-Howard
92
Discover this myself!

Statistics

Discovered by
1board
Best recipe held by
1board
First discovered
28 hoursago
Crafted
1time
Made with
1recipe
Used in
3recipes

Highlights

  1. First discovered by
    Hello5184's board
    · 28 hours ago
  2. Lowest complexity92first held by
    Hello5184's board
    · 28 hours ago
  3. Last crafted by
    Hello5184's board
    · 28 hours ago
  4. Last used in a recipe by
    Hello5184's board
    · 28 hours ago

Related concepts

Infinity
Delta
Paradox
Binary System
Fractal
Sphere
Tesseract
Infinite
Hypercube
Cube
Redundancy
Tautology

Technical information

Concept ID
373061
Color
#5e4b9e
Emoji
📐
Categories
Mathematics, Logic, Set Theory
Best complexity
92
First discovered
Nov 12, 2026, 21:31 UTC
Trademarked
No
Copyrighted
No

About "Bachmann-Howard" concept

Bachmann-Howard can be discovered in Concepts, categorized under Mathematics, Logic, Set Theory. A measure of proof-theoretic strength for theories in mathematical logic.

It has been discovered by 1 board and crafted 1 time, first appearing 28 hours ago. Bachmann-Howard can be created from 1 recipe, and goes on to appear as an ingredient in 3 others.

Bachmann-Howard was first discovered by Hello5184's board 28 hours ago. They also hold the lowest-complexity recipe, at 92.

Related concepts worth exploring include Infinity, Delta, Paradox, Binary System, Fractal, Sphere, and 6 more.

Bachmann-Howard 📐 | Concepts