elementary submodel;
real line;
locally compact separable metric space;
D O I:
暂无
中图分类号:
O1 [数学];
学科分类号:
0701 ;
070101 ;
摘要:
Given a topological space [X,T] is an element of M, an elementary submodel of set theory, we define X-M to be X boolean AND M with topology generated by {U boolean AND M : U is an element of T boolean AND M}. We prove that if X-M is homeomorphic to R, 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.
机构:
George Washingtons Mt Vernon Estate, George Washington Encyclopedia, Alexandria, VA 22304 USAGeorge Washingtons Mt Vernon Estate, George Washington Encyclopedia, Alexandria, VA 22304 USA