Embedding Theorems for Boolean Algebras and Consistency Results on Ordinal Definable Sets.

Petr Stepánek Bohuslav Balcar

Published in: J. Symb. Log. (1977)

Keyphrases

topological spaces
ordered sets
boolean functions
approximation spaces
vector space
first order logic
real valued
constraint networks
closed sets