Counting models of set theory

Ali Enayat

Displaying similar documents to “Counting models of set theory”

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...

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.

An observation on spaces with a zeroset diagonal

Wei-Feng Xuan (2020)

Mathematica Bohemica

Similarity:

We say that a space $X$ has the discrete countable chain condition (DCCC for short) if every discrete family of nonempty open subsets of $X$ is countable. A space $X$ has a zeroset diagonal if there is a continuous mapping $f : X^{2} \to [0, 1]$ with $Δ_{X} = f^{- 1} (0)$ , where $Δ_{X} = {(x, x) : x \in X}$ . In this paper, we prove that every first countable DCCC space with a zeroset diagonal has cardinality at most $𝔠$ .

A note on star Lindelöf, first countable and normal spaces

Wei-Feng Xuan (2017)

Mathematica Bohemica

Similarity:

A topological space $X$ is said to be star Lindelöf if for any open cover $𝒰$ of $X$ there is a Lindelöf subspace $A \subset X$ such that $St (A, 𝒰) = X$ . The “extent” $e (X)$ of $X$ is the supremum of the cardinalities of closed discrete subsets of $X$ . We prove that under $V = L$ every star Lindelöf, first countable and normal space must have countable extent. We also obtain an example under $MA + \neg CH$ , which shows that a star Lindelöf, first countable and normal space may not have countable extent.

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 \in I}$ of homogeneous linear equations over $ℤ$ is non-trivially solvable in $ℤ$ provided that each subsystem ${(E_{j})}_{j \in J}$ with $| J | \leq 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 \leq ℵ_{0}$ is ‘No...

Characterizing the powerset by a complete (Scott) sentence

Ioannis Souldatos (2013)

Fundamenta Mathematicae

Similarity:

This paper is part II of a study on cardinals that are characterizable by a Scott sentence, continuing previous work of the author. A cardinal κ is characterized by a Scott sentence $ϕ_{ℳ}$ if $ϕ_{ℳ}$ has a model of size κ, but no model of size κ⁺. The main question in this paper is the following: Are the characterizable cardinals closed under the powerset operation? We prove that if $ℵ_{β}$ is characterized by a Scott sentence, then $2^{ℵ_{β + β ₁}}$ is (homogeneously) characterized by a Scott sentence, for all 0 <...

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 $𝐗$ , $⋂ {\bar{F} : F \in ℱ} \neq \emptyset$ ; (c) $𝐗$ is subcompact relative to $T$ . We also show: (iv) The negation of each of the statements, (a) every countably subcompact...

A nice subclass of functionally countable spaces

Vladimir Vladimirovich Tkachuk (2018)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

A space $X$ is functionally countable if $f (X)$ is countable for any continuous function $f : X \to ℝ$ . We will call a space $X$ exponentially separable if for any countable family $ℱ$ of closed subsets of $X$ , there exists a countable set $A \subset X$ such that $A \cap ⋂ 𝒢 \neq \emptyset$ whenever $𝒢 \subset ℱ$ and $⋂ 𝒢 \neq \emptyset$ . Every exponentially separable space is functionally countable; we will show that for some nice classes of spaces exponential separability coincides with functional countability. We will also establish that the class of exponentially separable...

On ordinals accessible by infinitary languages

Saharon Shelah, Pauli Väisänen, Jouko Väänänen (2005)

Fundamenta Mathematicae

Similarity:

Let λ be an infinite cardinal number. The ordinal number δ(λ) is the least ordinal γ such that if ϕ is any sentence of $L_{λ ⁺ ω}$ , with a unary predicate D and a binary predicate ≺, and ϕ has a model ℳ with $⟨ D^{ℳ}, ≺^{ℳ} ⟩$ a well-ordering of type ≥ γ, then ϕ has a model ℳ ’ where $⟨ D^{ℳ^{'}}, ≺^{ℳ^{'}} ⟩$ is non-well-ordered. One of the interesting properties of this number is that the Hanf number of $L_{λ ⁺ ω}$ is exactly $ℶ_{δ (λ)}$ . It was proved in [BK71] that if ℵ₀ < λ < κ $a r e r e g u l a r c a r d i n a l n u m b e r s, t h e n t h e r e i s a f o r c i n g e x t e n s i o n, p r e s e r v i n g c o f i n a l i t i e s, s u c h t h a t i n t h e e x t e n s i o n$ 2λ = κ $a n d δ (λ) < λ ⁺ ⁺ . W e i m p r o v e t h i s r e s u l t b y p r o v i n g t h e f o l l o w i n g : S u p p o s e ℵ ₀ < λ < θ \leq κ a r e c a r d i n a l n u m b e r s s u c h t h a t$ ∙ $λ^{< λ} = λ$ ; ∙ cf(θ) ≥ λ⁺ and $μ^{λ} < θ$ whenever μ < θ; ∙ $κ^{λ} = κ$ . Then there...

On sentences provable in impredicative extensions of theories

Zygmunt Ratajczyk

Similarity:

CONTENTS0. Introduction.......................................................................... 51. Preliminaries............................................................................... 72. Basic facts to be used in the sequel....................................... 113. Predicates OD(.,.) and CL(.,.).................................................... 174. Predicate Sels............................................................................. 185. Strong $\sum_{n}^{1}$ -collection...........................................................

Spaces with property $(D C (ω_{1}))$

Wei-Feng Xuan, Wei-Xue Shi (2017)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

We prove that if $X$ is a first countable space with property $(D C (ω_{1}))$ and with a $G_{δ}$ -diagonal then the cardinality of $X$ is at most $𝔠$ . We also show that if $X$ is a first countable, DCCC, normal space then the extent of $X$ is at most $𝔠$ .

On a question of $C_{c} (X)$

A. R. Olfati (2016)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

In this short article we answer the question posed in Ghadermazi M., Karamzadeh O.A.S., Namdari M., On the functionally countable subalgebra of $C (X)$ , Rend. Sem. Mat. Univ. Padova 129 (2013), 47–69. It is shown that $C_{c} (X)$ is isomorphic to some ring of continuous functions if and only if $υ_{0} X$ is functionally countable. For a strongly zero-dimensional space $X$ , this is equivalent to say that $X$ is functionally countable. Hence for every $P$ -space it is equivalent to pseudo- $ℵ_{0}$ -compactness.

On certain non-constructive properties of infinite-dimensional vector spaces

Eleftherios Tachtsis (2018)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

In set theory without the axiom of choice ( $AC$ ), we study certain non-constructive properties of infinite-dimensional vector spaces. Among several results, we establish the following: (i) None of the principles AC $^{LO}$ (AC for linearly ordered families of nonempty sets)—and hence AC $^{WO}$ (AC for well-ordered families of nonempty sets)— $DC (< κ)$ (where $κ$ is an uncountable regular cardinal), and “for every infinite set $X$ , there is a bijection $f : X \to {0, 1} \times X$ ”, implies the statement “there exists a field $F$ such that...

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 $α \leq 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...