AbstractWe show that the countable multiple choice axiom CMC is equivalent to the assertion: Weierstrass compact pseudometric spaces are compact
AbstractWe will prove that an M-space need not be countably-compact-ifiable. This implies that in th...
AbstractWe show in ZF that:(i)A countably compact metric space need not be limit point compact or to...
Abstract. We show that a space is MCP (monotone countable para-compact) if and only if it has proper...
AbstractWe show that the countable multiple choice axiom CMC is equivalent to the assertion: Weierst...
summary:We show: (i) The countable axiom of choice $\mathbf{CAC}$ is equivalent to each one of the ...
AbstractIn the realm of pseudometric spaces the role of choice principles is investigated. In partic...
AbstractWe work in set-theory without choice ZF. Denoting by AC(N) the countable axiom of choice, we...
We propose an extension of Aczel's constructive set theory CZF by an axiom for inductive types and a...
It is well known that every countably compact, meta compact (T-) space is compact, and it is easy to...
Abstract. We study the relationship between the countable axiom of choice and the Tychono product t...
Given a topological space X = (X, T), we show in the Zermelo-Fraenkel set theory ZF that:(i) Every l...
We show that in {bf ZF} set theory without choice, the Ultrafilter mbox{Principle} ({bf UP}) is equi...
ABSTRACT. We work in set-theory without the Axiom of Choice ZF. We prove that the principle of Depen...
Abstract. It is a well established fact that in Zermelo-Fraenkel set theory, Ty-chonoff’s Theorem, t...
AbstractThe status of the Baire Category Theorem in ZF (i.e., Zermelo–Fraenkel set theory without th...
AbstractWe will prove that an M-space need not be countably-compact-ifiable. This implies that in th...
AbstractWe show in ZF that:(i)A countably compact metric space need not be limit point compact or to...
Abstract. We show that a space is MCP (monotone countable para-compact) if and only if it has proper...
AbstractWe show that the countable multiple choice axiom CMC is equivalent to the assertion: Weierst...
summary:We show: (i) The countable axiom of choice $\mathbf{CAC}$ is equivalent to each one of the ...
AbstractIn the realm of pseudometric spaces the role of choice principles is investigated. In partic...
AbstractWe work in set-theory without choice ZF. Denoting by AC(N) the countable axiom of choice, we...
We propose an extension of Aczel's constructive set theory CZF by an axiom for inductive types and a...
It is well known that every countably compact, meta compact (T-) space is compact, and it is easy to...
Abstract. We study the relationship between the countable axiom of choice and the Tychono product t...
Given a topological space X = (X, T), we show in the Zermelo-Fraenkel set theory ZF that:(i) Every l...
We show that in {bf ZF} set theory without choice, the Ultrafilter mbox{Principle} ({bf UP}) is equi...
ABSTRACT. We work in set-theory without the Axiom of Choice ZF. We prove that the principle of Depen...
Abstract. It is a well established fact that in Zermelo-Fraenkel set theory, Ty-chonoff’s Theorem, t...
AbstractThe status of the Baire Category Theorem in ZF (i.e., Zermelo–Fraenkel set theory without th...
AbstractWe will prove that an M-space need not be countably-compact-ifiable. This implies that in th...
AbstractWe show in ZF that:(i)A countably compact metric space need not be limit point compact or to...
Abstract. We show that a space is MCP (monotone countable para-compact) if and only if it has proper...
DOI
Add to ORKG