Henkin constant
mathematics
Learn about this topic in these articles:
use in topos
- In foundations of mathematics: One distinguished model or many models
…provided sufficiently many variables (Henkin constants) are adjoined to its internal language. Put in more technical language, this makes the possible worlds of mathematics stalks of a sheaf. However, the question still remains as to where this sheaf lives if not in a distinguished world of mathematics or—perhaps better…
Read More