{"id":"palomar/PALOMAR-2026-08-25-000003","url":"https://github.com/catskillsresearch/scott_models/tree/f0d6af25a06008457d399562ef6e26c11616ac51","json":"https://data.palomar-registry.org/entries/PALOMAR-2026-08-25-000003-v1.json","repo":"https://github.com/catskillsresearch/scott_models","tags":["cs.LO","math.LO","msc:06B35","msc:68Q55","domain-theory","order-theory","lean","formal-verification"],"score":0,"title":"catskillsresearch/scott_models","trust":"high","domain":"cs.LO","source":"palomar","authors":["Lars Warren Ericson"],"reviews":0,"subject":"cs.LO","summary":"Order isomorphisms relating Scott’s three presentations of domains — continuous lattices (1972), neighbourhood systems (PRG-19), and information systems (1982) — including the round identification D ≃o RoundFilter ≃o RoundInfoSysElement and the S-expression equation T ≅ A + (T × T) as |T| ≃o |A + (T × T)| (SexSys.Element ≃o SexRhs.Element). Not a formalization of the three papers. Account: view.pdf.","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"verified":true,"discussed":0,"published":"2026-08-25","reactions":{},"formalized":true}