{"id":"https://openalex.org/W1526036319","doi":"https://doi.org/10.1007/bfb0030332","title":"From dynamic algebras to test algebras","display_name":"From dynamic algebras to test algebras","publication_year":2006,"publication_date":"2006-01-25","ids":{"openalex":"https://openalex.org/W1526036319","doi":"https://doi.org/10.1007/bfb0030332","mag":"1526036319"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1007/bfb0030332","pdf_url":null,"source":{"id":"https://openalex.org/S4306420488","display_name":"Mathematical Foundations of Computer Science","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_indexed_in_scopus":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},"type":"book-chapter","type_crossref":"book-chapter","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/A5064827689","display_name":"Jan Reiterman","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Jan Reiterman","raw_affiliation_strings":["Technical University of Prague"],"affiliations":[{"raw_affiliation_string":"Technical University of Prague","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5073900032","display_name":"V\u011bra Trnkov\u00e1","orcid":null},"institutions":[{"id":"https://openalex.org/I21250087","display_name":"Charles University","ror":"https://ror.org/024d6js02","country_code":"CZ","type":"education","lineage":["https://openalex.org/I21250087"]}],"countries":["CZ"],"is_corresponding":false,"raw_author_name":"V\u011bra Trnkov\u00e1","raw_affiliation_strings":["Charles University Prague"],"affiliations":[{"raw_affiliation_string":"Charles University Prague","institution_ids":["https://openalex.org/I21250087"]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.277,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.319411,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":74,"max":76},"biblio":{"volume":null,"issue":null,"first_page":"490","last_page":"497"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9995,"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"}},"topics":[{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9995,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9995,"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/T11727","display_name":"Advanced Algebra and Logic","score":0.9984,"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/surjective-function","display_name":"Surjective function","score":0.80402464},{"id":"https://openalex.org/keywords/quadratic-algebra","display_name":"Quadratic algebra","score":0.5256406}],"concepts":[{"id":"https://openalex.org/C119238805","wikidata":"https://www.wikidata.org/wiki/Q229102","display_name":"Surjective function","level":2,"score":0.80402464},{"id":"https://openalex.org/C70710897","wikidata":"https://www.wikidata.org/wiki/Q680081","display_name":"Separable space","level":2,"score":0.79931045},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.70949954},{"id":"https://openalex.org/C2777267654","wikidata":"https://www.wikidata.org/wiki/Q3519023","display_name":"Test (biology)","level":2,"score":0.6073307},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.5764302},{"id":"https://openalex.org/C104736235","wikidata":"https://www.wikidata.org/wiki/Q7268354","display_name":"Quadratic algebra","level":5,"score":0.5256406},{"id":"https://openalex.org/C162860070","wikidata":"https://www.wikidata.org/wiki/Q142140","display_name":"Finitely-generated abelian group","level":2,"score":0.4899899},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.47126222},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.44856474},{"id":"https://openalex.org/C14394260","wikidata":"https://www.wikidata.org/wiki/Q4723980","display_name":"Algebra representation","level":3,"score":0.20328215},{"id":"https://openalex.org/C138354692","wikidata":"https://www.wikidata.org/wiki/Q1231309","display_name":"Division algebra","level":4,"score":0.19520801},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.13636515},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.054043263},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.040857345},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1007/bfb0030332","pdf_url":null,"source":{"id":"https://openalex.org/S4306420488","display_name":"Mathematical Foundations of Computer Science","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_indexed_in_scopus":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false}],"best_oa_location":null,"sustainable_development_goals":[],"grants":[],"datasets":[],"versions":[],"referenced_works_count":9,"referenced_works":["https://openalex.org/W1542382543","https://openalex.org/W1547094549","https://openalex.org/W1586267180","https://openalex.org/W1600213391","https://openalex.org/W1754555079","https://openalex.org/W1772658232","https://openalex.org/W1980738498","https://openalex.org/W2018732573","https://openalex.org/W2296763464"],"related_works":["https://openalex.org/W4256653909","https://openalex.org/W3015672237","https://openalex.org/W2964018712","https://openalex.org/W2963193171","https://openalex.org/W2849979545","https://openalex.org/W2162397735","https://openalex.org/W2132975338","https://openalex.org/W2101435336","https://openalex.org/W1973583815","https://openalex.org/W1607139407"],"abstract_inverted_index":{"We":[0],"generalize":[1],"some":[2],"results,":[3],"known":[4],"for":[5],"dynamic":[6,49,70],"algebras,":[7,50],"to":[8,27,48,77],"test":[9,23,30,38,43,53,72],"algebras.":[10],"Main":[11],"results:":[12],"Every":[13],"free":[14,51],"algebra":[15],"in":[16,63],"the":[17,64],"equational":[18,33,65],"class":[19,66],"generated":[20,35,67],"by":[21,36,41,68],"separable":[22,37,52,69],"algebras":[24,39,54,73],"is":[25],"isomorphic":[26],"a":[28],"Kripke":[29,42],"structure.":[31],"Consequently,":[32],"classes":[34],"and":[40],"structures":[44],"coincide.":[45],"In":[46],"contrary":[47],"over":[55],"finitely":[56],"many":[57],"generators":[58],"do":[59],"not":[60,76],"exist.":[61],"Epimorphisms":[62],"or":[71],"are":[74],"shown":[75],"be":[78],"necessarily":[79],"surjective.":[80]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W1526036319","counts_by_year":[],"updated_date":"2025-01-17T06:18:41.423739","created_date":"2016-06-24"}