The Separable Case of the Normal Moore Space Conjecture Page 1 The Separable Case of the Normal Moore Space Conjecture 1st Meeting Brazil-Colombia in Logic Andres F. Uribe-Zapata …
Un desarrollo sobre un espacio topológico X es una colección contable {Un} n∈ N de cubrimientos abiertos de X tales que para todo x∈ X y toda vecindad U de x, existe N∈ N …
Como consecuencia de los teoremas de incompletez de K. Gödel, se sabe que existen afirmaciones independientes, es decir, que no se pueden decidir ciertas o falsas en la teorıa …