Games with finitely generated structures

DOI10.1016/J.APAL.2021.103016MaRDI QIDQ6282165arXivFDO

Authors Adam Krawczyk, Wiesław Kubiś

Publication date 20 January 2017

Published in arXiv

Full work available at URL https://doi.org/10.1016/J.APAL.2021.103016

Mathematics Subject Classification ID

Basic properties of first-order languages and structures (03C07) Models with special properties (saturated, rigid, etc.) (03C50)

arXiv classification

math.LO

Abstract: We study the abstract Banach-Mazur game played with finitely generated structures instead of open sets. We characterize the existence of winning strategies aiming at a single countably generated structure. We also introduce the concept of weak Fraisse classes, extending the classical Fraisse theory and revealing its relations to our Banach-Mazur game.

This page was built for publication: Games with finitely generated structures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6282165)