Is Chaitins constant which is frequently given as an example of an undefinable number really even a number?

Kleene and Skolem seem to think the Skolem paradox and model theory in general show that there is no absolute notion of counting. How is this categorically understood?

Thank you for all pointers ahead of time ]]>

I added a section on Lawvere’s definition to adjoint functor and also made an article for Functorial Semantics of Algebraic Theories.

]]>