{"id":"palomar/PALOMAR-2026-09-18-000006","url":"https://github.com/AGPatriota/Birnbaum_Theorem_VennDiagrams/tree/03bd70414f15ae7abbbd840a032022ef7337e9c2","json":"https://data.palomar-registry.org/entries/PALOMAR-2026-09-18-000006-v1.json","repo":"https://github.com/AGPatriota/Birnbaum_Theorem_VennDiagrams","tags":["math.ST","msc:62A01","msc:62B05","statistical-inference","foundations","lean","likelihood"],"score":0,"title":"Birnbaum’s principles in Venn diagrams: Extended version with Lean verification","trust":"high","domain":"math.ST","source":"palomar","authors":["Jaime Enrique Lincovil Curivil","Alexandre Galvão Patriota"],"reviews":0,"subject":"math.ST","summary":"We reformulate Birnbaum's theorem as a statement about classes of statistical procedures that preserve statistical relations, and show that the proof reduces to the propagation of evidential equality along chains of conditionality-related inference bases (experiment–observation pairs). For finite parameter spaces with at least two points, the sufficiency relation and the conditionality relation are incomparable, yet the corresponding preservation classes are nested. The class of likelihood-invariant procedures with codomain [0, 1] is strictly contained in the class of sufficiency-invariant…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"verified":true,"discussed":0,"published":"2026-09-18","reactions":{},"formalized":true,"formalizes":[{"title":"Birnbaum’s principles in Venn diagrams: Extended version with Lean verification","identifier":"Lincovil Curivil, J. E., and Patriota, A. G. (2026). Birnbaum's principles in Venn diagrams: Extended version with Lean verification.","relationship":"formalizes"},{"title":"What does the proof of Birnbaum’s theorem prove?","identifier":"https://doi.org/10.1214/13-EJS857","relationship":"adapts"}]}