{"id":"https://openalex.org/W2127621780","doi":"https://doi.org/10.2307/2275580","title":"Counting finite models","display_name":"Counting finite models","publication_year":1997,"publication_date":"1997-09-01","ids":{"openalex":"https://openalex.org/W2127621780","doi":"https://doi.org/10.2307/2275580","mag":"2127621780"},"language":"en","primary_location":{"id":"doi:10.2307/2275580","is_oa":false,"landing_page_url":"https://doi.org/10.2307/2275580","pdf_url":null,"source":{"id":"https://openalex.org/S177675236","display_name":"Journal of Symbolic Logic","issn_l":"0022-4812","issn":["0022-4812","1943-5886"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Symbolic 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/A5080340008","display_name":"Alan R. Woods","orcid":null},"institutions":[{"id":"https://openalex.org/I177877127","display_name":"University of Western Australia","ror":"https://ror.org/047272k79","country_code":"AU","type":"education","lineage":["https://openalex.org/I177877127"]}],"countries":["AU"],"is_corresponding":true,"raw_author_name":"Alan R. Woods","raw_affiliation_strings":["Department of Mathematics, University of Western Australia, Nedlands W.A. 6907, Australia, E-mail:"],"affiliations":[{"raw_affiliation_string":"Department of Mathematics, University of Western Australia, Nedlands W.A. 6907, Australia, E-mail:","institution_ids":["https://openalex.org/I177877127"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5080340008"],"corresponding_institution_ids":["https://openalex.org/I177877127"],"apc_list":null,"apc_paid":null,"fwci":1.0322,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":{"value":0.78334996,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"62","issue":"3","first_page":"925","last_page":"949"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":0.9891999959945679,"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/T11567","display_name":"semigroups and automata theory","score":0.9891999959945679,"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/T10588","display_name":"Mathematical Dynamics and Fractals","score":0.9873999953269958,"subfield":{"id":"https://openalex.org/subfields/2610","display_name":"Mathematical Physics"},"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/T12056","display_name":"Markov Chains and Monte Carlo Methods","score":0.983299970626831,"subfield":{"id":"https://openalex.org/subfields/2613","display_name":"Statistics and Probability"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/unary-operation","display_name":"Unary operation","score":0.8216133117675781},{"id":"https://openalex.org/keywords/disjoint-sets","display_name":"Disjoint sets","score":0.7736035585403442},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.7597826719284058},{"id":"https://openalex.org/keywords/conjecture","display_name":"Conjecture","score":0.7342138886451721},{"id":"https://openalex.org/keywords/lemma","display_name":"Lemma (botany)","score":0.7161350250244141},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.5445473790168762},{"id":"https://openalex.org/keywords/series","display_name":"Series (stratigraphy)","score":0.5327064394950867},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.5023465156555176},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.46592992544174194},{"id":"https://openalex.org/keywords/component","display_name":"Component (thermodynamics)","score":0.4591670632362366},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.4396451711654663},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.3863559365272522},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.09368777275085449},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.07690504193305969}],"concepts":[{"id":"https://openalex.org/C78023250","wikidata":"https://www.wikidata.org/wiki/Q657596","display_name":"Unary operation","level":2,"score":0.8216133117675781},{"id":"https://openalex.org/C45340560","wikidata":"https://www.wikidata.org/wiki/Q215382","display_name":"Disjoint sets","level":2,"score":0.7736035585403442},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7597826719284058},{"id":"https://openalex.org/C2780990831","wikidata":"https://www.wikidata.org/wiki/Q319141","display_name":"Conjecture","level":2,"score":0.7342138886451721},{"id":"https://openalex.org/C2777759810","wikidata":"https://www.wikidata.org/wiki/Q149316","display_name":"Lemma (botany)","level":3,"score":0.7161350250244141},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.5445473790168762},{"id":"https://openalex.org/C143724316","wikidata":"https://www.wikidata.org/wiki/Q312468","display_name":"Series (stratigraphy)","level":2,"score":0.5327064394950867},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.5023465156555176},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.46592992544174194},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.4591670632362366},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.4396451711654663},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.3863559365272522},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.09368777275085449},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.07690504193305969},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C97355855","wikidata":"https://www.wikidata.org/wiki/Q11473","display_name":"Thermodynamics","level":1,"score":0.0},{"id":"https://openalex.org/C78458016","wikidata":"https://www.wikidata.org/wiki/Q840400","display_name":"Evolutionary biology","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/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","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},{"id":"https://openalex.org/C46757340","wikidata":"https://www.wikidata.org/wiki/Q43238","display_name":"Poaceae","level":2,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.2307/2275580","is_oa":false,"landing_page_url":"https://doi.org/10.2307/2275580","pdf_url":null,"source":{"id":"https://openalex.org/S177675236","display_name":"Journal of Symbolic Logic","issn_l":"0022-4812","issn":["0022-4812","1943-5886"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Symbolic Logic","raw_type":"journal-article"},{"id":"pmh:oai:pure.atira.dk:publications/163058c3-c72f-41c6-bc7b-cd6faa8fc1a2","is_oa":false,"landing_page_url":"https://research-repository.uwa.edu.au/en/publications/163058c3-c72f-41c6-bc7b-cd6faa8fc1a2","pdf_url":null,"source":{"id":"https://openalex.org/S4306402523","display_name":"UWA Profiles and Research Repository (University of Western Australia)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I177877127","host_organization_name":"The University of Western Australia","host_organization_lineage":["https://openalex.org/I177877127"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Woods , A 1997 , ' Counting finite models ' , Journal of Symbolic Logic , vol. 62 , pp. 925-949 . https://doi.org/10.2307/2275580","raw_type":"article"},{"id":"pmh:oai:CULeuclid:euclid.jsl/1183745305","is_oa":false,"landing_page_url":"http://projecteuclid.org/euclid.jsl/1183745305","pdf_url":null,"source":{"id":"https://openalex.org/S4306400787","display_name":"Project Euclid (Cornell University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Text"},{"id":"pmh:oai:pure.atira.dk:publications/35de0875-1fea-4e74-ab15-5874bcd1acb1","is_oa":false,"landing_page_url":"https://admin.research-repository.uwa.edu.au/en/publications/35de0875-1fea-4e74-ab15-5874bcd1acb1","pdf_url":null,"source":{"id":"https://openalex.org/S4306402523","display_name":"UWA Profiles and Research Repository (University of Western Australia)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I177877127","host_organization_name":"The University of Western Australia","host_organization_lineage":["https://openalex.org/I177877127"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Woods, A 1995, Counting finite models. The University of Western Australia, Perth.","raw_type":"info:eu-repo/semantics/other"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":40,"referenced_works":["https://openalex.org/W251225716","https://openalex.org/W599250420","https://openalex.org/W849164046","https://openalex.org/W1482193060","https://openalex.org/W1497377634","https://openalex.org/W1555138513","https://openalex.org/W1967985775","https://openalex.org/W1968112027","https://openalex.org/W1971983195","https://openalex.org/W1985072883","https://openalex.org/W1988459304","https://openalex.org/W1992041151","https://openalex.org/W1992478237","https://openalex.org/W2008527519","https://openalex.org/W2009936895","https://openalex.org/W2035160364","https://openalex.org/W2039607932","https://openalex.org/W2045390532","https://openalex.org/W2048218365","https://openalex.org/W2049817705","https://openalex.org/W2056168859","https://openalex.org/W2059993753","https://openalex.org/W2061090477","https://openalex.org/W2061456270","https://openalex.org/W2062792526","https://openalex.org/W2070658523","https://openalex.org/W2076048718","https://openalex.org/W2076979786","https://openalex.org/W2079515284","https://openalex.org/W2319000796","https://openalex.org/W2751862591","https://openalex.org/W2752599689","https://openalex.org/W2911361414","https://openalex.org/W2914621247","https://openalex.org/W4205898702","https://openalex.org/W4235934183","https://openalex.org/W4246928778","https://openalex.org/W4248689694","https://openalex.org/W4299432846","https://openalex.org/W6743723530"],"related_works":["https://openalex.org/W2888918612","https://openalex.org/W2166285859","https://openalex.org/W3148597776","https://openalex.org/W2060412688","https://openalex.org/W1538206641","https://openalex.org/W2025370853","https://openalex.org/W3211656382","https://openalex.org/W1972183506","https://openalex.org/W4235940179","https://openalex.org/W3142104043"],"abstract_inverted_index":{"Abstract":[0],"Let":[1],"\u03c6":[2,49],"be":[3],"a":[4,10,14,62,72,94,102],"monadic":[5],"second":[6],"order":[7],"sentence":[8],"about":[9],"finite":[11,59],"structure":[12],"from":[13],"class":[15],"which":[16],"is":[17,69],"closed":[18],"under":[19,71],"disjoint":[20],"unions":[21],"and":[22,61,101],"has":[23,26,36],"components.":[24],"Compton":[25],"conjectured":[27],"that":[28],"if":[29],"the":[30,77,80],"number":[31,81,104],"of":[32,79,82,93,105],"n":[33],"element":[34],"structures":[35,91],"appropriate":[37],"asymptotics,":[38],"then":[39],"unlabelled":[40],"(labelled)":[41],"asymptotic":[42],"probabilities":[43],"\u03bd(\u03c6)":[44],"(":[45],"\u03bc(\u03c6)":[46],"respectively)":[47],"for":[48],"always":[50],"exist.":[51],"By":[52],"applying":[53],"generating":[54],"series":[55],"methods":[56],"to":[57],"count":[58],"models,":[60],"tailor":[63],"made":[64],"Tauberian":[65],"lemma,":[66],"this":[67],"conjecture":[68],"proved":[70],"mild":[73],"additional":[74],"condition":[75],"on":[76],"asymptotics":[78],"single":[83,95],"component":[84],"-structures.":[85],"Prominent":[86],"among":[87],"examples":[88],"covered,":[89],"are":[90],"consisting":[92],"unary":[96,106],"function":[97],"(or":[98],"partial":[99],"function)":[100],"fixed":[103],"predicates.":[107]},"counts_by_year":[{"year":2018,"cited_by_count":1}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}