Does anyone know of a coherent, formal logical, perhaps model-theoretic, definition and discussion of these concepts? Thank you. Leo Marcus -------------- next part -------------- An HTML attachment was scrubbed... URL: </pipermail/fom/attachments/20171031/12f41f39/attachment-0001.html>