Games on Base Matrices

, &
Notre Dame Journal of Formal Logic 64 (2):247-251 (2023)
  Copy   BIBTEX

Abstract

We show that base matrices for P(ω)∕fin of regular height larger than h necessarily have maximal branches that are not cofinal. The same holds for base matrices of height h if tSpoiler

Categories

Keywords

Reprint years

DOI

10.1215/00294527-10701451

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 106,894

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

A model in which the base-matrix tree cannot have cofinal branches.Peter Lars Dordal - 1987 - Journal of Symbolic Logic 52 (3):651-664.
Counterexamples to the Unique and Cofinal Branches Hypotheses.Itay Neeman & John Steel - 2006 - Journal of Symbolic Logic 71 (3):977 - 988.
Maximal full matrices.Biswambhar Pahi - 1972 - Notre Dame Journal of Formal Logic 13 (1):142-144.
Squares and covering matrices.Chris Lambie-Hanson - 2014 - Annals of Pure and Applied Logic 165 (2):673-694.
Reduced products of logical matrices.Janusz Czelakowski - 1980 - Studia Logica 39 (1):19 - 43.
N-valued maximal paraconsistent matrices.Adam Trybus - 2019 - Journal of Applied Non-Classical Logics 29 (2):171-183.
On a certain method of producing logical matrices.Zdzislaw Dywan - 1985 - Bulletin of the Section of Logic 14 (1):2-5.
Another proof of Wojtylak's theorem.Jacek Hawranek & Jan Zygmunt - 1981 - Bulletin of the Section of Logic 10 (2):80-81.
On infinite matrices and the paradoxes of material implication.W. C. Wilcox - 1970 - Notre Dame Journal of Formal Logic 11 (2):254-256.
A note on ${\rm R}_{\rightarrow}$ matrices.Robert K. Meyer - 1983 - Notre Dame Journal of Formal Logic 24 (4):450-472.

Analytics

Added to PP
2023-06-30

Downloads
27 (#925,784)

6 months
13 (#267,047)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Fresh function spectra.Vera Fischer, Marlene Koelbing & Wolfgang Wohofsky - 2023 - Annals of Pure and Applied Logic 174 (9):103300.

Add more citations

References found in this work

Towers in [ω]ω and ωω.Peter Lars Dordal - 1989 - Annals of Pure and Applied Logic 45 (3):247-276.

Add more references