Non-well-founded sets modeled as ideal fixed points

DOI10.1016/0890-5401(91)90051-3zbMATH Open0723.03031OpenAlexW2022120401MaRDI QIDQ757360FDOQ757360

Lawrence S. Moss, Michael Mislove, Frank J. Oles

Publication date: 1991

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0890-5401(91)90051-3

zbMATH Keywords

abstract data typesideal completionnon-well-founded setsfixed points of continuous transformations of an initial continuous algebrapreordered structurewell-founded, hereditarily finite sets

Mathematics Subject Classification ID

Continuous lattices and posets, applications (06B35) Abstract data types; algebraic specification (68Q65) Other set-theoretic hypotheses and axioms (03E65)

Cites Work

• The Category-Theoretic Solution of Recursive Domain Equations
• Initial Algebra Semantics and Continuous Algebras
• Calculi for synchrony and asynchrony
• On the algebraic specification of infinite objects - ordered and continuous models of algebraic types
• A Powerdomain Construction
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (15)

• Full abstraction and recursion
• On the final sequence of a finitary set functor
• On non-wellfounded sets as fixed points of substitutions
• Free set algebras satisfying systems of equations
• Models for a paraconsistent set theory
• A model with a precipitous ideal, but no normal precipitous ideal
• A category of compositional domain-models for separable Stone spaces.
• Coalgebraic logic
• Title not available (Why is that?)
• A general construction of hyperuniverses
• Topology, domain theory and theoretical computer science
• Hypersets
• Linear ordering on graphs, anti-founded sets and polynomial time computability
• Processes and hyperuniverses
• Non‐well‐founded extensions of \documentclass{article}\usepackage{amssymb}\begin{document}\pagestyle{empty}$\mathbf {V}$\end{document}

This page was built for publication: Non-well-founded sets modeled as ideal fixed points

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q757360)