Document Type

Article

Language

eng

Publication Date

6-1990

Publisher

Association for Symbolic Logic

Source Publication

Journal of Symbolic Logic

Source ISSN

0022-4812

Original Item ID

10.2307/2274649

Abstract

A topological classification scheme consists of two ingredients: (1) an abstract class K of topological spaces; and (2) a "taxonomy", i.e. a list of first order sentences, together with a way of assigning an abstract class of spaces to each sentence of the list so that logically equivalent sentences are assigned the same class.K, is then endowed with an equivalence relation, two spaces belonging to the same equivalence class if and only if they lie in the same classes prescribed by the taxonomy. A space X in K is characterized within the classification scheme if whenever Y E K, and Y is equivalent to X, then Y is homeomorphic to X. As prime example, the closed set taxonomy assigns to each sentence in the first order language of bounded lattices the class of topological spaces whose lattices of closed sets satisfy that sentence. It turns out that every compact two-complex is characterized via this taxonomy in the class of metrizable spaces, but that no infinite discrete space is so characterized. We investigate various natural classification schemes, compare them, and look into the question of which spaces can and cannot be characterized within them.

Comments

Published version. The Journal of Symbolic Logic, Vol. 55, No. 2 (June 1990): 589-603. DOI. © 1990 The Association for Symbolic Logic. Used with permission.

Download

Share

COinS