Pith. sign in

REVIEW 1 cited by

On the number of inequivalent monotone Boolean functions of 9 variables

Not yet reviewed by Pith; the record is open.

Re-run · record.json Download PDF Read on arXiv ↗

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2305.06346 v1 pith:LCKY4S2B submitted 2023-05-10 math.CO

On the number of inequivalent monotone Boolean functions of 9 variables

Bart{\l}omiej Pawelski This is my paper
classification math.CO
keywords booleanfunctionsinequivalentmonotonenumbervariablescalculationequal
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved
0 comments
read the original abstract

We provide the first-ever calculation of the number of inequivalent monotone Boolean functions of 9 variables, which is equal to 789,204,635,842,035,040,527,740,846,300,252,680.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Statistical Estimation of higher Dedekind Numbers

    math.CO 2026-07 conditional novelty 6.0

    Monte Carlo methods (pair matching, reference subsets, weight-layer branching) give D(10)≈8.93×10^78 through D(15)≈3.81×10^1953 with explicit standard errors, beating Korshunov asymptotics.