BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Alexander Shibakov appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
We introduce and prove the consistency of a new set theoretic axiom we call the \emph{Invariant Ideal Axiom}. The axiom enables us to provide (consistently) a full topological classification of countable sequential groups, as well as fully characterize the behavior of their finite products. We also construct examples that demonstrate the optimality of the conditions in \IIA, and list a number of open questions.
We show that it is consistent to have an uncountable sequential group of intermediate sequential order while no countable such groups exist. This is proved by adding $ω_2$ Cohen reals to a model of $\diamondsuit$.
We prove that it is consistent with ZFC that no sequential topological groups of intermediate sequential orders exist. This shows that the answer to a 1981 question of P.~Nyikos is independent of the standard axioms of set theory. The model constructed also provides consistent answers to several questions of D.~Shakhmatov, S.~Todorčević and Uzcátegui. In particular, we show that it is consistent with ZFC that every countably compact sequential group is Fréchet-Urysohn.
We construct, using $\diamondsuit$, an example of a sequential group $G$ such that the only countable sequential subgroups of $G$ are closed and discrete, and the only quotients of $G$ that have a countable pseudocharacter are countable and Fréchet. We also show how to construct such a $G$ with several additional properties (such as make $G^2$ sequential, and arrange for every sequential subgroup of $G$ to be closed and contain a nonmetrizable compact subspace, etc.). Several results about $k_ω$ sequential groups are proved. In particular, we show that each such group is either locally compact and metrizable or contains a closed copy of the sequential fan. It is also proved that a dense proper subgroup of a non Fréchet $k_ω$ sequential group is not sequential extending a similar observation of T.~Banakh about countable $k_ω$ groups.
We answer a question of S.~Todorčević and C.~Uzcátegui from \cite{TU1} by showing that the only possible sequential orders of sequential analytic groups are $1$ and $ω_1$. Other results on the structure of sequential analytic spaces and their relation to other classes of spaces are given as well. In particular, we provide a full topological classification of sequential analytic groups by showing that all such groups are either metrizable or $k_ω$-spaces, which, together with a result by Zelenyuk, implies that there are exactly $ω_1$ non homeomorphic analytic sequential group topologies.
We investigate the question of computational resources (such as stacks and counters) necessary to perform radix conversions. To this end it is shown that no PDA can compute the significand of the best $n$-digit floating point approximation of a power of an incommensurable radix. This extends the results of W.~Clinger. We also prove that a two counter machine with input is capable of such conversions. On the other hand we note a curious asymmetry with respect to the order in which the digits are input by showing that a two counter machine can decode its input online if the digits are presented in the most-to-least significant order while no such machine can decode its input in this manner if the digits are presented in the least-to-most significant order. Some structural results about two counter machines (with input) are also established.