scientific article

zbMath0717.03023MaRDI QIDQ3204456

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

Publication date: 1989

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

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

A structural co-induction theorem, Non-well-founded sets modeled as ideal fixed points