相关论文: Games characterizing certain families of functions
The field of descriptive combinatorics investigates the question, to what extent can classical combinatorial results and techniques be made topologically or measure-theoretically well-behaved? This paper examines a class of coloring…
Let $X$ be a paracompact topological space and $Y$ be a Banach space. In this paper, we will characterize the Baire-1 functions $f:X\rightarrow{Y}$ by their graph: namely, we will show that $f$ is a Baire-1 function if and only if its graph…
We investigate the existence of well-ordered sequences of Baire 1 functions on separable metric spaces.
We investigate Baire-one functions whose graph is contained in a graph of usco mapping. We prove in particular that such a function defined on a metric space with values in $\mathbb{R}^d$ is the pointwise limit of a sequence of continuous…
We investigate the Baire classification of mappings $f:X\times Y\to Z$, where $X$ belongs to a wide class of spaces, which includes all metrizable spaces, $Y$ is a topological space, $Z$ is an equiconnected space, which are continuous in…
Kechris and Louveau showed that each real-valued bounded Baire class 1 function defined on a compact metric space can be written as an alternating sum of a decreasing countable transfinite sequence of upper semi-continuous functions.…
We investigate a family of rule-based logics. The focus is on very expressive languages. We provide a range of characterization results for the expressive powers of the logics and relate them with corresponding game systems.
We provide a characterization of the set of real-valued functions that can be the value function of some polynomial game. Specifically, we prove that a function $u : \dR \to \dR$ is the value function of some polynomial game if and only if…
A function f:R -> R is approximately continuous iff it is continuous in the density topology, i.e., for any ordinary open set U the set E=f^{-1}(U) is measurable and has Lebesgue density one at each of its points. Denjoy proved that…
For a Tychonoff space $X$ and a subspace $Y\subset\mathbb R$, we study Baire category properties of the space $C_{\downarrow F}(X,Y)$ of continuous functions from $X$ to $Y$, endowed with the Fell hypograph topology. We characterize pairs…
Feature-based SPL analysis and family-based model checking have seen rapid development. Many model checking problems can be reduced to two-player games on finite graphs. A prominent example is mu-calculus model checking, which is generally…
In this work, on the one hand, we survey and amplify old results concerning tame dynamical systems and, on the other, prove some new results and exhibit new examples of such systems. In particular, we study tame symbolic systems and…
Recently some Mathematician extend the notion of Baire one functions. We give some nice relations between this subring and some nice functions rings on a topological spaces.
Games on graphs provide a natural and powerful model for reactive systems. In this paper, we consider generalized reachability objectives, defined as conjunctions of reachability objectives. We first prove that deciding the winner in such…
This work contains the mathematical exploration of a few prototypical games in which central concepts from statistics and probability theory naturally emerge. The first two kinds of games are termed Fisher and Bayesian games, which are…
Collectible card games are challenging, widely played games that have received increasing attention from the AI research community in recent years. Despite important breakthroughs, the field still poses many unresolved challenges. This work…
A topological space $X$ is Baire if the Baire Category Theorem holds for $X$, i.e., the intersection of any sequence of open dense subsets of $X$ is dense in $X$. One of the interesting problems for the space $B_1(X)$ of all Baire-one…
We compare possibilities of extension of bounded and unbounded Baire-one functions from subspaces of topological spaces.
A topological space $X$ is Baire if the Baire Category Theorem holds for $X$, i.e., the intersection of any sequence of open dense subsets of $X$ is dense in $X$. One of the interesting problems in the theory of functional spaces is the…
It is well known that if the nonempty player of the Banach-Mazur game has a winning strategy on a space, then that space is Baire in all powers even in the box topology. The converse of this implication may be true also: We know of no…