Finality regained: A coalgebraic study of Scott-sets and multisets [Book Review]

&
Archive for Mathematical Logic 41 (3):267-298 (2002)
  Copy   BIBTEX

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="" Mathematics Subject Classification (2000): 03B45, 03E65, 03E70, 18A15, 18A22, 18B05, 68Q85 RID=""ID="" Key words or phrases: Multiset – Non-wellfounded set – Scott-universe – AFA – Coalgebra – Modal logic – Graded modalities

Categories

Keywords

Reprint years

DOI

10.1007/s001530100110

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,449

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Extensions of Hałkowska–Zajac's three-valued paraconsistent logic.Alexej P. Pynko - 2002 - Archive for Mathematical Logic 41 (3):299-307.
The algebraic structure of the isomorphic types of tally, polynomial time computable sets.Yongge Wang - 2002 - Archive for Mathematical Logic 41 (3):215-244.
Isolation and the high/low hierarchy.Shamil Ishmukhametov & Guohua Wu - 2002 - Archive for Mathematical Logic 41 (3):259-266.
A non-well-founded primitive recursive tree provably well-founded for co-r.e. sets.Arnold Beckmann - 2002 - Archive for Mathematical Logic 41 (3):251-257.
Strongly meager and strong measure zero sets.Tomek Bartoszyński & Saharon Shelah - 2002 - Archive for Mathematical Logic 41 (3):245-250.
Non‐circular, non‐well‐founded set universes.Athanassios Tzouvaras - 1993 - Mathematical Logic Quarterly 39 (1):454-460.
Classification of non‐well‐founded sets and an application.Nitta Takashi, Okada Tomoko & Athanassios Tzouvaras - 2003 - Mathematical Logic Quarterly 49 (2):187-200.
The logic of multisets continued: The case of disjunction.Athanassios Tzouvaras - 2003 - Studia Logica 75 (3):287 - 304.
Bounded Scott Set Saturation.Alex M. McAllister - 2002 - Mathematical Logic Quarterly 48 (2):245-259.
Anti-admissible sets.Jacob Lurie - 1999 - Journal of Symbolic Logic 64 (2):407-435.

Analytics

Added to PP
2013-11-23

Downloads
43 (#543,787)

6 months
7 (#469,699)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Non-wellfounded set theory.Lawrence S. Moss - 2008 - Stanford Encyclopedia of Philosophy.
A Tractarian Universe.Albert Visser - 2012 - Journal of Philosophical Logic 41 (3):519-545.
A Single-Sorted Theory of Multisets.Hoang-Vu Dang - 2014 - Notre Dame Journal of Formal Logic 55 (3):299-332.

Add more citations

References found in this work

Coalgebraic logic.Lawrence S. Moss - 1999 - Annals of Pure and Applied Logic 96 (1-3):277-317.

Add more references