DROPS

Document

DOI: 10.4230/LIPIcs.LICS.2026.74

From Co-Coverages to Radicals in Complete Lattices

Authors: Daniel Misselbeck-Wessel

Published in: LIPIcs, Volume 380, 41st Annual Symposium on Logic in Computer Science (LICS 2026)

Abstract

Completeness and representation theorems in abstract algebra, lattice theory, and theoretical computer science are tied to the existence of ideal objects, and thus to transfinite methods such as Zorn’s lemma. Yet many concrete uses of those theorems appeal to finite approximations only, which carry a clear computational meaning. In this paper, we introduce co-coverages on complete lattices as a uniform way to specify ideal elements, and associate to each co-coverage a canonical closure operator with a folding property reminiscent of the covering principles at work in constructive algebra. This yields finitary, choice-free alternatives for arguments in which ideal objects are employed to reduce a computational problem to subcases. In a classical setting, our closure operators admit bases which allow to recover a host of primality principles such as the universal Krull–Lindenbaum theorem and Henkin’s lemma.

Cite as

Daniel Misselbeck-Wessel. From Co-Coverages to Radicals in Complete Lattices. In 41st Annual Symposium on Logic in Computer Science (LICS 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 380, pp. 74:1-74:29, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)

Copy BibTex To Clipboard

@InProceedings{misselbeckwessel:LIPIcs.LICS.2026.74,
  author =	{Misselbeck-Wessel, Daniel},
  title =	{{From Co-Coverages to Radicals in Complete Lattices}},
  booktitle =	{41st Annual Symposium on Logic in Computer Science (LICS 2026)},
  pages =	{74:1--74:29},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-434-5},
  ISSN =	{1868-8969},
  year =	{2026},
  volume =	{380},
  editor =	{Faggian, Claudia and Katoen, Joost-Pieter},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.LICS.2026.74},
  URN =		{urn:nbn:de:0030-drops-268619},
  doi =		{10.4230/LIPIcs.LICS.2026.74},
  annote =	{Keywords: Closure operator, prime element, spectrum, completeness theorem, point-free topology, transfinite method, dynamical algebra}
}

Search Results

Documents authored by Misselbeck-Wessel, Daniel

From Co-Coverages to Radicals in Complete Lattices

Abstract

Cite as

Thanks for your feedback!

Could not send message