Non-well-founded sets modeled as ideal fixed points

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

Authors: Michael Mislove, Lawrence S. Moss, 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
• Title not available (Why is that?)
• On the algebraic specification of infinite objects - ordered and continuous models of algebraic types
• Title not available (Why is that?)
• 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?)

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
• Non-well-founded extensions of V
• 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

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)