Invariant Ideal Axiom
General Topology
2022-04-08 v1 Logic
Abstract
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.
Keywords
Cite
@article{arxiv.2204.03079,
title = {Invariant Ideal Axiom},
author = {Michael Hrušák and Alexander Shibakov},
journal= {arXiv preprint arXiv:2204.03079},
year = {2022}
}