Non-well-founded sets modeled as ideal fixed points

DOI10.1016/0890-5401(91)90051-3zbMath0723.03031OpenAlexW2022120401MaRDI QIDQ757360

Lawrence S. Moss, Michael W. 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

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

Related Items (12)

A general construction of hyperuniverses ⋮ Full abstraction and recursion ⋮ Processes and hyperuniverses ⋮ Linear ordering on graphs, anti-founded sets and polynomial time computability ⋮ Hypersets ⋮ Non‐well‐founded extensions of \documentclass{article}\usepackage{amssymb}\begin{document}\pagestyle{empty}$\mathbf {V}$\end{document} ⋮ On the final sequence of a finitary set functor ⋮ Models for a paraconsistent set theory ⋮ Free set algebras satisfying systems of equations ⋮ Topology, domain theory and theoretical computer science ⋮ Coalgebraic logic ⋮ A category of compositional domain-models for separable Stone spaces.

Cites Work

• Calculi for synchrony and asynchrony
• On the algebraic specification of infinite objects - ordered and continuous models of algebraic types
• The Category-Theoretic Solution of Recursive Domain Equations
• A Powerdomain Construction
• Initial Algebra Semantics and Continuous Algebras
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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