Games on base matrices

2022/03/04 by Fischer, Vera, Koelbing, Marlene, Wohofsky, Wolfgang
#03E05 (Primary) 03E17 (Secondary) #FOS: Mathematics #Logic (math.LO)

paper · doi:10.48550/arxiv.2203.02581

Abstract

Using a game characterization of distributivity, we show that base matrices for P(ω)/fin of regular height larger than \mathfrakh necessarily have maximal branches which are not cofinal.

Related

• Base matrices of various heights
• On heights of distributivity matrices
• Games in the matrix
• A look back at the core of games in characteristic function form: some new axiomatization results
• The distributivity numbers of of P(om) /fin and its square