BZPEERSource author record
Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.
Catalog footprint
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 ♢.
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 ♢, 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 G2 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.
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.