The logic of comparative cardinality

, &
Journal of Symbolic Logic 85 (3):972-1005 (2020)
  Copy   BIBTEX

Abstract

This paper investigates the principles that one must add to Boolean algebra to capture reasoning not only about intersection, union, and complementation of sets, but also about the relative size of sets. We completely axiomatize such reasoning under the Cantorian definition of relative size in terms of injections.

Categories

Keywords

Reprint years

DOI

10.1017/jsl.2019.67

Other Versions

No versions found

Links

PhilArchive



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

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

Boolean Constructions Of Independent Sets Of Generators For Filters.Joanna Grygiel - 2001 - Reports on Mathematical Logic:75-85.
The spectrum of partitions of a Boolean algebra.J. Donald Monk - 2001 - Archive for Mathematical Logic 40 (4):243-254.
Choice-free stone duality.Nick Bezhanishvili & Wesley H. Holliday - 2020 - Journal of Symbolic Logic 85 (1):109-148.
Proper and piecewise proper families of reals.Victoria Gitman - 2009 - Mathematical Logic Quarterly 55 (5):542-550.
On infinite size.Bruno Whittle - 2015 - Oxford Studies in Metaphysics 9:3-19.
On well-generated Boolean algebras.Robert Bonnet & Matatyahu Rubin - 2000 - Annals of Pure and Applied Logic 105 (1-3):1-50.
Level Theory, Part 3: A Boolean Algebra of Sets Arranged in Well-Ordered Levels.Tim Button - 2022 - Bulletin of Symbolic Logic 28 (1):1-26.
Effective Presentability of Boolean Algebras of Cantor-Bendixson Rank 1.Rod Downey & Carl G. Jockusch - 1999 - Journal of Symbolic Logic 64 (1):45-52.
On the Homogeneous Countable Boolean Contact Algebra.Ivo Düntsch & Sanjiang Li - 2013 - Logic and Logical Philosophy 22 (2):213-251.
Minimum‐sized Infinite Partitions of Boolean Algebras.J. Donald Monk - 1996 - Mathematical Logic Quarterly 42 (1):537-550.

Analytics

Added to PP
2020-01-15

Downloads
64 (#348,963)

6 months
4 (#909,732)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Yifeng Ding
Peking University
Wesley H. Holliday
University of California, Berkeley

Citations of this work

Axiomatization of modal logic with counting.Xiaoxuan Fu & Zhiguang Zhao - forthcoming - Logic Journal of the IGPL.
Modal Logic with “Most”.Xiaoxuan Fu & Zhiguang Zhao - forthcoming - Studia Logica:1-41.

Add more citations

References found in this work

[Omnibus Review].Thomas Jech - 1992 - Journal of Symbolic Logic 57 (1):261-262.
Qualitative probability as an intensional logic.Peter Gärdenfors - 1975 - Journal of Philosophical Logic 4 (2):171 - 185.
Set Theory.Thomas Jech - 1999 - Studia Logica 63 (2):300-300.

View all 7 references / Add more references