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

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

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.
Another proof of Wojtylak's theorem.Jacek Hawranek & Jan Zygmunt - 1981 - Bulletin of the Section of Logic 10 (2):80-81.
On a certain method of producing logical matrices.Zdzislaw Dywan - 1985 - Bulletin of the Section of Logic 14 (1):2-5.
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 "R"[Symbol] matrices.Robert K. Meyer - 1983 - Notre Dame Journal of Formal Logic 24:450-472.

Analytics

Added to PP
2023-06-30

Downloads
11 (#1,149,206)

6 months
6 (#700,872)

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.
Towers in ω omega and omega ω.Peter Lars Dordal - 1989 - Annals of Pure and Applied Logic 45 (3):247.

Add more references