Related papers: A note on Automatic Baire property
According to a result of Kocinac and Scheepers, the Hurewicz covering property is equivalent to a somewhat simpler selection property: For each sequence of large open covers of the space one can choose finitely many elements from each cover…
This paper describes a construction of supermartingales realized as automatic functions. A capital of supermartingales is represented using automatic capital groups~(ACG). Properties of these automatic supermartingales are then studied.…
For an associative algebra $A$ with a simple module $M$ with trivial endomorphisms and trivial annihilator we verify the countable separation property (CSP), i.e. we prove that there exists a list of nonzero elements $a_1, a_2,\ldots$ of…
Saturation is a fundamental game-semantic property satisfied by strategies that interpret higher-order concurrent programs. It states that the strategy must be closed under certain rearrangements of moves, and corresponds to the intuition…
Every definably complete expansion of an ordered field satisfies an analogue of the Baire Category Theorem.
Let $R$ be a commutative ring, we say that $\mathcal{A}\subseteq Spec(R)$ has prime avoidance property, if $I\subseteq \bigcup_{P\in\mathcal{A}}P$ for an ideal $I$ of $R$, then there exists $P\in\mathcal{A}$ such that $I\subseteq P$. We…
An abstract machine is a theoretical model designed to perform a rigorous study of computation. Such a model usually consists of configurations, instructions, programs, inputs and outputs for the machine. In this paper we formalize these…
We define a property of intelligent systems, which we call Reflexivity. In human beings, it is one aspect of consciousness, and an element of deliberation. We propose a conjecture, that this property is conditioned by a topological property…
We prove that the completely irregular set is Baire generic for every non-uniquely ergodic transitive continuous map which satisfies the shadowing property and acts on a compact metric space without isolated points. We also show that, under…
We construct a one-parameter family of algebras consisting of Fourier integral operators. We derive boundedness results, composition rules, and the spectral invariance of this class of operators. The operator algebra is defined by the decay…
The transition structure of an automaton can be used to create a natural topology to the set of states of an automaton, generating, this way, a topological space. Probabilistic automata can also be modeled in terms of measure theory. A…
New results on the Baire product problem are presented. It is shown that an arbitrary product of almost locally ccc Baire spaces is Baire; moreover, the product of a Baire space and a 1st countable space which is $\beta$-unfavorable in the…
Building on work by Alfonseca et al. (2021), we study the conditions necessary for it to be logically possible to prove that an arbitrary artificially intelligent machine will exhibit certain behavior. To do this, we develop a formalism…
In this paper we investigate a Gaussian average property of Banach spaces. This property is weaker than the Gordon Lewis property but closely related to this and other unconditional structures. It is also shown that this property implies…
We study the decidability of the topological properties of some objects coming from fractal geometry. We prove that having empty interior is undecidable for the sets defined by two-dimensional graph-directed iterated function systems. These…
The technique of abstracting abstract machines (AAM) provides a systematic approach for deriving computable approximations of evaluators that are easily proved sound. This article contributes a complementary step-by-step process for…
Model checking properties are often described by means of finite automata. Any particular such automaton divides the set of infinite trees into finitely many classes, according to which state has an infinite run. Building the full type…
We find sufficient conditions under which the product of spaces that have a $\pi$-tree also has a $\pi$-tree. These conditions give new examples of spaces with a $\pi$-tree: every at most countable power of the Sorgenfrey line and every at…
There is a well-known global equivalence between \Sigma^1_2 sets having the Universal Baire property, two-step \Sigma^1_3 generic absoluteness, and the closure of the universe under the sharp operation. In this note, we determine the exact…
We prove that every $C^*$-embedded subset of $\ss$ is a hereditarily Baire subspace of $\mathbb R^2$. We also show that for a subspace $E\subseteq\{(x,-x):x\in\mathbb R\}$ of the Sorgenfrey plane $\mathbb S^2$ the following conditions are…