Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Computable_model_theory> ?p ?o. }
Showing items 1 to 13 of
13
with 100 items per page.
- Computable_model_theory abstract "Computable model theory is a branch of model theory which deals with questions of computability as they apply to model-theoretical structures. It was developed almost simultaneously by mathematicians in the West, primarily located in the United States and Australia, and Soviet Russia during the middle of the 20th century. Because of the Cold War there was little communication between these two groups and so a number of important results were discovered independently.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 wikiPageID "11574361".
- Computable_model_theory wikiPageRevisionID "539472128".
- Computable_model_theory hasPhotoCollection Computable_model_theory.
- Computable_model_theory subject Category:Constructivism_(mathematics).
- Computable_model_theory subject Category:Model_theory.
- Computable_model_theory comment "Computable model theory is a branch of model theory which deals with questions of computability as they apply to model-theoretical structures. It was developed almost simultaneously by mathematicians in the West, primarily located in the United States and Australia, and Soviet Russia during the middle of the 20th century.".
- Computable_model_theory label "Computable model theory".
- Computable_model_theory sameAs m.02rjqng.
- Computable_model_theory sameAs Q5157266.
- Computable_model_theory sameAs Q5157266.
- Computable_model_theory wasDerivedFrom Computable_model_theory?oldid=539472128.
- Computable_model_theory isPrimaryTopicOf Computable_model_theory.