{"id":"https://openalex.org/W2137099410","doi":"https://doi.org/10.2307/2272734","title":"Countable homogeneous relational structures and <i>\u2135</i><sub>0</sub>-categorical theories","display_name":"Countable homogeneous relational structures and <i>\u2135</i><sub>0</sub>-categorical theories","publication_year":1972,"publication_date":"1972-09-01","ids":{"openalex":"https://openalex.org/W2137099410","doi":"https://doi.org/10.2307/2272734","mag":"2137099410"},"language":"en","primary_location":{"id":"doi:10.2307/2272734","is_oa":false,"landing_page_url":"https://doi.org/10.2307/2272734","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/A5090166557","display_name":"C. Ward Henson","orcid":"https://orcid.org/0000-0003-1499-4432"},"institutions":[{"id":"https://openalex.org/I170897317","display_name":"Duke University","ror":"https://ror.org/00py81415","country_code":"US","type":"education","lineage":["https://openalex.org/I170897317"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"C. Ward Henson","raw_affiliation_strings":["Duke University, Durham, North Carolina 27706"],"affiliations":[{"raw_affiliation_string":"Duke University, Durham, North Carolina 27706","institution_ids":["https://openalex.org/I170897317"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5090166557"],"corresponding_institution_ids":["https://openalex.org/I170897317"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":91,"citation_normalized_percentile":{"value":0.2809291,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":"37","issue":"3","first_page":"494","last_page":"500"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9907000064849854,"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/T11727","display_name":"Advanced Algebra and Logic","score":0.9907000064849854,"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.9503999948501587,"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/mathematics","display_name":"Mathematics","score":0.7600033283233643},{"id":"https://openalex.org/keywords/cardinality","display_name":"Cardinality (data modeling)","score":0.6600356101989746},{"id":"https://openalex.org/keywords/isomorphism","display_name":"Isomorphism (crystallography)","score":0.5647823810577393},{"id":"https://openalex.org/keywords/countable-set","display_name":"Countable set","score":0.5604530572891235},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.516499936580658},{"id":"https://openalex.org/keywords/binary-relation","display_name":"Binary relation","score":0.5116189122200012},{"id":"https://openalex.org/keywords/automorphism","display_name":"Automorphism","score":0.4768308699131012},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.46926018595695496},{"id":"https://openalex.org/keywords/homogeneous","display_name":"Homogeneous","score":0.4262714385986328},{"id":"https://openalex.org/keywords/graph-isomorphism","display_name":"Graph isomorphism","score":0.41872987151145935},{"id":"https://openalex.org/keywords/categorical-variable","display_name":"Categorical variable","score":0.41215047240257263},{"id":"https://openalex.org/keywords/undecidable-problem","display_name":"Undecidable problem","score":0.410768061876297},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.34447231888771057},{"id":"https://openalex.org/keywords/decidability","display_name":"Decidability","score":0.272458553314209},{"id":"https://openalex.org/keywords/line-graph","display_name":"Line graph","score":0.12049633264541626},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.09291893243789673}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7600033283233643},{"id":"https://openalex.org/C87117476","wikidata":"https://www.wikidata.org/wiki/Q362383","display_name":"Cardinality (data modeling)","level":2,"score":0.6600356101989746},{"id":"https://openalex.org/C203436722","wikidata":"https://www.wikidata.org/wiki/Q902950","display_name":"Isomorphism (crystallography)","level":3,"score":0.5647823810577393},{"id":"https://openalex.org/C110729354","wikidata":"https://www.wikidata.org/wiki/Q185478","display_name":"Countable set","level":2,"score":0.5604530572891235},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.516499936580658},{"id":"https://openalex.org/C65180967","wikidata":"https://www.wikidata.org/wiki/Q130901","display_name":"Binary relation","level":2,"score":0.5116189122200012},{"id":"https://openalex.org/C118712358","wikidata":"https://www.wikidata.org/wiki/Q782566","display_name":"Automorphism","level":2,"score":0.4768308699131012},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.46926018595695496},{"id":"https://openalex.org/C66882249","wikidata":"https://www.wikidata.org/wiki/Q169336","display_name":"Homogeneous","level":2,"score":0.4262714385986328},{"id":"https://openalex.org/C61665672","wikidata":"https://www.wikidata.org/wiki/Q303100","display_name":"Graph isomorphism","level":4,"score":0.41872987151145935},{"id":"https://openalex.org/C5274069","wikidata":"https://www.wikidata.org/wiki/Q2285707","display_name":"Categorical variable","level":2,"score":0.41215047240257263},{"id":"https://openalex.org/C192034797","wikidata":"https://www.wikidata.org/wiki/Q3502995","display_name":"Undecidable problem","level":3,"score":0.410768061876297},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.34447231888771057},{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.272458553314209},{"id":"https://openalex.org/C203776342","wikidata":"https://www.wikidata.org/wiki/Q1378376","display_name":"Line graph","level":3,"score":0.12049633264541626},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.09291893243789673},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C115624301","wikidata":"https://www.wikidata.org/wiki/Q895901","display_name":"Crystal structure","level":2,"score":0.0},{"id":"https://openalex.org/C8010536","wikidata":"https://www.wikidata.org/wiki/Q160398","display_name":"Crystallography","level":1,"score":0.0},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.2307/2272734","is_oa":false,"landing_page_url":"https://doi.org/10.2307/2272734","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"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":8,"referenced_works":["https://openalex.org/W9390480","https://openalex.org/W913564808","https://openalex.org/W1589664198","https://openalex.org/W1605337124","https://openalex.org/W1951287835","https://openalex.org/W1977517542","https://openalex.org/W2530695705","https://openalex.org/W2598159508"],"related_works":["https://openalex.org/W2120230527","https://openalex.org/W1827531968","https://openalex.org/W2383938896","https://openalex.org/W2140392112","https://openalex.org/W2053726032","https://openalex.org/W4253128163","https://openalex.org/W2902034884","https://openalex.org/W2911544256","https://openalex.org/W2003123666","https://openalex.org/W2092155908"],"abstract_inverted_index":{"A":[0,123],"relational":[1],"structure":[2,100],"of":[3,19,26,30,41,72,84,101,111,127,158,166,179,199,215,226,231,235,265,274,282,314,329,354],"cardinality":[4,188],"\u2135":[5,95,189,218,243,270,310,337],"0":[6,50,78,96,173,185,190,206,212,219,228,244,249,271,311,333,338],"is":[7,34,66,92,103,112,124,130,144,202,217,285,305,318],"called":[8],"homogeneous":[9,74,181],"by":[10,61,256],"Fraiss\u00e9":[11],"[1]":[12],"if":[13],"each":[14,82,151,164,214],"isomorphism":[15,39],"between":[16],"finite":[17],"substructures":[18],"can":[20,79,195],"be":[21,80,153,174,196],"extended":[22],"to":[23,146,163,289],"an":[24,241],"automorphism":[25],".":[27,148,170,191],"In":[28,63,192,237],"\u00a71":[29],"this":[31],"paper":[32],"it":[33,201],"shown":[35,67,203,306,326,346],"that":[36,204,267,347],"there":[37,239,268],"are":[38,229,269,335],"types":[40],"such":[42,348],"structures":[43,75,182],"for":[44,76,183,292,299],"the":[45,87,93,99,125,131,156,167,175,223,290,297,327],"first":[46,176],"order":[47,177],"language":[48],"L":[49,77,184,211,248,332],"with":[51,351],"a":[52,58,70,160,253,315],"single":[53],"(binary)":[54],"relation":[55,109,133],"symbol,":[56],"answering":[57],"question":[59,254],"raised":[60,255],"Fraiss\u00e9.":[62],"fact,":[64],"as":[65,155,304],"in":[68,105,247,286,307,331],"\u00a72,":[69],"family":[71],"nonisomorphic":[73],"constructed,":[81],"member":[83],"which":[85,102,186,216,251,277,295,334],"satisfies":[86],"following":[88],"conditions":[89],"(where":[90],"U":[91,147,169],"homogeneous,":[94],"-universal":[97],"graph,":[98],"considered":[104],"[4]):":[106],"(i)":[107],"The":[108],"R":[110,115,117,134,136],"asymmetric":[113],"(":[114,140],"\u2229":[116],"\u22121":[118,137],"=":[119],"\u2205);":[120],"(ii)":[121],"If":[122],"domain":[126],"and":[128,340],"S":[129,142],"symmetric":[132],"\u222a":[135],",":[138,250],"then":[139],"A,":[141],")":[143],"isomorphic":[145],"That":[149],"is,":[150],"may":[152],"regarded":[154],"result":[157],"assigning":[159],"unique":[161],"direction":[162],"edge":[165],"graph":[168],"Let":[171],"T":[172,205,227],"theory":[178,246,313],"all":[180,336],"have":[187,278],"\u00a73":[193],"(which":[194],"read":[197],"independently":[198,325,345],"\u00a72)":[200],"has":[207,324,344],"complete":[208,224],"extensions":[209,225],"(in":[210],"),":[213],"-categorical.":[220],"Moreover,":[221],"among":[222],"theories":[230,273,330,349],"arbitrary":[232,352],"(preassigned)":[233],"degree":[234,353],"unsolvability.":[236,283],"particular,":[238],"exists":[240],"undecidable,":[242],"-categorieal":[245],"answers":[252],"Grzegorczyk":[257],"[2],":[258],"[3].":[259],"It":[260],"follows":[261],"from":[262],"Theorem":[263],"6":[264],"[3]":[266],"-categorical":[272,312],"partial":[275],"orderings":[276],"arbitrarily":[279],"high":[280],"degrees":[281],"This":[284],"sharp":[287],"contrast":[288],"situation":[291],"linear":[293,316],"orderings,":[294],"were":[296],"motivation":[298],"Fraiss\u00e9's":[300],"early":[301],"work.":[302],"Indeed,":[303],"[10],":[308],"every":[309],"ordering":[317],"finitely":[319],"axiomatizable.":[320],"(W.":[321],"Glassmire":[322],"[12]":[323],"existence":[328],"-categorical,":[339],"C.":[341],"Ash":[342],"[13]":[343],"exist":[350],"unsolvability.)":[355]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":4},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":4},{"year":2020,"cited_by_count":5},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":4},{"year":2017,"cited_by_count":4},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":4},{"year":2013,"cited_by_count":5},{"year":2012,"cited_by_count":1}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}