{"id":"https://openalex.org/W4386363452","doi":"https://doi.org/10.1007/978-3-031-38499-8_30","title":"Combining Combination Properties: An Analysis of\u00a0Stable Infiniteness, Convexity, and\u00a0Politeness","display_name":"Combining Combination Properties: An Analysis of\u00a0Stable Infiniteness, Convexity, and\u00a0Politeness","publication_year":2023,"publication_date":"2023-01-01","ids":{"openalex":"https://openalex.org/W4386363452","doi":"https://doi.org/10.1007/978-3-031-38499-8_30"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-031-38499-8_30","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-38499-8_30","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-38499-8_30.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"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":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-38499-8_30.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5011100065","display_name":"Guilherme V. Toledo","orcid":"https://orcid.org/0000-0002-6539-398X"},"institutions":[{"id":"https://openalex.org/I13955877","display_name":"Bar-Ilan University","ror":"https://ror.org/03kgsv495","country_code":"IL","type":"education","lineage":["https://openalex.org/I13955877"]}],"countries":["IL"],"is_corresponding":true,"raw_author_name":"Guilherme V. Toledo","raw_affiliation_strings":["Bar-Ilan University, Ramat Gan, Israel"],"affiliations":[{"raw_affiliation_string":"Bar-Ilan University, Ramat Gan, Israel","institution_ids":["https://openalex.org/I13955877"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5052302712","display_name":"Yoni Zohar","orcid":"https://orcid.org/0000-0002-2972-6695"},"institutions":[{"id":"https://openalex.org/I13955877","display_name":"Bar-Ilan University","ror":"https://ror.org/03kgsv495","country_code":"IL","type":"education","lineage":["https://openalex.org/I13955877"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"Yoni Zohar","raw_affiliation_strings":["Bar-Ilan University, Ramat Gan, Israel"],"affiliations":[{"raw_affiliation_string":"Bar-Ilan University, Ramat Gan, Israel","institution_ids":["https://openalex.org/I13955877"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5026961968","display_name":"Clark Barrett","orcid":"https://orcid.org/0000-0002-9522-3084"},"institutions":[{"id":"https://openalex.org/I97018004","display_name":"Stanford University","ror":"https://ror.org/00f54p054","country_code":"US","type":"education","lineage":["https://openalex.org/I97018004"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Clark Barrett","raw_affiliation_strings":["Stanford University, Stanford, USA"],"affiliations":[{"raw_affiliation_string":"Stanford University, Stanford, USA","institution_ids":["https://openalex.org/I97018004"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5011100065"],"corresponding_institution_ids":["https://openalex.org/I13955877"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":{"value":5000,"currency":"EUR","value_usd":5392},"fwci":6.9739,"has_fulltext":true,"cited_by_count":7,"citation_normalized_percentile":{"value":0.97343808,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"522","last_page":"541"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9912999868392944,"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/T10142","display_name":"Formal Methods in Verification","score":0.9912999868392944,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9872000217437744,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9567999839782715,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/politeness","display_name":"Politeness","score":0.8524558544158936},{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.6389067769050598},{"id":"https://openalex.org/keywords/convexity","display_name":"Convexity","score":0.6093868017196655},{"id":"https://openalex.org/keywords/smoothness","display_name":"Smoothness","score":0.5927034020423889},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5242562294006348},{"id":"https://openalex.org/keywords/sort","display_name":"sort","score":0.5197082161903381},{"id":"https://openalex.org/keywords/table","display_name":"Table (database)","score":0.43478915095329285},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.4176815152168274},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.4065653681755066},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.3863217830657959},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.36520063877105713},{"id":"https://openalex.org/keywords/linguistics","display_name":"Linguistics","score":0.15801557898521423},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.15248113870620728},{"id":"https://openalex.org/keywords/geometry","display_name":"Geometry","score":0.1330564320087433},{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.11933907866477966},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.05952712893486023}],"concepts":[{"id":"https://openalex.org/C61123122","wikidata":"https://www.wikidata.org/wiki/Q281287","display_name":"Politeness","level":2,"score":0.8524558544158936},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.6389067769050598},{"id":"https://openalex.org/C72134830","wikidata":"https://www.wikidata.org/wiki/Q5166524","display_name":"Convexity","level":2,"score":0.6093868017196655},{"id":"https://openalex.org/C102634674","wikidata":"https://www.wikidata.org/wiki/Q868473","display_name":"Smoothness","level":2,"score":0.5927034020423889},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5242562294006348},{"id":"https://openalex.org/C88548561","wikidata":"https://www.wikidata.org/wiki/Q347599","display_name":"sort","level":2,"score":0.5197082161903381},{"id":"https://openalex.org/C45235069","wikidata":"https://www.wikidata.org/wiki/Q278425","display_name":"Table (database)","level":2,"score":0.43478915095329285},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.4176815152168274},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.4065653681755066},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.3863217830657959},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.36520063877105713},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.15801557898521423},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.15248113870620728},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.1330564320087433},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.11933907866477966},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.05952712893486023},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.0},{"id":"https://openalex.org/C106159729","wikidata":"https://www.wikidata.org/wiki/Q2294553","display_name":"Financial economics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-031-38499-8_30","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-38499-8_30","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-38499-8_30.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"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":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"}],"best_oa_location":{"id":"doi:10.1007/978-3-031-38499-8_30","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-38499-8_30","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-38499-8_30.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"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":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G4127838089","display_name":null,"funder_award_id":"NSF-BSF","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G5921281487","display_name":null,"funder_award_id":"number","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G6956655739","display_name":null,"funder_award_id":"2110397","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G848032724","display_name":null,"funder_award_id":"Science","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320322252","display_name":"Israel Science Foundation","ror":"https://ror.org/04sazxf24"}],"has_content":{"grobid_xml":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4386363452.pdf"},"referenced_works_count":12,"referenced_works":["https://openalex.org/W103385263","https://openalex.org/W1531082700","https://openalex.org/W1535925611","https://openalex.org/W1541711253","https://openalex.org/W1595386810","https://openalex.org/W1871671368","https://openalex.org/W2133570754","https://openalex.org/W2164778826","https://openalex.org/W2593951067","https://openalex.org/W3186746044","https://openalex.org/W4225922019","https://openalex.org/W6679068254"],"related_works":["https://openalex.org/W4254386783","https://openalex.org/W2940405130","https://openalex.org/W2363211409","https://openalex.org/W2376481828","https://openalex.org/W2390990501","https://openalex.org/W4244087063","https://openalex.org/W2035309570","https://openalex.org/W2002792507","https://openalex.org/W4226280031","https://openalex.org/W4387602064"],"abstract_inverted_index":{"Abstract":[0],"We":[1],"make":[2],"two":[3],"contributions":[4],"to":[5,137,148,174],"the":[6,23,26,60,79,83,172,177],"study":[7],"of":[8,20,25,54,82,97,113,179],"theory":[9,32,99,116,140,147],"combination":[10,131,167],"in":[11,31,59,93,135,165,186],"satisfiability":[12],"modulo":[13],"theories.":[14],"The":[15,89,125],"first":[16],"is":[17,96,105,128,143,160,193],"a":[18,98,101,115,129,162],"table":[19,76,95],"examples":[21,56],"for":[22,122,145],"combinations":[24],"most":[27,90],"common":[28],"model-theoretic":[29],"properties":[30,85],"combination,":[33,141,188],"namely":[34],"stable":[35,191],"infiniteness,":[36],"smoothness,":[37],"convexity,":[38],"finite":[39,43],"witnessability,":[40],"and":[41,48,86,152],"strong":[42,49],"witnessability":[44],"(and":[45],"therefore":[46],"politeness":[47,50],"as":[51,189],"well).":[52],"All":[53],"our":[55],"are":[57,70],"sharp,":[58],"sense":[61],"that":[62,67,104,134,158],"we":[63],"also":[64],"offer":[65],"proofs":[66],"no":[68],"theories":[69,182],"available":[71],"within":[72],"simpler":[73,195],"signatures.":[74],"This":[75,169],"significantly":[77],"progresses":[78],"current":[80],"understanding":[81],"various":[84],"their":[87],"interactions.":[88],"remarkable":[91],"example":[92],"this":[94,166],"over":[100],"single":[102],"sort":[103],"polite":[106,110,139,187],"but":[107],"not":[108,161],"strongly":[109,153],"(the":[111],"existence":[112],"such":[114],"was":[117],"only":[118],"known":[119],"until":[120],"now":[121],"two-sorted":[123],"signatures).":[124],"second":[126],"contribution":[127],"new":[130],"theorem":[132],"showing":[133,157,180,190,197],"order":[136],"apply":[138],"it":[142],"sufficient":[144],"one":[146],"be":[149,184],"stably":[150],"infinite":[151],"finitely":[154],"witnessable,":[155],"thus":[156],"smoothness":[159],"critical":[163],"property":[164],"method.":[168],"result":[170],"has":[171],"potential":[173],"greatly":[175],"simplify":[176],"process":[178],"which":[181],"can":[183],"used":[185],"infiniteness":[192],"considerably":[194],"than":[196],"smoothness.":[198]},"counts_by_year":[{"year":2025,"cited_by_count":4},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":1}],"updated_date":"2026-03-27T05:58:40.876381","created_date":"2025-10-10T00:00:00"}