{"id":"https://openalex.org/W2120013083","doi":"https://doi.org/10.1109/lics.1995.523267","title":"Finitely monotone properties","display_name":"Finitely monotone properties","publication_year":2002,"publication_date":"2002-11-19","ids":{"openalex":"https://openalex.org/W2120013083","doi":"https://doi.org/10.1109/lics.1995.523267","mag":"2120013083"},"language":"en","primary_location":{"id":"doi:10.1109/lics.1995.523267","is_oa":false,"landing_page_url":"https://doi.org/10.1109/lics.1995.523267","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science","raw_type":"proceedings-article"},"type":"conference-paper","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/A5037776590","display_name":"Alexei P. Stolboushkin","orcid":null},"institutions":[{"id":"https://openalex.org/I161318765","display_name":"University of California, Los Angeles","ror":"https://ror.org/046rm7j60","country_code":"US","type":"education","lineage":["https://openalex.org/I161318765"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"A.P. Stolboushkin","raw_affiliation_strings":["Department of Mathematics, University of California, Los Angeles, Los Angeles, CA, USA","[Dept. of Math., California Univ., Los Angeles, CA, USA]"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics, University of California, Los Angeles, Los Angeles, CA, USA","institution_ids":["https://openalex.org/I161318765"]},{"raw_affiliation_string":"[Dept. of Math., California Univ., Los Angeles, CA, USA]","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5037776590"],"corresponding_institution_ids":["https://openalex.org/I161318765"],"apc_list":null,"apc_paid":null,"fwci":1.0272,"has_fulltext":false,"cited_by_count":30,"citation_normalized_percentile":{"value":0.75246026,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"49","issue":null,"first_page":"324","last_page":"330"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9987999796867371,"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.9987999796867371,"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.9937000274658203,"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/T11182","display_name":"Auction Theory and Applications","score":0.9914000034332275,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/monotone-polygon","display_name":"Monotone polygon","score":0.861399233341217},{"id":"https://openalex.org/keywords/lemma","display_name":"Lemma (botany)","score":0.8527524471282959},{"id":"https://openalex.org/keywords/characterization","display_name":"Characterization (materials science)","score":0.7360461354255676},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.721045732498169},{"id":"https://openalex.org/keywords/order","display_name":"Order (exchange)","score":0.5544212460517883},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.5437068939208984},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.5290125012397766},{"id":"https://openalex.org/keywords/constant","display_name":"Constant (computer programming)","score":0.4897587299346924},{"id":"https://openalex.org/keywords/property-testing","display_name":"Property testing","score":0.45473629236221313},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.44099724292755127},{"id":"https://openalex.org/keywords/finitely-generated-abelian-group","display_name":"Finitely-generated abelian group","score":0.431222528219223},{"id":"https://openalex.org/keywords/first-order-logic","display_name":"First-order logic","score":0.41894716024398804},{"id":"https://openalex.org/keywords/polynomial","display_name":"Polynomial","score":0.4166316092014313},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.15952950716018677}],"concepts":[{"id":"https://openalex.org/C2834757","wikidata":"https://www.wikidata.org/wiki/Q4925424","display_name":"Monotone polygon","level":2,"score":0.861399233341217},{"id":"https://openalex.org/C2777759810","wikidata":"https://www.wikidata.org/wiki/Q149316","display_name":"Lemma (botany)","level":3,"score":0.8527524471282959},{"id":"https://openalex.org/C2780841128","wikidata":"https://www.wikidata.org/wiki/Q5073781","display_name":"Characterization (materials science)","level":2,"score":0.7360461354255676},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.721045732498169},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.5544212460517883},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.5437068939208984},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.5290125012397766},{"id":"https://openalex.org/C2777027219","wikidata":"https://www.wikidata.org/wiki/Q1284190","display_name":"Constant (computer programming)","level":2,"score":0.4897587299346924},{"id":"https://openalex.org/C123842658","wikidata":"https://www.wikidata.org/wiki/Q2918980","display_name":"Property testing","level":2,"score":0.45473629236221313},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.44099724292755127},{"id":"https://openalex.org/C162860070","wikidata":"https://www.wikidata.org/wiki/Q142140","display_name":"Finitely-generated abelian group","level":2,"score":0.431222528219223},{"id":"https://openalex.org/C100481476","wikidata":"https://www.wikidata.org/wiki/Q4055684","display_name":"First-order logic","level":2,"score":0.41894716024398804},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.4166316092014313},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.15952950716018677},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C10138342","wikidata":"https://www.wikidata.org/wiki/Q43015","display_name":"Finance","level":1,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"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/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C171250308","wikidata":"https://www.wikidata.org/wiki/Q11468","display_name":"Nanotechnology","level":1,"score":0.0},{"id":"https://openalex.org/C46757340","wikidata":"https://www.wikidata.org/wiki/Q43238","display_name":"Poaceae","level":2,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","level":1,"score":0.0},{"id":"https://openalex.org/C192562407","wikidata":"https://www.wikidata.org/wiki/Q228736","display_name":"Materials science","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/lics.1995.523267","is_oa":false,"landing_page_url":"https://doi.org/10.1109/lics.1995.523267","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":12,"referenced_works":["https://openalex.org/W1555138513","https://openalex.org/W1591825827","https://openalex.org/W1970755596","https://openalex.org/W1984890936","https://openalex.org/W2036656440","https://openalex.org/W2059144726","https://openalex.org/W2060270693","https://openalex.org/W2063168938","https://openalex.org/W2077606875","https://openalex.org/W2082035816","https://openalex.org/W2475764596","https://openalex.org/W3105529609"],"related_works":["https://openalex.org/W3006682748","https://openalex.org/W1097487277","https://openalex.org/W2949964783","https://openalex.org/W2768610039","https://openalex.org/W4247687185","https://openalex.org/W2569682947","https://openalex.org/W3012217727","https://openalex.org/W2963396042","https://openalex.org/W2951610245","https://openalex.org/W3037410748"],"abstract_inverted_index":{"A":[0],"characterization":[1,82],"of":[2,11,24,27,59,63,67],"definability":[3],"by":[4],"positive":[5,64],"first":[6,34,49],"order":[7,35,50],"formulas":[8],"in":[9,97],"terms":[10],"Fraisse-Ehrenfeucht-like":[12],"games":[13],"is":[14,37,43,52],"developed.":[15],"Using":[16],"this":[17,98],"characterization,":[18],"an":[19],"elementary,":[20],"purely":[21],"combinatorial,":[22],"proof":[23,46],"the":[25,57],"failure":[26],"Lyndon's":[28,74],"Lemma":[29,75],"(1959)":[30],"(that":[31],"every":[32],"monotone":[33,88],"property":[36],"expressible":[38],"positively)":[39],"for":[40,56,77,86],"finite":[41,78],"models":[42],"given.":[44],"The":[45],"implies":[47],"that":[48],"logic":[51],"a":[53,60,93],"bad":[54],"candidate":[55],"role":[58],"uniform":[61],"version":[62],"Boolean":[65],"circuits":[66],"constant":[68],"depth":[69],"and":[70,90],"polynomial":[71],"size.":[72],"Although":[73],"fails":[76],"models,":[79],"same":[80],"similar":[81],"may":[83],"be":[84],"established":[85],"finitely":[87],"properties,":[89],"we":[91],"formulate":[92],"particular":[94],"open":[95],"problem":[96],"direction.":[99]},"counts_by_year":[{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":2},{"year":2014,"cited_by_count":3},{"year":2013,"cited_by_count":1}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}