Grzegorczyk Points and Filters in Boolean Contact Algebras

Review of Symbolic Logic 16 (2):509-528 (2023)
  Copy   BIBTEX

Abstract

The purpose of this paper is to compare the notion of a Grzegorczyk point introduced in [19] (and thoroughly investigated in [3, 14, 16, 18]) to the standard notions of a filter in Boolean algebras and round filter in Boolean contact algebras. In particular, we compare Grzegorczyk points to filters and ultrafilters of atomic and atomless algebras. We also prove how a certain extra axiom influences topological spaces for Grzegorczyk contact algebras. Last but not least, we do not refrain from a philosophical interpretation of the results from the paper.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,990

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

Analytics

Added to PP
2023-05-18

Downloads
17 (#866,139)

6 months
10 (#382,663)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Rafał Gruszczyński
Nicolaus Copernicus University
Andrzej Pietruszczak
Nicolaus Copernicus University