[FOM] Re: small sets?
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
More information about the FOM