Baire Category Lower Density Operators with Borel Values

Artur Wachowicz; Jacek Hejduk; Marek Balcerzak

Baire Category Lower Density Operators with Borel Values

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 2207.06821 v1 pith:GRYO2E6H submitted 2022-07-14 math.GN

Marek Balcerzak , Jacek Hejduk , Artur Wachowicz This is my paper

classification math.GN

keywords densitybaireborelcategorylowervaluesclassoperator

verification ladder T0 review T1 audit T2 compute T3 formal

0 comments

abstract

We prove that the lower density operator associated with the Baire category density points in the real line has Borel values of class $\pmb \Pi^0_3$ which is analogous to the measure case. We also introduce the notion of the Baire category density point of a subset with the Baire property of the Cantor space, and we prove that it generates a lower density operator with Borel values of class $\pmb \Pi^0_3$.

Discussion (0). Sign in to comment.

Forward citations

Cited by 1 Pith paper

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

Calibrated Selective Fact-Checking via Evidence Chain Evaluation
cs.AI 2026-04 conditional novelty 4.0 of 10

A tool-using LLM fact-checker that abstains on 6 of 95 claims reaches 97.8% accuracy on answered claims, but a simpler search baseline remains more accurate and better calibrated.

Pith tools