Lics

IEEE Symposium on Logic in Computer Science

LICS Home - LICS Awards - LICS Newsletters - LICS Archive - LICS Organization - Logic-Related Conferences - Links

Fourth Annual IEEE Symposium on

Logic in Computer Science (LICS 1989)

Paper: Non-well-founded sets obtained from ideal fixed points (at LICS 1989)

Authors: Michael W. Mislove Lawrence S. Moss Frank J. Oles

Abstract

Motivated by ideas from the study of abstract data types, the authors show how to interpret non-well-founded sets as fixed points of continuous transformations of an initial continuous algebra. They consider a preordered structure closely related to the set HF of well-founded, hereditarily finite sets. By taking its ideal completion, the authors obtain an initial continuous algebra in which they are able to solve all of the usual systems of equations that characterize hereditarily finite, non-well-founded sets. In this way, they are able to obtain a structure which is isomorphic to HF1, the non-well-founded analog to HF

BibTeX

  @InProceedings{MisloveMossOles-Nonwellfoundedsetso,
    author = 	 {Michael W. Mislove and Lawrence S. Moss and Frank J. Oles},
    title = 	 {Non-well-founded sets obtained from ideal fixed points},
    booktitle =  {Proceedings of the Fourth Annual IEEE Symposium on Logic in Computer Science (LICS 1989)},
    year =	 {1989},
    month =	 {June}, 
    pages =      {263--272},
    location =   {Pacific Grove, CA, USA}, 
    publisher =	 {IEEE Computer Society Press}
  }
   

Last modified: 2018-06-2121:59
Andrzej Murawski