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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,616

External links

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

Through your library

Similar books and articles

Scott's problem for Proper Scott sets.Victoria Gitman - 2008 - Journal of Symbolic Logic 73 (3):845-860.
Expressive Logics for Coalgebras via Terminal Sequence Induction.Dirk Pattinson - 2004 - Notre Dame Journal of Formal Logic 45 (1):19-33.
Anti-admissible sets.Jacob Lurie - 1999 - Journal of Symbolic Logic 64 (2):407-435.
On Non-wellfounded Sets as Fixed Points of Substitutions.Matti Pauna - 2001 - Notre Dame Journal of Formal Logic 42 (1):23-40.
Zermelo: definiteness and the universe of definable sets.Heinz-Dieter Ebbinghaus - 2003 - History and Philosophy of Logic 24 (3):197-219.
Computability in structures representing a Scott set.Alex M. McAllister - 2001 - Archive for Mathematical Logic 40 (3):147-165.
Sets and Point-Sets: Five Grades of Set-Theoretic Involvement in Geometry.John P. Burgess - 1988 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1988:456 - 463.
Polish group actions and effectivity.Barbara Majcher-Iwanow - 2012 - Archive for Mathematical Logic 51 (5-6):563-573.
Reflecting stationary sets and successors of singular cardinals.Saharon Shelah - 1991 - Archive for Mathematical Logic 31 (1):25-53.

Analytics

Added to PP
2013-11-23

Downloads
25 (#543,202)

6 months
4 (#320,252)

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 Single-Sorted Theory of Multisets.Hoang-Vu Dang - 2014 - Notre Dame Journal of Formal Logic 55 (3):299-332.
A Tractarian Universe.Albert Visser - 2012 - Journal of Philosophical Logic 41 (3):519-545.

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