{"id":"https://openalex.org/W3216049426","doi":"https://doi.org/10.1002/malq.202100016","title":"On the effective universality of mereological theories","display_name":"On the effective universality of mereological theories","publication_year":2021,"publication_date":"2021-11-22","ids":{"openalex":"https://openalex.org/W3216049426","doi":"https://doi.org/10.1002/malq.202100016","mag":"3216049426"},"language":"en","primary_location":{"id":"doi:10.1002/malq.202100016","is_oa":false,"landing_page_url":"https://doi.org/10.1002/malq.202100016","pdf_url":null,"source":{"id":"https://openalex.org/S172351290","display_name":"Mathematical logic quarterly","issn_l":"0942-5616","issn":["0942-5616","1521-3870"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Logic Quarterly","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/A5084964581","display_name":"Nikolay Bazhenov","orcid":"https://orcid.org/0000-0002-5834-2770"},"institutions":[{"id":"https://openalex.org/I4210096862","display_name":"Sobolev Institute of Mathematics","ror":"https://ror.org/00shc0s02","country_code":"RU","type":"facility","lineage":["https://openalex.org/I1313323035","https://openalex.org/I1313323035","https://openalex.org/I4210096862","https://openalex.org/I4210124601","https://openalex.org/I4210127387"]}],"countries":["RU"],"is_corresponding":true,"raw_author_name":"Nikolay Bazhenov","raw_affiliation_strings":["Sobolev Institute of Mathematics 4 Acad. Koptyug Ave. Novosibirsk 630090 Russia","Sobolev Institute of Mathematics, 4 Acad. Koptyug Ave., Novosibirsk, 630090 Russia"],"raw_orcid":"https://orcid.org/0000-0002-5834-2770","affiliations":[{"raw_affiliation_string":"Sobolev Institute of Mathematics 4 Acad. Koptyug Ave. Novosibirsk 630090 Russia","institution_ids":["https://openalex.org/I4210096862"]},{"raw_affiliation_string":"Sobolev Institute of Mathematics, 4 Acad. Koptyug Ave., Novosibirsk, 630090 Russia","institution_ids":["https://openalex.org/I4210096862"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5082247761","display_name":"Hsing-chien Tsai","orcid":"https://orcid.org/0000-0002-2113-8012"},"institutions":[{"id":"https://openalex.org/I148099254","display_name":"National Chung Cheng University","ror":"https://ror.org/0028v3876","country_code":"TW","type":"education","lineage":["https://openalex.org/I148099254"]}],"countries":["TW"],"is_corresponding":true,"raw_author_name":"Hsing\u2010Chien Tsai","raw_affiliation_strings":["Department of Philosophy National Chung Cheng University No.168, Section\u00a01, University Road Min\u2010Hsiung Chia\u2010Yi 621301 Taiwan","Department of Philosophy, National Chung Cheng University, No.168, Section 1, University Road, Min-Hsiung, Chia-Yi, 621301 Taiwan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Philosophy National Chung Cheng University No.168, Section\u00a01, University Road Min\u2010Hsiung Chia\u2010Yi 621301 Taiwan","institution_ids":["https://openalex.org/I148099254"]},{"raw_affiliation_string":"Department of Philosophy, National Chung Cheng University, No.168, Section 1, University Road, Min-Hsiung, Chia-Yi, 621301 Taiwan","institution_ids":["https://openalex.org/I148099254"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5082247761","https://openalex.org/A5084964581"],"corresponding_institution_ids":["https://openalex.org/I148099254","https://openalex.org/I4210096862"],"apc_list":{"value":2630,"currency":"USD","value_usd":2630},"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.21471837,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"68","issue":"1","first_page":"48","last_page":"66"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9991999864578247,"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.9991999864578247,"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.9970999956130981,"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"}},{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9894000291824341,"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/mereology","display_name":"Mereology","score":0.9768106341362},{"id":"https://openalex.org/keywords/universality","display_name":"Universality (dynamical systems)","score":0.7292277812957764},{"id":"https://openalex.org/keywords/extensionality","display_name":"Extensionality","score":0.7013522386550903},{"id":"https://openalex.org/keywords/axiom","display_name":"Axiom","score":0.6464124321937561},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.6347790360450745},{"id":"https://openalex.org/keywords/closure","display_name":"Closure (psychology)","score":0.473335325717926},{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.4351838529109955},{"id":"https://openalex.org/keywords/extensional-definition","display_name":"Extensional definition","score":0.42614132165908813},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.38387203216552734},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.3291813135147095},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.17739605903625488},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.17415088415145874},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.07901924848556519},{"id":"https://openalex.org/keywords/law","display_name":"Law","score":0.07592028379440308},{"id":"https://openalex.org/keywords/quantum-mechanics","display_name":"Quantum mechanics","score":0.0700729489326477}],"concepts":[{"id":"https://openalex.org/C152385842","wikidata":"https://www.wikidata.org/wiki/Q1194916","display_name":"Mereology","level":2,"score":0.9768106341362},{"id":"https://openalex.org/C183992945","wikidata":"https://www.wikidata.org/wiki/Q2495574","display_name":"Universality (dynamical systems)","level":2,"score":0.7292277812957764},{"id":"https://openalex.org/C150355047","wikidata":"https://www.wikidata.org/wiki/Q965432","display_name":"Extensionality","level":2,"score":0.7013522386550903},{"id":"https://openalex.org/C167729594","wikidata":"https://www.wikidata.org/wiki/Q17736","display_name":"Axiom","level":2,"score":0.6464124321937561},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6347790360450745},{"id":"https://openalex.org/C146834321","wikidata":"https://www.wikidata.org/wiki/Q2979672","display_name":"Closure (psychology)","level":2,"score":0.473335325717926},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.4351838529109955},{"id":"https://openalex.org/C136137745","wikidata":"https://www.wikidata.org/wiki/Q19515659","display_name":"Extensional definition","level":3,"score":0.42614132165908813},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.38387203216552734},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.3291813135147095},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.17739605903625488},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.17415088415145874},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.07901924848556519},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.07592028379440308},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0700729489326477},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C77928131","wikidata":"https://www.wikidata.org/wiki/Q193343","display_name":"Tectonics","level":2,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","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":[{"id":"doi:10.1002/malq.202100016","is_oa":false,"landing_page_url":"https://doi.org/10.1002/malq.202100016","pdf_url":null,"source":{"id":"https://openalex.org/S172351290","display_name":"Mathematical logic quarterly","issn_l":"0942-5616","issn":["0942-5616","1521-3870"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Logic Quarterly","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.8100000023841858,"display_name":"Life below water","id":"https://metadata.un.org/sdg/14"}],"awards":[{"id":"https://openalex.org/G1021779252","display_name":null,"funder_award_id":"20\u201031\u201070006","funder_id":"https://openalex.org/F4320321079","funder_display_name":"Russian Foundation for Basic Research"},{"id":"https://openalex.org/G1411937743","display_name":null,"funder_award_id":"MOST\u00a0107\u20102410\u2010H\u2010194\u2010089\u2010MY3","funder_id":"https://openalex.org/F4320322795","funder_display_name":"Ministry of Science and Technology, Taiwan"}],"funders":[{"id":"https://openalex.org/F4320321079","display_name":"Russian Foundation for Basic Research","ror":"https://ror.org/02mh1ke95"},{"id":"https://openalex.org/F4320322795","display_name":"Ministry of Science and Technology, Taiwan","ror":"https://ror.org/02kv4zf79"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":43,"referenced_works":["https://openalex.org/W606831423","https://openalex.org/W1568406216","https://openalex.org/W1902838093","https://openalex.org/W1982821787","https://openalex.org/W1986654669","https://openalex.org/W1989997916","https://openalex.org/W1992539853","https://openalex.org/W1996816738","https://openalex.org/W2007304042","https://openalex.org/W2017531368","https://openalex.org/W2024339934","https://openalex.org/W2044599148","https://openalex.org/W2044797614","https://openalex.org/W2049602198","https://openalex.org/W2059527261","https://openalex.org/W2063706894","https://openalex.org/W2070115753","https://openalex.org/W2071549821","https://openalex.org/W2079926883","https://openalex.org/W2096515662","https://openalex.org/W2141777248","https://openalex.org/W2142840306","https://openalex.org/W2146750910","https://openalex.org/W2149937309","https://openalex.org/W2165758366","https://openalex.org/W2301374258","https://openalex.org/W2317860071","https://openalex.org/W2339732449","https://openalex.org/W2395023523","https://openalex.org/W2484528249","https://openalex.org/W2550229656","https://openalex.org/W2596616753","https://openalex.org/W2773863053","https://openalex.org/W2956245658","https://openalex.org/W2963736300","https://openalex.org/W2964092600","https://openalex.org/W2964175971","https://openalex.org/W4206797071","https://openalex.org/W4231125794","https://openalex.org/W4242679002","https://openalex.org/W6652106005","https://openalex.org/W6663228123","https://openalex.org/W6681172234"],"related_works":["https://openalex.org/W4366496405","https://openalex.org/W1559970946","https://openalex.org/W3126894249","https://openalex.org/W1973000567","https://openalex.org/W2136463143","https://openalex.org/W206478063","https://openalex.org/W2504487237","https://openalex.org/W4388117430","https://openalex.org/W2500335603","https://openalex.org/W2476701396"],"abstract_inverted_index":{"Abstract":[0],"Mereological":[1],"theories":[2,58],"are":[3,48],"based":[4],"on":[5],"the":[6,60,70,95,117,121,129,136,162,166],"binary":[7],"relation":[8],"\u201cbeing":[9],"a":[10,32,43,99],"part":[11],"of\u201d.":[12],"The":[13,53],"systematic":[14],"investigations":[15],"of":[16,34,45,49,62,64,72,88,116],"mereology":[17],"were":[18],"initiated":[19],"by":[20],"Le\u015bniewski.":[21],"More":[22],"recent":[23],"authors":[24],"(including":[25],"Simons,":[26],"Casati":[27],"and":[28,76,90,93],"Varzi,":[29],"Hovda)":[30],"formulated":[31],"series":[33],"first\u2010order":[35,56],"mereological":[36,57,101,141],"axioms.":[37],"These":[38],"axioms":[39],"give":[40],"rise":[41],"to":[42],"plenitude":[44],"theories,":[46],"which":[47,146],"great":[50],"philosophical":[51],"interest.":[52],"paper":[54],"considers":[55],"from":[59],"point":[61],"view":[63],"computable":[65],"(or":[66],"effective)":[67],"algebra.":[68],"Following":[69],"approach":[71],"Hirschfeldt,":[73],"Khoussainov,":[74],"Shore,":[75],"Slinko,":[77],"we":[78,126],"isolate":[79],"two":[80],"important":[81],"computability\u2010theoretic":[82],"properties":[83],"P":[84],"(namely,":[85],"degree":[86],"spectra":[87],"structures,":[89],"effective":[91],"dimensions),":[92],"consider":[94],"following":[96,137],"problem:":[97],"for":[98,161],"given":[100],"theory":[102,130,144,163,170],"T":[103,131,145],",":[104],"is":[105,123,132,147,154,159,178,186],"it":[106],"true":[107,160],"that":[108,128,172],"its":[109],"models":[110],"can":[111],"realize":[112],"every":[113],"possible":[114],"variant":[115],"property":[118],"P?":[119],"If":[120],"answer":[122],"positive,":[124],"then":[125],"say":[127],"\u2010universal.":[133,155,180,188],"We":[134],"obtain":[135],"results":[138],"about":[139],"known":[140],"theories.":[142],"Any":[143],"weaker":[148],"than":[149],"Extensional":[150,184],"Closure":[151],"Mereology":[152,185],"(CEM)":[153],"A":[156],"similar":[157],"fact":[158],"GM2.":[164],"On":[165],"other":[167],"hand,":[168],"any":[169],"stronger":[171],"CEM":[173],"+":[174,176],"(C)":[175],"(G)":[177],"not":[179,187],"In":[181],"particular,":[182],"General":[183]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}