Not signed in (Sign In)

Discussion Feed
- RSS2
- ATOM

Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

Discussion Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).

nLab > Latest Changes: finite intersection property

1 to 1 of 1

- CommentRowNumber1.
- CommentAuthorUrs
- CommentTimeApr 23rd 2017
- PermaLink
Author: Urs
Format: MarkdownItexgave _[[finite intersection property]]_ an entry, added statement and proof of the corresponding characterization of compact topological spaces. Pointed to this from _[[Tychonoff theorem]]_, where the statement is used.

gave finite intersection property an entry, added statement and proof of the corresponding characterization of compact topological spaces. Pointed to this from Tychonoff theorem, where the statement is used.

1 to 1 of 1