When is the complement of the diagonal of a LOTS functionally countable? (Q6155547): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
ReferenceBot (talk | contribs) Changed an Item |
||
(One intermediate revision by one other user not shown) | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W4362620154 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Monotonically Normal Spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Set theory. An introduction to independence proofs. 2nd print / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2904376 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3732526 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A Corson Compact Space is Countable if the Complement of its Diagonal is Functionally Countable / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Functional countability in GO spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3221027 / rank | |||
Normal rank |
Latest revision as of 07:55, 1 August 2024
scientific article; zbMATH DE number 7692652
Language | Label | Description | Also known as |
---|---|---|---|
English | When is the complement of the diagonal of a LOTS functionally countable? |
scientific article; zbMATH DE number 7692652 |
Statements
When is the complement of the diagonal of a LOTS functionally countable? (English)
0 references
5 June 2023
0 references
A space \(X\) is said to be functionally countable if the set \(f(X)\) is countable for any continuous function \(f:X \to \mathbb{R}\). \textit{V. V. Tkachuk} [Stud. Sci. Math. Hung. 58, No. 3, 398--407 (2021; Zbl 1499.54137)] established that (in ZFC) there is a non-separable \(\sigma\)-compact space \(X\) such that \(X^2 \setminus D_X\) is functionally countable and asked if there is a non-separable LOTS \(X\) such that \(X^2 \setminus D_X\) is functionally countable, where \(D_X = \{(x,x): x\in X\}\) is the diagonal of \(X\). Working on this question the authors of this paper proved: if there is an uncountable LOTS such that \(X^2 \setminus D_X\) is functionally countable, then \(X\) is an Aronszajn line which contains a Souslin line. They also proved that under assumption that there is a Souslin line the following hold: (i) there is a functionally countable Soulsin line, and (ii) there exists a Souslin line \(L\) which is functionally countable, but \(L^2 \setminus D_L\) is not functionally countable. Two interesting open questions are posed: (1) is there a functionally countable Aronszajn line in ZFC?, (2) is it consistent that there is a Souslin line \(L\) with \(L^2\setminus D_L\) is functionally countable?
0 references
functionally countable
0 references
linearly ordered space
0 references
Aronszajn line
0 references
Souslin line
0 references
0 references