494 followers
The semantic view of theories and higher-order languages Laurenz Hudetz https://t.co/SKYNKVZC0u "every family of set-theoretic structures has an associated language of higher-order logic and an up to signature isomorphism unique model-theoretic counterpar