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
abstract data typesideal completionnon-well-founded setsfixed points of continuous transformations of an initial continuous algebrapreordered structurewell-founded, hereditarily finite sets
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)
