Skip to main content
SpringerLink
Log in

Finality regained: A coalgebraic study of Scott-sets and multisets

  • Published:
Archive for Mathematical Logic Aims and scope Submit manuscript

Abstract

 In this paper we study iterated circular multisets in a coalgebraic framework. We will produce two essentially different universes of such sets. The unisets of the first universe will be shown to be precisely the sets of the Scott universe. The unisets of the second universe will be precisely the sets of the AFA-universe. We will have a closer look into the connection of the iterated circular multisets and arbitrary trees. RID=""ID="" <E5>Mathematics Subject Classification (2000):</E5> 03B45, 03E65, 03E70, 18A15, 18A22, 18B05, 68Q85 RID=""ID="" <E5>Key words or phrases:</E5> Multiset &ndash; Non-wellfounded set &ndash; Scott-universe &ndash; AFA &ndash; Coalgebra &ndash; Modal logic &ndash; Graded modalities

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Author information

Authors and Affiliations

  1. Udine University, Department of Mathematics and Computer Science Viale delle Scienze 206, 33100 Udine, Italy. e-mail: dagostin@dimi.uniud.it, , , , , , IT

    Giovanna D'Agostino

  2. Utrecht University, Department of Philosophy Heidelberglaan 8, 3584 CS Utrecht, The Netherlands. e-mail: Albert.Visser@phil.uu.nl, , , , , , NL

    Albert Visser

Authors
  1. Giovanna D'Agostino
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Albert Visser
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

Received: 15 March 2000 / Published online: 25 February 2002

RID=""

ID="" <E5>Mathematics Subject Classification (2000):</E5> 03B45, 03E65, 03E70, 18A15, 18A22, 18B05, 68Q85

RID=""

ID="" <E5>Key words or phrases:</E5> Multiset &ndash; Non-wellfounded set &ndash; Scott-universe &ndash; AFA &ndash; Coalgebra &ndash; Modal logic &ndash; Graded modalities

Rights and permissions

Reprints and permissions

About this article

Cite this article

D'Agostino, G., Visser, A. Finality regained: A coalgebraic study of Scott-sets and multisets . Arch. Math. Logic 41 , 267 –298 (2002). https://doi.org/10.1007/s001530100110

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/s001530100110

Keywords

Search

Navigation