definition
definition, compactness
semidecidability
definition
possibly
expressiveness
decidability