This HTML5 document contains 36 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n12https://global.dbpedia.org/id/
dbthttp://dbpedia.org/resource/Template:
rdfshttp://www.w3.org/2000/01/rdf-schema#
freebasehttp://rdf.freebase.com/ns/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
wikipedia-enhttp://en.wikipedia.org/wiki/
dbphttp://dbpedia.org/property/
dbchttp://dbpedia.org/resource/Category:
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
goldhttp://purl.org/linguistics/gold/
dbrhttp://dbpedia.org/resource/

Statements

Subject Item
dbr:Model_theory
dbo:wikiPageWikiLink
dbr:Computable_model_theory
Subject Item
dbr:List_of_mathematical_logic_topics
dbo:wikiPageWikiLink
dbr:Computable_model_theory
Subject Item
dbr:Mathematical_logic
dbo:wikiPageWikiLink
dbr:Computable_model_theory
Subject Item
dbr:Glossary_of_areas_of_mathematics
dbo:wikiPageWikiLink
dbr:Computable_model_theory
Subject Item
dbr:Computable_model_theory
rdf:type
dbo:Organisation
rdfs:label
Computable model theory
rdfs:comment
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.
dcterms:subject
dbc:Constructivism_(mathematics) dbc:Model_theory
dbo:wikiPageID
11574361
dbo:wikiPageRevisionID
1069726788
dbo:wikiPageWikiLink
dbr:Vaught_conjecture dbr:Soviet_Union dbc:Model_theory dbc:Constructivism_(mathematics) dbr:Cold_War dbr:Australia dbr:United_States dbr:Computability dbr:Russia dbr:Model_theory
owl:sameAs
freebase:m.02rjqng wikidata:Q5157266 n12:4hp3z
dbp:wikiPageUsesTemplate
dbt:Citation dbt:Short_description
dbo:abstract
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 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.
gold:hypernym
dbr:Branch
prov:wasDerivedFrom
wikipedia-en:Computable_model_theory?oldid=1069726788&ns=0
dbo:wikiPageLength
1379
foaf:isPrimaryTopicOf
wikipedia-en:Computable_model_theory
Subject Item
dbr:Valentina_Harizanov
dbo:wikiPageWikiLink
dbr:Computable_model_theory
Subject Item
dbr:Bakhadyr_Khoussainov
dbo:wikiPageWikiLink
dbr:Computable_model_theory
Subject Item
dbr:Computable_Model_Theory
dbo:wikiPageWikiLink
dbr:Computable_model_theory
dbo:wikiPageRedirects
dbr:Computable_model_theory
Subject Item
wikipedia-en:Computable_model_theory
foaf:primaryTopic
dbr:Computable_model_theory