English
Related papers

Related papers: Team games, hypergraph spaces, and projective Bool…

200 papers

This paper has two parts. The first is concerned with a variant of a family of games introduced by Holy and Schlicht, that we call \emph{Welch games}. Player II having a winning strategy in the Welch game of length $\omega$ on $\kappa$ is…

Logic · Mathematics 2023-08-08 Matthew Foreman , Menachem Magidor , Martin Zeman

This article is devoted to two different generalizations of projective Boolean algebras: openly generated Boolean algebras and tightly sigma-filtered Boolean algebras. We show that for every uncountable regular cardinal kappa there are…

Logic · Mathematics 2007-05-23 Stefan Geschke , Saharon Shelah

We study a two-parameter generalization of the Freese-Nation Property of boolean algebras and its order-theoretic and topological consequences. For every regular infinite \kappa, the (\kappa,\kappa)-FN, the (\kappa^+,\kappa)-FN, and the…

Logic · Mathematics 2014-12-24 David Milovich

We introduce an analog to the notion of Polish space for spaces of weight $\leq\kappa$, where $\kappa$ is an uncountable regular cardinal such that $\kappa^{<\kappa}=\kappa$. Specifically, we consider spaces in which player II has a winning…

Logic · Mathematics 2019-08-16 Samuel Coskey , Philipp Schlicht

We investigate forms of filter extension properties in the two-cardinal setting involving filters on $P_\kappa(\lambda)$. We generalize the filter games introduced by Holy and Schlicht in \cite{HolySchlicht:HierarchyRamseyLikeCardinals} to…

Logic · Mathematics 2026-02-20 Tom Benhamou , Victoria Gitman

Hirschfeldt and Jockusch (2016) introduced a two-player game in which winning strategies for one or the other player precisely correspond to implications and non-implications between $\Pi^1_2$ principles over $\omega$-models of…

Logic · Mathematics 2021-12-02 Damir D. Dzhafarov , Denis R. Hirschfeldt , Sarah C. Reitzes

Complete Boolean algebras proved to be an important tool in topology and set theory. Two of the most prominent examples are B(kappa), the algebra of Borel sets modulo measure zero ideal in the generalized Cantor space {0,1}^kappa equipped…

Logic · Mathematics 2016-09-06 Saharon Shelah , Jindřich Zapletal

We study the determinacy of the game G_kappa (A) introduced in [FKSh:549] for uncountable regular kappa and several classes of partial orderings A. Among trees or Boolean algebras, we can always find an A such that G_kappa (A) is…

Logic · Mathematics 2016-09-06 Sakaé Fuchino , Sabine Koppelberg , Saharon Shelah

We study the interplay between properties of measures on a Boolean algebra A and forcing names for ultrafilters on A. We show that several well known measure theoretic properties of Boolean algebras (such as supporting a strictly positive…

Logic · Mathematics 2021-05-13 Piotr Borodulin-Nadzieja , Katarzyna Cegiełka

Admissibility has been studied for games of infinite duration with Boolean objectives. We extend here this study to games of infinite duration with quantitative objectives. First, we show that, un- der the assumption that optimal worst-case…

Logic in Computer Science · Computer Science 2016-11-29 Romain Brenguier , Guillermo A. Pérez , Jean-François Raskin , Ocan Sankur

The role of coalgebras as well as algebraic groups in non-commutative probability has long been advocated by the school of von Waldenfels and Sch\"urmann. Another algebraic approach was introduced more recently, based on shuffle and pre-Lie…

Rings and Algebras · Mathematics 2024-09-24 Ilya Chevyrev , Kurusch Ebrahimi-Fard , Frédéric Patras

We make use of a forcing technique for extending Boolean algebras. The same type of forcing was employed in [BK81], [Kos99], and elsewhere. Using and modifying a lemma of Koszmider, and using CH, we obtain an atomless BA, A such that f(A) =…

Logic · Mathematics 2013-12-10 Kevin Selker

We study two-player games with alternating moves played on infinite trees. Our main focus is on the case where the trees are full (regular) and the winning set is open (with respect to the product topology on the tree). Gale and Stewart…

Optimization and Control · Mathematics 2026-02-17 Dean Kraizberg

The logic $\mathcal L^1_\kappa$ was introduced by Shelah in [3]. In [4], he proved that for a strongly compact cardinal $\kappa$, it admits the following algebraic characterization: two structures are $\mathcal L^1_\kappa$-equivalent if and…

Logic · Mathematics 2023-03-21 Siiri Kivimaki , Boban Velickovic

Brandenburger, Friedenberg, and Keisler provide an epistemic characterization of iterated admissibility (IA), also known as iterated deletion of weakly dominated strategies, where uncertainty is represented using LPSs (lexicographic…

Computer Science and Game Theory · Computer Science 2019-07-23 Joseph Y. Halpern , Rafael Pass

We prove that if there are $\mathfrak c$ incomparable selective ultrafilters then, for every infinite cardinal $\kappa$ such that $\kappa^\omega=\kappa$, there exists a group topology on the free Abelian group of cardinality $\kappa$…

Logic · Mathematics 2021-03-25 M. K. Bellini , K. P. Hart , V. O. Rodrigues , A. H. Tomita

In this paper we propose a game-theoretic model to analyze events similar to the 2009 \emph{DARPA Network Challenge}, which was organized by the Defense Advanced Research Projects Agency (DARPA) for exploring the roles that the Internet and…

Computer Science and Game Theory · Computer Science 2013-01-31 Rajesh Chitnis , MohammadTaghi Hajiaghayi , Jonathan Katz , Koyel Mukherjee

We consider homogeneity properties of Boolean algebras that have nonprincipal ultrafilters which are countably generated.It is shown that a Boolean algebra B is homogeneous if it is the union of countably generated nonprincipal ultrafilters…

Logic · Mathematics 2007-05-23 Stefan Geschke , Saharon Shelah

Assume $\kappa = \kappa^{< \kappa}$ (usually $\aleph_0$ or an inaccessible). We shall deal with iterated forcings preserving ${}^{\kappa>}{\rm Ord}$ and not collapsing cardinals along a linear order $L$. A sufficient condition for this,…

Logic · Mathematics 2026-03-19 Saharon Shelah

We give a new proof of a theorem of Shelah which states that for every family of labeled trees, if the cardinality $\kappa$ of the family is much larger (in the sense of large cardinals) than the cardinality $\lambda$ of the set of labels,…

Logic · Mathematics 2019-08-08 Trevor M. Wilson
‹ Prev 1 2 3 10 Next ›