An infinite game on the set of real numbers appeared in Matthew Baker's work [Math. Mag. 80 (2007), no. 5, pp. 377--380] in which he asks whether it can help characterize countable subsets of the reals. This question is in a similar spirit to how the Banach-Mazur Game characterizes meager sets in an arbitrary topological space. In a recent paper, Will Brian and Steven Clontz prove that in Baker's game, Player II has a winning strategy if and only if the payoff set is countable. They also asked if it is possible, in general linear orders, for Player II to have a winning strategy on some uncountable set. To this we give a positive answer and moreover construct, for every infinite cardinal $kappa$, a dense linear order of size $kappa$ on which Player II has a winning strategy on all payoff sets. We finish with some future research questions, further underlining the difficulty in generalizing the characterization of Brian and Clontz to linear orders.
{"title":"Uncountable sets and an infinite linear order game","authors":"Tonatiuh Matos-Wiederhold, Luciano Salvetti","doi":"arxiv-2408.14624","DOIUrl":"https://doi.org/arxiv-2408.14624","url":null,"abstract":"An infinite game on the set of real numbers appeared in Matthew Baker's work\u0000[Math. Mag. 80 (2007), no. 5, pp. 377--380] in which he asks whether it can\u0000help characterize countable subsets of the reals. This question is in a similar\u0000spirit to how the Banach-Mazur Game characterizes meager sets in an arbitrary\u0000topological space. In a recent paper, Will Brian and Steven Clontz prove that in Baker's game,\u0000Player II has a winning strategy if and only if the payoff set is countable.\u0000They also asked if it is possible, in general linear orders, for Player II to\u0000have a winning strategy on some uncountable set. To this we give a positive answer and moreover construct, for every infinite\u0000cardinal $kappa$, a dense linear order of size $kappa$ on which Player II has\u0000a winning strategy on all payoff sets. We finish with some future research\u0000questions, further underlining the difficulty in generalizing the\u0000characterization of Brian and Clontz to linear orders.","PeriodicalId":501306,"journal":{"name":"arXiv - MATH - Logic","volume":"5 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-08-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142187775","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Cut-elimination theorems constitute one of the most important classes of theorems of proof theory. Since Gentzen's proof of the cut-elimination theorem for the system $mathbf{LK}$, several other proofs have been proposed. Even though the techniques of these proofs can be modified to sequent systems other than $mathbf{LK}$, they are essentially of a very particular nature; each of them describes an algorithm to transform a given proof to a cut-free proof. However, due to its reliance on heavy syntactic arguments and case distinctions, such an algorithm makes the fundamental structure of the argument rather opaque. We, therefore, consider rules abstractly, within the framework of logical structures familiar from universal logic `a la Jean-Yves B'eziau, and aim to clarify the essence of the so-called ``elimination theorems''. To do this, we first give a non-algorithmic proof of the cut-elimination theorem for the propositional fragment of $mathbf{LK}$. From this proof, we abstract the essential features of the argument and define something called ``normal sequent structures'' relative to a particular rule. We then prove a version of the rule-elimination theorem for these. Abstracting even more, we define ``abstract sequent structures'' and show that for these structures, the corresponding version of the ``rule''-elimination theorem has a converse as well.
{"title":"Rule-Elimination Theorems","authors":"Sayantan Roy","doi":"arxiv-2408.14581","DOIUrl":"https://doi.org/arxiv-2408.14581","url":null,"abstract":"Cut-elimination theorems constitute one of the most important classes of\u0000theorems of proof theory. Since Gentzen's proof of the cut-elimination theorem\u0000for the system $mathbf{LK}$, several other proofs have been proposed. Even\u0000though the techniques of these proofs can be modified to sequent systems other\u0000than $mathbf{LK}$, they are essentially of a very particular nature; each of\u0000them describes an algorithm to transform a given proof to a cut-free proof.\u0000However, due to its reliance on heavy syntactic arguments and case\u0000distinctions, such an algorithm makes the fundamental structure of the argument\u0000rather opaque. We, therefore, consider rules abstractly, within the framework\u0000of logical structures familiar from universal logic `a la Jean-Yves B'eziau,\u0000and aim to clarify the essence of the so-called ``elimination theorems''. To do\u0000this, we first give a non-algorithmic proof of the cut-elimination theorem for\u0000the propositional fragment of $mathbf{LK}$. From this proof, we abstract the\u0000essential features of the argument and define something called ``normal sequent\u0000structures'' relative to a particular rule. We then prove a version of the\u0000rule-elimination theorem for these. Abstracting even more, we define ``abstract\u0000sequent structures'' and show that for these structures, the corresponding\u0000version of the ``rule''-elimination theorem has a converse as well.","PeriodicalId":501306,"journal":{"name":"arXiv - MATH - Logic","volume":"12 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-08-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142187756","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Consider a definable complete d-minimal expansion $(F, <, +, cdot, 0, 1, dots,)$ of an oredered field $F$. Let $X$ be a definably compact definably normal definable $C^r$ manifold and $2 le r