Generalising the fan theorem

Mathematical Logic Quarterly 63 (1-2):85-93 (2017)
  Copy   BIBTEX

Abstract

We characterise the collections of infinite binary sequences that, when barred by a set of finite binary sequences, are also barred by a finite subset of such a set.

Categories

Keywords

Reprint years

DOI

10.1002/malq.201500016

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,880

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

Factorials and the finite sequences of sets.Nattapon Sonpanow & Pimpen Vejjajiva - 2019 - Mathematical Logic Quarterly 65 (1):116-120.
Relations between cardinalities of the finite sequences and the finite subsets of a set.Navin Aksornthong & Pimpen Vejjajiva - 2018 - Mathematical Logic Quarterly 64 (6):529-534.
Binary Refinement Implies Discrete Exponentiation.Peter Aczel, Laura Crosilla, Hajime Ishihara, Erik Palmgren & Peter Schuster - 2006 - Studia Logica 84 (3):361-368.
Designing Paradoxes: A Revision-theoretic Approach.Ming Hsiung - 2022 - Journal of Philosophical Logic 51 (4):739-789.
Grasping Infinity by Finite Sets.Ferrante Formato & Giangiacomo Gerla - 1998 - Mathematical Logic Quarterly 44 (3):383-393.
Generalizations of Cantor's theorem in ZF.Guozhen Shen - 2017 - Mathematical Logic Quarterly 63 (5):428-436.
Factorials of infinite cardinals in zf part II: Consistency results.Guozhen Shen & Jiachen Yuan - 2020 - Journal of Symbolic Logic 85 (1):244-270.
Sequential topologies and Dedekind finite sets.Jindřich Zapletal - 2022 - Mathematical Logic Quarterly 68 (1):107-109.
An isolic generalization of Cauchy's theorem for finite groups.J. C. E. Dekker - 1990 - Archive for Mathematical Logic 29 (4):231-236.
Binary Relations: Finite Characterizations and Computational Complexity. [REVIEW]Vicki Knoblauch - 2008 - Theory and Decision 65 (1):27-44.

Analytics

Added to PP
2017-04-29

Downloads
11 (#1,433,119)

6 months
4 (#1,288,968)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Inductively generated formal topologies.Thierry Coquand, Giovanni Sambin, Jan Smith & Silvio Valentini - 2003 - Annals of Pure and Applied Logic 124 (1-3):71-106.
Sublocales in Formal Topology.Steven Vickers - 2007 - Journal of Symbolic Logic 72 (2):463 - 482.

Add more references