Computable model theory
id:
computable-model-theory-198-7854524
title:
Computable model theory
text:
Computable model theory is a branch of model theory which deals with questions of computability as they apply to model-theoretical structures. Computable model theory introduces the ideas of computable and decidable models and theories and one of the basic problems is discovering whether or not computable or decidable models fulfilling certain model-theoretic conditions can be shown to exist. Computable model theory was developed almost simultaneously by mathematicians in the West, primarily loc
brand slug:
wiki
category slug:
encyclopedia
description:
Branch of model theory that deals with computation
original url:
https://en.wikipedia.org/wiki/Computable_model_theory
date created:
date modified:
2022-02-03T19:28:10Z
main entity:
{"identifier":"Q5157266","url":"https://www.wikidata.org/entity/Q5157266"}
image:
fields total:
13
integrity:
14