Given a topological space ⟨X,T⟩ ∈ M, an elementary submodel of set theory, we define $X_M$ to be X ∩ M with topology generated by {U ∩ M:U ∈ T ∩ M}. We prove that if $X_M$ is homeomorphic to ℝ, then $X = X_M$. The same holds for arbitrary locally compact uncountable separable metric spaces, but is independent of ZFC if "local compactness" is omitted.
Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies
Informacja
SZANOWNI CZYTELNICY!
UPRZEJMIE INFORMUJEMY, ŻE BIBLIOTEKA FUNKCJONUJE W NASTĘPUJĄCYCH GODZINACH:
Wypożyczalnia i Czytelnia Główna: poniedziałek – piątek od 9.00 do 19.00