{"id":"https://openalex.org/keywords/computable-model-theory","display_name":"computable model theory","description":"Computable model theory is a branch of mathematical logic that studies structures and their properties using computability and algorithmic methods.","display_name_alternatives":["effective model theory","recursive model theory"],"ids":{"openalex":"https://openalex.org/keywords/computable-model-theory","wikidata":"https://www.wikidata.org/wiki/Q5157266"},"primary_topic":{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.7227,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.7227,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11151","display_name":"Advanced Topology and Set Theory","score":0.2388,"subfield":{"id":"https://openalex.org/subfields/2608","display_name":"Geometry and Topology"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"works_count":621,"cited_by_count":3874,"works_api_url":"https://api.openalex.org/works?filter=keywords.id:keywords/computable-model-theory","updated_date":"2026-10-17T04:06:27","created_date":"2022-04-12T19:38:12"}