{"id":"https://openalex.org/W2122759166","doi":"https://doi.org/10.1007/s00153-005-0302-2","title":"A relative interpolation theorem for infinitary universal Horn logic and its applications","display_name":"A relative interpolation theorem for infinitary universal Horn logic and its applications","publication_year":2006,"publication_date":"2006-01-30","ids":{"openalex":"https://openalex.org/W2122759166","doi":"https://doi.org/10.1007/s00153-005-0302-2","mag":"2122759166"},"language":"en","primary_location":{"id":"doi:10.1007/s00153-005-0302-2","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s00153-005-0302-2","pdf_url":null,"source":{"id":"https://openalex.org/S188076996","display_name":"Archive for Mathematical Logic","issn_l":"0933-5846","issn":["0933-5846","1432-0665"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Archive for Mathematical Logic","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5064703709","display_name":"Alexej P. Pynko","orcid":"https://orcid.org/0000-0002-3478-9850"},"institutions":[{"id":"https://openalex.org/I4210156878","display_name":"V.M. Glushkov Institute of Cybernetics","ror":"https://ror.org/05xmg2z40","country_code":"UA","type":"facility","lineage":["https://openalex.org/I149851306","https://openalex.org/I4210156878"]},{"id":"https://openalex.org/I149851306","display_name":"National Academy of Sciences of Ukraine","ror":"https://ror.org/00je4t102","country_code":"UA","type":"funder","lineage":["https://openalex.org/I149851306"]}],"countries":["UA"],"is_corresponding":true,"raw_author_name":"Alexej P. Pynko","raw_affiliation_strings":["Department 100, V. M. Glushkov Institute of Cybernetics of National Academy of Sciences of Ukraine, Glushkov prosp. 40, Kiev, 03680, Ukraine","V.M. Glushkov Institute of Cybernetics of National Academy of Sciences of Ukraine"],"affiliations":[{"raw_affiliation_string":"Department 100, V. M. Glushkov Institute of Cybernetics of National Academy of Sciences of Ukraine, Glushkov prosp. 40, Kiev, 03680, Ukraine","institution_ids":["https://openalex.org/I4210156878"]},{"raw_affiliation_string":"V.M. Glushkov Institute of Cybernetics of National Academy of Sciences of Ukraine","institution_ids":["https://openalex.org/I4210156878","https://openalex.org/I149851306"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5064703709"],"corresponding_institution_ids":["https://openalex.org/I149851306","https://openalex.org/I4210156878"],"apc_list":{"value":2390,"currency":"EUR","value_usd":2990},"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.16999687,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"45","issue":"3","first_page":"267","last_page":"305"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9998000264167786,"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/T11727","display_name":"Advanced Algebra and Logic","score":0.9998000264167786,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9988999962806702,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T11567","display_name":"semigroups and automata theory","score":0.9901999831199646,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.8197585344314575},{"id":"https://openalex.org/keywords/homomorphism","display_name":"Homomorphism","score":0.6098309755325317},{"id":"https://openalex.org/keywords/surjective-function","display_name":"Surjective function","score":0.581073522567749},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.5234653353691101},{"id":"https://openalex.org/keywords/brouwer-fixed-point-theorem","display_name":"Brouwer fixed-point theorem","score":0.5227285027503967},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.48012638092041016},{"id":"https://openalex.org/keywords/compactness-theorem","display_name":"Compactness theorem","score":0.4680086672306061},{"id":"https://openalex.org/keywords/g\u00f6dels-completeness-theorem","display_name":"G\u00f6del's completeness theorem","score":0.46284574270248413},{"id":"https://openalex.org/keywords/fundamental-theorem","display_name":"Fundamental theorem","score":0.4338720738887787},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.3589854836463928},{"id":"https://openalex.org/keywords/fixed-point-theorem","display_name":"Fixed-point theorem","score":0.2903439998626709}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.8197585344314575},{"id":"https://openalex.org/C4042151","wikidata":"https://www.wikidata.org/wiki/Q215111","display_name":"Homomorphism","level":2,"score":0.6098309755325317},{"id":"https://openalex.org/C119238805","wikidata":"https://www.wikidata.org/wiki/Q229102","display_name":"Surjective function","level":2,"score":0.581073522567749},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.5234653353691101},{"id":"https://openalex.org/C146147875","wikidata":"https://www.wikidata.org/wiki/Q1144897","display_name":"Brouwer fixed-point theorem","level":3,"score":0.5227285027503967},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.48012638092041016},{"id":"https://openalex.org/C171636804","wikidata":"https://www.wikidata.org/wiki/Q1149458","display_name":"Compactness theorem","level":4,"score":0.4680086672306061},{"id":"https://openalex.org/C200116569","wikidata":"https://www.wikidata.org/wiki/Q902052","display_name":"G\u00f6del's completeness theorem","level":2,"score":0.46284574270248413},{"id":"https://openalex.org/C194886279","wikidata":"https://www.wikidata.org/wiki/Q430271","display_name":"Fundamental theorem","level":3,"score":0.4338720738887787},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.3589854836463928},{"id":"https://openalex.org/C45962547","wikidata":"https://www.wikidata.org/wiki/Q1422068","display_name":"Fixed-point theorem","level":2,"score":0.2903439998626709}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s00153-005-0302-2","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s00153-005-0302-2","pdf_url":null,"source":{"id":"https://openalex.org/S188076996","display_name":"Archive for Mathematical Logic","issn_l":"0933-5846","issn":["0933-5846","1432-0665"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Archive for Mathematical Logic","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/10","score":0.44999998807907104,"display_name":"Reduced inequalities"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":21,"referenced_works":["https://openalex.org/W1483568252","https://openalex.org/W1500907847","https://openalex.org/W1554962677","https://openalex.org/W1996579835","https://openalex.org/W2002522556","https://openalex.org/W2031598858","https://openalex.org/W2036183559","https://openalex.org/W2049352524","https://openalex.org/W2051471664","https://openalex.org/W2061665221","https://openalex.org/W2095367681","https://openalex.org/W2096482476","https://openalex.org/W2108911687","https://openalex.org/W2143382644","https://openalex.org/W2169148404","https://openalex.org/W2188511145","https://openalex.org/W2592837392","https://openalex.org/W3128384527","https://openalex.org/W3152800724","https://openalex.org/W4205529794","https://openalex.org/W4245085453"],"related_works":["https://openalex.org/W2366068903","https://openalex.org/W2359037450","https://openalex.org/W2492532462","https://openalex.org/W2500021188","https://openalex.org/W29005263","https://openalex.org/W1793796344","https://openalex.org/W2357252996","https://openalex.org/W1176213484","https://openalex.org/W3116206319","https://openalex.org/W4230277183"],"abstract_inverted_index":null,"counts_by_year":[{"year":2020,"cited_by_count":1},{"year":2017,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}