{"id":"palomar/PALOMAR-2026-10-30-000001","url":"https://github.com/Arthur742Ramos/Math-Formalization/tree/72f60228093835438744c37babc68d80e330f755/causal-efficacy/determination-patterns","json":"https://data.palomar-registry.org/entries/PALOMAR-2026-10-30-000001-v1.json","repo":"https://github.com/Arthur742Ramos/Math-Formalization","tags":["math.LO","msc:03B35","msc:06A06"],"score":0,"title":"Determination Patterns in Infinite Dependency Models","trust":"high","domain":"math.LO","source":"palomar","authors":["Arthur Freitas Ramos"],"reviews":0,"subject":"math.LO","summary":"A Lean development of determination in infinite Boolean dependency models, including pattern realization, attainable determinate regions, contextual uniqueness, source-labelled spines, and a copy-majority representation. The Comparator configurations select separately scoped parts of this development; no single component is asserted to cover the whole paper.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"verified":true,"discussed":0,"published":"2026-10-30","reactions":{},"formalized":true,"formalizes":[{"title":"Determination Patterns in Infinite Dependency Models","identifier":"","relationship":"formalizes"},{"title":"Causal efficacy Isabelle extension","identifier":"https://github.com/Arthur742Ramos/causal-efficacy-isabelle/tree/544f9084c00f4373581d230610e471fe445579e5","relationship":"adapts"}]}