All Questions
Tagged with gn.general-topology lo.logic
101
questions
2
votes
1
answer
227
views
Hahn-Banach theorem and ultrafilter lemma
I'm unable to understand a remark in "Two application of the method of construction by ultrapowers to analysis" by Luxemburg, which uses the ultrafilter lemma to prove the Hahn-Banach ...
- 85
8
votes
1
answer
328
views
"Compactness length" of Baire space
Intuitively, my question is: how many times do we have to mod out by an closed equivalence relation with all classes compact in order to collapse Baire space $\omega^\omega$ to a singleton?
In more ...
- 19k
5
votes
0
answers
122
views
Is the opposite of the category of $\kappa$-Lindelöf Hausdorff spaces locally presentable?
Gelfand duality tells us that the category of compact Hausdorff spaces (with continuous maps as morphisms) is contravariantly equivalent to the category of commutative, unital $C^\ast$-algebras (with $...
- 59k
14
votes
0
answers
405
views
Which functions have all the common $\forall\exists$-properties of continuous functions?
This is an attempt at partial progress towards this question. Meanwhile, Sam Sanders pointed out that my original term was already in use, as were a couple other back-up terms, so ... oh well.
For a ...
- 19k
6
votes
1
answer
511
views
Does Playfair imply Proclus?
I am interested in the interplay between the Playfair and Proclus Axioms in linear spaces.
By a linear space I understand a pair $(X,\mathcal L)$ consisting of a set $X$ and a family $\mathcal L$ of ...
- 40.2k
8
votes
1
answer
193
views
Can totally inhomogeneous sets of reals coexist with determinacy?
A special case of a theorem of Brian Scott (from On the existence of totally inhomogeneous spaces) is that there is a size-continuum set $S\subset\mathbb{R}$ such that if $x,y\in S$ are distinct then $...
- 19k
1
vote
1
answer
77
views
Intersection of (relativized/preimage) measure 0 with every hyperarithmetic perfect set
Given a perfect tree $T$ on $2^{<\omega}$ viewed as a function from $2^{<\omega}$ to $2^{<\omega}$ define the measure of a subset of $[T]$ to be the measure of it's preimage under the usual ...
- 2,531
10
votes
0
answers
309
views
Determinacy coincidence at $\omega_1$: is CH needed?
This is a follow-up to the last part of an old MSE answer of mine. Briefly, an analogue at $\omega_1$ of Steel's equivalence between clopen and open determinacy can be proved assuming $\mathsf{CH}$, ...
- 19k
5
votes
1
answer
266
views
Does the Rieger-Nishimura lattice over a subset of $\mathbb{R}^k$ stabilize?
Notation: If $U,V$ are open subsets of a topological space $X$, let us write $U\Rrightarrow V$ for the Heyting operation: the largest open subset $W$ of $X$ such that $U\cap W \subseteq V$ (i.e., the ...
- 28.7k
8
votes
0
answers
232
views
First order formula describing connected components
I ask this question here after no answer came up in the original MathSE question.
Let $\mathcal{L}$ be the language $\{+,-,\cdot,0,1,P\}$ where $P$ is some $n$-ary relation symbol. Is there a formula $...
- 458
3
votes
0
answers
223
views
How rigorously can we apply the data supplied by this nonstandard attack on Kuratowski's closure-complement problem?
Suppose a student assigned an advanced version of Kuratowski’s closure-complement problem to solve—one that leaves out the standard hint about the finite upper bound of $14$—decides to look for the ...
- 830
3
votes
1
answer
178
views
An extension of Stone duality
First let me recall Stone duality in terms of propositional logic.
Let $L$ and $K$ be propositional signatures (i.e., sets of propositional variables). Let $T$ be a propositional theory over $L$ and $...
- 133
12
votes
1
answer
622
views
Ultrafilter subtraction and "zero"
This is related to a couple recent MO/MSE questions of mine, namely 1,2. Belatedly, I've tweaked this post to remove an overly-ambitious secondary question; see the edit history if interested.
Let $\...
- 19k
19
votes
0
answers
553
views
What algebraic properties are preserved by $\mathbb{N}\leadsto\beta\mathbb{N}$?
Given a binary operation $\star$ on $\mathbb{N}$, we can naturally extend $\star$ to a semicontinuous operation $\widehat{\star}$ on the set $\beta\mathbb{N}$ of ultrafilters on $\mathbb{N}$ as ...
- 19k
9
votes
0
answers
245
views
Can "$\exists\mathcal{X}(R\cong C(\mathcal{X}))$" be expressed in "large" infinitary second-order logic?
Originally asked and bountied at MSE without success:
Say that a ring $R$ is spatial iff there is some topological space $\mathcal{X}$ such that $R\cong C(\mathcal{X})$, where $C(\mathcal{X})$ is the ...
- 19k
5
votes
1
answer
348
views
Stone-Čech compactification
Is every hyperstonean space a Stone-Čech compactification of a discrete space?
Is there a closed subset of Stone-Čech boundary that is extremally disconnected?
- 149
2
votes
0
answers
76
views
Maps defined on the set of Turing degrees
Let $\mathcal{D}$ be the collection of Turing degrees. Are there nontrivial maps $\phi:\mathcal{D}\to \mathcal{D}$ which is natural to consider? For instance, I wonder whether maps which are ...
- 4,193
4
votes
1
answer
191
views
Consistency of the Hurewicz dichotomy property
Just to fix the environment, let's work in the Baire space $\omega^\omega$, the space of infinite sequences of natural numbers with the product of the discrete topology over $\omega$. We say that a ...
- 2,042
10
votes
0
answers
315
views
Extending models of topological set theory
$\mathsf{GPK_\infty^+}$ is an alternative set theory in which we have comprehension for formulas which are positive in a certain sense; see the SEP article for more detail (or this MO post, which ...
- 19k
3
votes
2
answers
252
views
Is the set of $\kappa$-complete ultrafilters closed in $\beta X$?
Given an arbitrary set $X$, let $\beta X$ be the set of all ultrafilters over $X$. Consider endowing $\beta X$ with a topology consisting of the following open sets:
$$
\{\mathcal{U} \in \beta X : A \...
- 966
12
votes
1
answer
814
views
Are the “topologies” arising from constructive type theories with quotients actually condensed sets?
This is the second in a pair of questions. For the other see Are representations in computable analysis the equivalent to countably-generated condensed sets?.
Dustin Clausen and Peter Scholze have a ...
- 6,167
7
votes
1
answer
476
views
Are representations in computable analysis the equivalent to countably-generated condensed sets?
This is the first in a pair of questions. For the other see here.
Dustin Clausen and Peter Scholze have a theory of condensed sets, which is a slightly different take on topology. For most cases, ...
- 6,167
18
votes
1
answer
1k
views
A topological version of the Lowenheim-Skolem number
This is a continuation of an MSE question which received a partial answer (see below).
Given a topological space $\mathcal{X}$, let $C(\mathcal{X})$ be the ring of real-valued continuous functions on $...
- 19k
15
votes
2
answers
324
views
Do we need full choice to "efficiently" use (sub)bases?
This question was previously asked and bountied at MSE without success.
Suppose $(X,\tau)$ is a topological space, $B$ is a base for $\tau$, and $U\in \tau$ is an open set. Consider the following two ...
- 19k
1
vote
1
answer
140
views
Is the Rudin-Keisler ordering a continuous relation?
If $X, Y$ are topological, and $R\subseteq X\times Y$ we say that $R$ is continuous (from $X$ to $Y$) if for every $V\subseteq Y$ with $V$ open, we have $$R^{-1}(V) = \{u\in U: \exists v\in V:(u,v)\...
- 44.5k
5
votes
0
answers
151
views
Is there a Hausdorff space whose "covering problem" has intermediate complexity?
For a "reasonable" pointclass ${\bf \Gamma}$, say that a second-countable space $(X,\tau)$ is ${\bf \Gamma}$-describable iff for some (equivalently, every) enumerated subbase $B=(B_i)_{i\in\...
- 19k
0
votes
2
answers
202
views
Intrinsically defining smooth/continuous/analytic functions
In mathematics, the notion of a continuous/smooth/analytic function $\mathbb{R}\to\mathbb{R}$ is introduced by defining the general set-theoretic function $\mathbb{R}\to\mathbb{R}$ and then imposing ...
user158636
4
votes
0
answers
396
views
Brouwer's fixed point theorem and the one-point topology [closed]
I posted this question last week on Math SE and got upvotes and helpful comments that allowed me to make the question more precise https://math.stackexchange.com/q/3765546/810513. As I did not get an ...
- 205
15
votes
2
answers
1k
views
Comparing "axiomatized function spaces"
This was previously asked and bountied at math.stackexchange with no response. I've also tweaked the language for clarity; see the edit history for the broader context, and note that the existing ...
- 19k
12
votes
0
answers
237
views
Is there a characterization of the class of first-order formulas that are closed in every compact Hausdorff structure?
Fix a relational language $\mathcal{L}$. (I don't think relational really matters that much but I don't want to worry about it.) A topological $\mathcal{L}$-structure is an $\mathcal{L}$-structure $M$ ...
- 10.1k
2
votes
1
answer
179
views
Detecting comprehension topologically
This question basically follows this earlier question of mine but shifting from standard systems of nonstandard models of $PA$ to $\omega$-models of $RCA_0$. For $X$ a Turing ideal we get the map $c_X$...
- 19k
1
vote
2
answers
254
views
The "higher topology" of countable Scott sets
Fix some computable bijection $b$ between $\omega$ and $2^{<\omega}$. For $r\in 2^\omega$, let $$[r]=\{f\in 2^\omega: \forall\sigma\prec f(b^{-1}(\sigma)\in r)\}$$ be the closed subset of Cantor ...
- 19k
12
votes
0
answers
281
views
Topology is to semi-decidability, coarse structures are to what?
There is a folklore correspondence between topology as semi-decidability amongst computer scientists, which is explained in places like:
The monograph Synthetic Topology: of Data Types and Classical ...
- 1,171
10
votes
0
answers
285
views
Undetermined Banach-Mazur games: beyond DC
This question is a follow-up to this one; see that question for the definition of Banach-Mazur games. There James Hanson showed that ZF+DC proves that there is an undetermined Banach-Mazur game; ...
- 19k
22
votes
1
answer
714
views
Undetermined Banach-Mazur games in ZF?
This question was previously asked and bountied on MSE, with no response. This MO question is related, but is also unanswered and the comments do not appear to address this question.
Given a ...
- 19k
10
votes
2
answers
342
views
Source on smooth equivalence relations under continuous reducibility?
This question was asked and bountied at MSE, but received no answer.
In the context of Borel reducibility, smooth equivalence relations (see the introduction of this paper) are rather boring since ...
- 19k
1
vote
0
answers
213
views
topological properties of $G_{\delta}$ sets in a compact Hausdorff space
I am trying to understand a family of types $\mathcal{F}$ in the set $S(A)$,the set of complete types over $A$ (in the sense of types in model theory) which is a compact and Haurdorff space equipped ...
- 195
10
votes
1
answer
376
views
Examples of Kreisel-Putnam topological spaces
Let us say that a topological space $X$ is a Kreisel-Putnam space when it satisfies the following property:
For all open sets $V_1, V_2$ and regular open set $W$ of $X$, if a point $x\in X$ has a ...
- 28.7k
5
votes
0
answers
150
views
Continuous open self maps on Cantor space
A continuous self map on the Cantor space $C = \{0,1\}^\mathbb{N}$ is a mapping $f = (f_i)_{i\in \mathbb{N}}$ such that each $f_i$ is a map from $C$ to $\{0,1\}$ that depends only on a finite number ...
- 2,572
40
votes
2
answers
2k
views
Ultrafilters as a double dual
Given a set $X$, let $\beta X$ denote the set of ultrafilters. The following theorems are known:
$X$ canonically embeds into $\beta X$ (by taking principal ultrafilters);
If $X$ is finite, then there ...
- 12.1k
8
votes
0
answers
237
views
Topological applications of $\mathfrak{p}=\mathfrak{t}$
I'm working on the Malliaris-Shelah's recent result of $\mathfrak{p}=\mathfrak{t}$, but I'm more interested in what possible topological applications can derivate from this equality.
Searching in ...
- 181
7
votes
1
answer
279
views
Can we inductively define Wadge-well-foundedness?
For a topological space $X$ (which I'll identify with its underlying set of points), we define the Wadge preorder $Wadge(X)$: elements of the preorder are subsets of $X$, and the ordering is given by $...
- 19k
4
votes
1
answer
208
views
Embedding ordinals with the order topology into connected $T_2$-spaces
Is there a limit ordinal $\kappa_0$ with $\kappa_0 \lt 2^{\aleph_0}$ and such that for every limit ordinal $\lambda$ with $\kappa_0\leq \lambda\lt 2^{\aleph_0}$ there is a connected $T_2$-space $X_\...
- 44.5k
8
votes
1
answer
329
views
How much can complexities of bases of a "simple" space vary?
Given a countable subbase of a topology, we can consider its complexity in terms of the difficulty of determining whether one family of basic open sets covers another basic open set. My question is ...
- 19k
6
votes
2
answers
457
views
Complete atomless Boolean algebras with abelian automorphism group
Is there any example of a complete atomless Boolean algebra with a non-trivial abelian automorphism group?
This is equivalent, by Stone duality, to asking for an extremally disconnected compact ...
- 2,971
8
votes
2
answers
1k
views
When does an "$\mathbb{R}$-generated" space have a short description?
The following is a more focused version of the original question; see the edit history if interested. In the original version of the question, five other variants of the "simplicity" ...
- 19k
2
votes
1
answer
130
views
Topologically Ordered Families of Disjoint Cantor Sets in $I$?
Suppose that we have an uncountable collection $C_\alpha$ of disjoint Cantor Sets contained in the closed unit interval $I$. Suppose we have ordered the indices $\alpha \in [0,1]$ as well. Then is ...
- 409
9
votes
1
answer
563
views
On the Large Cardinal Strength of Normal Moore Space Conjecture
In his seminal 1937 paper, Jones [1] proved the following result about Moore spaces:
Theorem. (Jones) If $2^{\aleph_0}<2^{\aleph_1}$ then all separable normal Moore spaces are metrizable.
Then ...
14
votes
2
answers
754
views
Proper topological spaces
Recall that a topological space is ccc, or has the countable chain condition, if every family of pairwise disjoint open sets is countable.
But equivalently, we can say that the forcing defined with ...
- 37.7k
3
votes
0
answers
153
views
$G_\delta$-diagonal and productivity of the CCC
Is there a known example of a completely regular c.c.c. space with $G_\delta$-diagonal which is not productively c.c.c.?
The non-existence of such a space is consistent (for example, under $MA$ no ...
- 1,657