Displaying similar documents to “On the Compactness and Countable Compactness of 2 in ZF”

On the Set-Theoretic Strength of Countable Compactness of the Tychonoff Product 2

Eleftherios Tachtsis (2010)

Bulletin of the Polish Academy of Sciences. Mathematics

Similarity:

We work in ZF set theory (i.e., Zermelo-Fraenkel set theory minus the Axiom of Choice AC) and show the following: 1. The Axiom of Choice for well-ordered families of non-empty sets ( A C W O ) does not imply “the Tychonoff product 2 , where 2 is the discrete space 0,1, is countably compact” in ZF. This answers in the negative the following question from Keremedis, Felouzis, and Tachtsis [Bull. Polish Acad. Sci. Math. 55 (2007)]: Does the Countable Axiom of Choice for families of non-empty sets...

Axiom T D and the Simmons sublocale theorem

Jorge Picado, Aleš Pultr (2019)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

More precisely, we are analyzing some of H. Simmons, S. B. Niefield and K. I. Rosenthal results concerning sublocales induced by subspaces. H. Simmons was concerned with the question when the coframe of sublocales is Boolean; he recognized the role of the axiom T D for the relation of certain degrees of scatteredness but did not emphasize its role in the relation between sublocales and subspaces. S. B. Niefield and K. I. Rosenthal just mention this axiom in a remark about Simmons’ result....

A new Lindelöf space with points G δ

Alan S. Dow (2015)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

We prove that * implies there is a zero-dimensional Hausdorff Lindelöf space of cardinality 2 1 which has points G δ . In addition, this space has the property that it need not be Lindelöf after countably closed forcing.

On subcompactness and countable subcompactness of metrizable spaces in ZF

Kyriakos Keremedis (2022)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

We show in ZF that: (i) Every subcompact metrizable space is completely metrizable, and every completely metrizable space is countably subcompact. (ii) A metrizable space 𝐗 = ( X , T ) is countably compact if and only if it is countably subcompact relative to T . (iii) For every metrizable space 𝐗 = ( X , T ) , the following are equivalent: (a) 𝐗 is compact; (b) for every open filter of 𝐗 , { F ¯ : F } ; (c) 𝐗 is subcompact relative to T . We also show: (iv) The negation of each of the statements, (a) every countably subcompact...

A solution to Comfort's question on the countable compactness of powers of a topological group

Artur Hideyuki Tomita (2005)

Fundamenta Mathematicae

Similarity:

In 1990, Comfort asked Question 477 in the survey book “Open Problems in Topology”: Is there, for every (not necessarily infinite) cardinal number α 2 , a topological group G such that G γ is countably compact for all cardinals γ < α, but G α is not countably compact? Hart and van Mill showed in 1991 that α = 2 answers this question affirmatively under M A c o u n t a b l e . Recently, Tomita showed that every finite cardinal answers Comfort’s question in the affirmative, also from M A c o u n t a b l e . However, the question has...

Coherent ultrafilters and nonhomogeneity

Jan Starý (2015)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

We introduce the notion of a coherent P -ultrafilter on a complete ccc Boolean algebra, strengthening the notion of a P -point on ω , and show that these ultrafilters exist generically under 𝔠 = 𝔡 . This improves the known existence result of Ketonen [On the existence of P -points in the Stone-Čech compactification of integers, Fund. Math. 92 (1976), 91–94]. Similarly, the existence theorem of Canjar [On the generic existence of special ultrafilters, Proc. Amer. Math. Soc. 110 (1990), no. 1,...

Linear extenders and the Axiom of Choice

Marianne Morillon (2017)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

In set theory without the Axiom of Choice ZF, we prove that for every commutative field 𝕂 , the following statement 𝐃 𝕂 : “On every non null 𝕂 -vector space, there exists a non null linear form” implies the existence of a “ 𝕂 -linear extender” on every vector subspace of a 𝕂 -vector space. This solves a question raised in Morillon M., Linear forms and axioms of choice, Comment. Math. Univ. Carolin. 50 (2009), no. 3, 421-431. In the second part of the paper, we generalize our results in the case...

On the solvability of systems of linear equations over the ring of integers

Horst Herrlich, Eleftherios Tachtsis (2017)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

We investigate the question whether a system ( E i ) i I of homogeneous linear equations over is non-trivially solvable in provided that each subsystem ( E j ) j J with | J | c is non-trivially solvable in where c is a fixed cardinal number such that c < | I | . Among other results, we establish the following. (a) The answer is ‘No’ in the finite case (i.e., I being finite). (b) The answer is ‘No’ in the denumerable case (i.e., | I | = 0 and c a natural number). (c) The answer in case that I is uncountable and c 0 is ‘No...

Characterizations of z -Lindelöf spaces

Ahmad Al-Omari, Takashi Noiri (2017)

Archivum Mathematicum

Similarity:

A topological space ( X , τ ) is said to be z -Lindelöf  [1] if every cover of X by cozero sets of ( X , τ ) admits a countable subcover. In this paper, we obtain new characterizations and preservation theorems of z -Lindelöf spaces.

More reflections on compactness

Lúcia R. Junqueira, Franklin D. Tall (2003)

Fundamenta Mathematicae

Similarity:

We consider the question of when X M = X , where X M is the elementary submodel topology on X ∩ M, especially in the case when X M is compact.

A countably cellular topological group all of whose countable subsets are closed need not be -factorizable

Mihail G. Tkachenko (2023)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

We construct a Hausdorff topological group G such that 1 is a precalibre of G (hence, G has countable cellularity), all countable subsets of G are closed and C -embedded in G , but G is not -factorizable. This solves Problem 8.6.3 from the book “Topological Groups and Related Structures" (2008) in the negative.