Games on base matrices
Logic
2022-03-08 v1
Abstract
Using a game characterization of distributivity, we show that base matrices for of regular height larger than necessarily have maximal branches which are not cofinal.
Keywords
Cite
@article{arxiv.2203.02581,
title = {Games on base matrices},
author = {Vera Fischer and Marlene Koelbing and Wolfgang Wohofsky},
journal= {arXiv preprint arXiv:2203.02581},
year = {2022}
}
Comments
4 pages