K Keremedis, E Tachtsis, E Wajch - Monatshefte für Mathematik, 2021 - Springer
In the absence of the axiom of choice, the set-theoretic status of many natural statements about metrizable compact spaces is investigated. Some of the statements are provable in ZF …
A Piękosz, E Wajch - Topology and its Applications, 2015 - Elsevier
A generalized topology in a set X is a collection Cov X of families of subsets of X such that the triple (X,⋃ Cov X, Cov X) is a generalized topological space (a gts) in the sense of Delfs …
K Keremedis, E Tachtsis - Mathematical Logic Quarterly …, 2001 - Wiley Online Library
It is shown that for compact metric spaces (X, d) the following statements are pairwise equivalent:“X is Loeb”,“X is separable”,“X has a we ordered dense subset”,“X is second …
C Good, I Tree, W Watson - Proceedings of the American Mathematical …, 1998 - ams.org
It is a well established fact that in Zermelo-Fraenkel set theory, Tychonoff's Theorem, the statement that the product of compact topological spaces is compact, is equivalent to the …
We show that:(i) If every sequentially compact metric space is countably com $ pact then for every infinite set X,[X]! is Dedekind $ infinite. In particular, every infinite subset of R is …
K Keremedis, AR Olfati, E Wajch - 2023 - projecteuclid.org
A P-space is a topological space whose every G_δ-set is open. In this article, basic properties of P-spaces are investigated in the absence of the Axiom of Choice. New weaker …
P Howard, K Keremedis, JE Rubin… - Mathematical Logic …, 2001 - academia.edu
NON-CONSTRUCTIVE PROPERTIES OF THE REAL NUMBERS Paul Howard, Kyriakos Keremedis, Jean E. Rubin, Adrienne Stanley, and Eleftherio Page 1 NON-CONSTRUCTIVE …
K Keremedis, E Tachtsis, E Wajch - Results in Mathematics, 2023 - Springer
A topological space is iso-dense if it has a dense set of isolated points, and it is scattered if each of its non-empty subspaces has an isolated point. In ZF (ie Zermelo–Fraenkel set …