3 Matching Annotations
 Mar 2021

en.wikipedia.org en.wikipedia.org

How is it that https://en.wikipedia.org/wiki/Type_theory links to https://en.wikipedia.org/wiki/Type_(model_theory) but the latter does not have any link to or mention of https://en.wikipedia.org/wiki/Type_theory
Neither mentions the relationship between them, but both of them should, since I expect that is a common question.


en.wikipedia.org en.wikipedia.org

Model theory recognizes and is intimately concerned with a duality: it examines semantical elements (meaning and truth) by means of syntactical elements (formulas and proofs) of a corresponding language

