[FOM] Re: small sets?

Dmytro Taranovsky dmytro at MIT.EDU
Mon Aug 8 12:58:28 EDT 2005

For every theory S (whose language includes only finitely many symbols),
the set of consistent completions of S is closed and has measure zero
(and in fact is zero dimensional in the sense of measure).

The set is perfect for every consistent recursively enumerable theory
that includes basic arithmetic.

In defining the set, the standard (or a canonical) Godel numbering is

Dmytro Taranovsky

More information about the FOM mailing list