English
Related papers

Related papers: Selection principles and countable dimension

200 papers

Characterizations of paracompact finite $C$-spaces via continuous selections are given. We apply these results to obtain some properties of finite $C$-spaces. Factorization theorems and a completion theorem for finite $C$- spaces are also…

General Topology · Mathematics 2016-09-07 Vesko Valov

We generalize the differential dimension polynomial from prime differential ideals to characterizable differential ideals. Its computation is algorithmic, its degree and leading coefficient remain differential birational invariants, and it…

Commutative Algebra · Mathematics 2014-01-25 Markus Lange-Hegermann

We consider two-player games played over finite state spaces for an infinite number of rounds. At each state, the players simultaneously choose moves; the moves determine a successor state. It is often advantageous for players to choose…

Logic in Computer Science · Computer Science 2015-07-01 Luca de Alfaro , Rupak Majumdar , Vishwanath Raman , Mariëlle Stoelinga

This work presents the selection principle $S_1^*(\tau_x,CD)$ that characterizes $q$-points. We also discuss the induced topological game $G_1^*(\tau_x,CD)$ and its relations with $W$-points and $\widetilde{W}$-points, as well as with the…

General Topology · Mathematics 2022-06-06 Dione Andrade Lara , Renan Maneli Mezabarba

We study compressible types in the context of (local and global) NIP. By extending a result in machine learning theory (the existence of a bound on the recursive teaching dimension), we prove density of compressible types. Using this, we…

Logic · Mathematics 2026-04-02 Martin Bays , Itay Kaplan , Pierre Simon

In contrast to the usual understanding of probabilistic systems as stochastic processes, recently these systems have also been regarded as transformers of probabilities. In this paper, we give a natural definition of strong bisimulation for…

Logic in Computer Science · Computer Science 2014-05-12 Holger Hermanns , Jan Krčál , Jan Křetínský

Infinite-state games are a commonly used model for the synthesis of reactive systems with unbounded data domains. Symbolic methods for solving such games need to be able to construct intricate arguments to establish the existence of winning…

Logic in Computer Science · Computer Science 2024-05-16 Anne-Kathrin Schmuck , Philippe Heim , Rayna Dimitrova , Satya Prakash Nayak

The amount of information in the form of features and variables avail- able to machine learning algorithms is ever increasing. This can lead to classifiers that are prone to overfitting in high dimensions, high di- mensional models do not…

Machine Learning · Computer Science 2014-02-12 Aaron Karper

Evolutionary game theory has proven to be an elegant framework providing many fruitful insights in population dynamics and human behaviour. Here, we focus on the aspect of behavioural plasticity and its effect on the evolution of…

Populations and Evolution · Quantitative Biology 2020-09-29 M. Kleshnina , K. Kaveh , K. Chatterjee

The two main results of this work are the following: if a space $X$ is such that player II has a winning strategy in the game $\gone(\Omega_x, \Omega_x)$ for every $x \in X$, then $X$ is productively countably tight. On the other hand, if a…

General Topology · Mathematics 2014-04-08 Leandro F. Aurichi , Angelo Bella

Something is definitely wrong. If the game has a linear winning strategy, then it is tractable. What's going on? Well, we describe a two-person game which has a definite winner, that is, a player who can force a win in a finite number of…

Combinatorics · Mathematics 2016-09-07 Aviezri S. Fraenkel

Inspired by the theory of desirable gambles that is used to model uncertainty in the field of imprecise probabilities, I present a theory of desirable things. Its aim is to model a subject's beliefs about which things are desirable. What…

Artificial Intelligence · Computer Science 2023-05-12 Jasper De Bock

We present a selection principle $S_1(\mathcal{O},\mathcal{H})$ that characterizes the $G_{\delta}$-diagonal property. We also present a topological game induced by this selection principle and we study the relations between this game and…

General Topology · Mathematics 2016-11-23 Leandro F. Aurichi , Dione A. Lara

This paper deals with different concepts for characterizing the size of mathematical objects. A game theoretic investigation and generalization of two size concepts, which can both be formulated in topological terms, is provided: the so…

Logic · Mathematics 2014-06-13 Falko Weigt

We introduce quantitative reductions, a novel technique for structuring the space of quantitative games and solving them that does not rely on a reduction to qualitative games. We show that such reductions exhibit the same desirable…

Computer Science and Game Theory · Computer Science 2018-09-12 Alexander Weinert

The paper proposes a natural measure space of zero-sum perfect information games with upper semicontinuous payoffs. Each game is specified by the game tree, and by the assignment of the active player and of the capacity to each node of the…

Computer Science and Game Theory · Computer Science 2021-04-22 János Flesch , Arkadi Predtetchinski , Ville Suomala

Transfinite set theory including the axiom of choice supplies the following basic theorems: (1) Mappings between infinite sets can always be completed, such that at least one of the sets is exhausted. (2) The real numbers can be well…

General Mathematics · Mathematics 2007-05-23 W. Mueckenheim

We consider a deterministic system with two conserved quantities and infinity many invariant measures. However the systems possess a unique invariant measure when enough stochastic forcing and balancing dissipation are added. We then show…

Probability · Mathematics 2014-03-17 Jonathan C. Mattingly , Etienne Pardoux

Many forcing notions obtained using the creature technology are naturally connected with certain integer games.

Logic · Mathematics 2007-05-23 Saharon Shelah , Jindrich Zapletal

We give a short proof of polynomial recurrence with large intersection for additive actions of finite-dimensional vector spaces over countable fields on probability spaces, improving upon the known size and structure of the set of strong…

Dynamical Systems · Mathematics 2014-09-25 Vitaly Bergelson , Donald Robertson