Semantic Views of Aggregates
When can an interpretation 𝕴 be regarded as a computable model of an axiomatic theory 𝕋? To be a model, 𝕴 must make every axiom of 𝕋 true; to be computable, 𝕴 must interpret each relator of 𝕋 as a computable relation and each functor of 𝕋 as a computable function.
KeywordsSemantic View Axiomatic Theory Weak Axiom Computable Relation Finite Term
Unable to display preview. Download preview PDF.