This is a purely expository paper on the Axiom of Choice and variations of Tychonoff Theorem to appear in RIMS Kôkyûroku:
https://fuchino.ddo.jp/papers/RIMS2022-tychonoff-x.pdf
My conversation with A. Yamashita
https://twitter.com/yamyam_topo
via tw***er motivated me to write this article which might be yet extended by a new section.
I am now finishing an expository article on variants of Axiom of Choice and weakenings of the Tychonoff Theorem. the following is what might be contained in the introduction of the paper. It is my attempt to explain the significance of the study of this subject to general or set-theoretic topologists who are going to be the main readers of the RIMS Kôkûroku volume the article is going to appear.