Non-well-founded sets modeled as ideal fixed points
type: Item
instance of: scholarly article
title: Non-well-founded sets modeled as ideal fixed points
zbMATH Open document ID: 0723.03031
DOI: 10.1016/0890-5401(91)90051-3
author: Michael Mislove
author: Lawrence S. Moss
author: Frank J. Oles
published in: Information and Computation
publication date: 1991-01-01T00:00:00Z
review text: See the review of the preliminary short version in Logic in computer science, Proc. 4th Annual Symp., Pacific Grove/CA (USA) 1989, 263-272 (1989; Zbl 0717.03023).
Mathematics Subject Classification ID: 03E65
Mathematics Subject Classification ID: 68Q65
Mathematics Subject Classification ID: 06B35
zbMATH DE Number: 4191618
zbMATH Keywords: abstract data types
zbMATH Keywords: non-well-founded sets
zbMATH Keywords: fixed points of continuous transformations of an initial continuous algebra
zbMATH Keywords: preordered structure
zbMATH Keywords: well-founded, hereditarily finite sets
zbMATH Keywords: ideal completion
MaRDI profile type: Publication
full work available at URL: 0890-5401(91)90051-3
OpenAlex ID: W2022120401
cites work: Q3992552
cites work: Initial Algebra Semantics and Continuous Algebras
cites work: Q3483262
cites work: Q3898534
cites work: Q5202184
cites work: Q3997501
cites work: Calculi for synchrony and asynchrony
cites work: Q3204456
cites work: On the algebraic specification of infinite objects - ordered and continuous models of algebraic types
cites work: A Powerdomain Construction
cites work: The Category-Theoretic Solution of Recursive Domain Equations
description: scientific article; zbMATH DE number 4191618