Functional monadic ortholattices and locally finite $\sigma$-free polyadic ortholattices

Chun-Yu Lin; Joseph McDonald

REVIEW

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 2506.08271 v1 pith:6SN2X6LN submitted 2025-06-09 math.LO

Functional monadic ortholattices and locally finite σ-free polyadic ortholattices

Chun-Yu Lin , Joseph McDonald This is my paper

classification math.LO

keywords ortholatticesfunctionalpolyadicfinitefreelocallymonadicsigma

verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

0 comments

read the original abstract

In this paper, we show that every monadic ortholattice is isomorphic to a functional one, thereby resolving a recent question posed by Harding. We then study certain substitution-free reducts of the polyadic ortholattices, which we call locally finite $\sigma$-free polyadic ortholattices, and provide an analogous functional representation result.

Functional monadic ortholattices and locally finite σ-free polyadic ortholattices

discussion (0)