{"id":"https://openalex.org/W1981494362","doi":"https://doi.org/10.2307/2273335","title":"Countable models of nonmultidimensional \u2135<sub>0</sub>-stable theories","display_name":"Countable models of nonmultidimensional \u2135<sub>0</sub>-stable theories","publication_year":1983,"publication_date":"1983-03-01","ids":{"openalex":"https://openalex.org/W1981494362","doi":"https://doi.org/10.2307/2273335","mag":"1981494362"},"language":"en","primary_location":{"id":"doi:10.2307/2273335","is_oa":false,"landing_page_url":"https://doi.org/10.2307/2273335","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/A5085466257","display_name":"\u00c9lisabeth Bouscaren","orcid":null},"institutions":[{"id":"https://openalex.org/I204730241","display_name":"Universit\u00e9 Paris Cit\u00e9","ror":"https://ror.org/05f82e368","country_code":"FR","type":"education","lineage":["https://openalex.org/I204730241"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Elisabeth Bouscaren","raw_affiliation_strings":["Universit\u00e9 Paris VII, 75251 Paris, France"],"affiliations":[{"raw_affiliation_string":"Universit\u00e9 Paris VII, 75251 Paris, France","institution_ids":["https://openalex.org/I204730241"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5018633001","display_name":"Daniel Lascar","orcid":null},"institutions":[{"id":"https://openalex.org/I204730241","display_name":"Universit\u00e9 Paris Cit\u00e9","ror":"https://ror.org/05f82e368","country_code":"FR","type":"education","lineage":["https://openalex.org/I204730241"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Daniel Lascar","raw_affiliation_strings":["Universit\u00e9 Paris VII, 75251 Paris, France"],"affiliations":[{"raw_affiliation_string":"Universit\u00e9 Paris VII, 75251 Paris, France","institution_ids":["https://openalex.org/I204730241"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5085466257"],"corresponding_institution_ids":["https://openalex.org/I204730241"],"apc_list":null,"apc_paid":null,"fwci":4.5833,"has_fulltext":false,"cited_by_count":19,"citation_normalized_percentile":{"value":0.95099755,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":"48","issue":"1","first_page":"197","last_page":"205"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11151","display_name":"Advanced Topology and Set Theory","score":0.9898999929428101,"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"}},"topics":[{"id":"https://openalex.org/T11151","display_name":"Advanced Topology and Set Theory","score":0.9898999929428101,"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/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.974399983882904,"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.9641000032424927,"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/countable-set","display_name":"Countable set","score":0.8831900954246521},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.7621968388557434},{"id":"https://openalex.org/keywords/homogeneity","display_name":"Homogeneity (statistics)","score":0.7399532794952393},{"id":"https://openalex.org/keywords/homogeneous","display_name":"Homogeneous","score":0.7322295904159546},{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.6860224008560181},{"id":"https://openalex.org/keywords/model-theory","display_name":"Model theory","score":0.5957654118537903},{"id":"https://openalex.org/keywords/type","display_name":"Type (biology)","score":0.49436378479003906},{"id":"https://openalex.org/keywords/automorphism","display_name":"Automorphism","score":0.4674091637134552},{"id":"https://openalex.org/keywords/equivalence-relation","display_name":"Equivalence relation","score":0.44218552112579346},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.4408143162727356},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.436681866645813},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.3829318881034851},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.3363536596298218},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.09652763605117798},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.054093003273010254}],"concepts":[{"id":"https://openalex.org/C110729354","wikidata":"https://www.wikidata.org/wiki/Q185478","display_name":"Countable set","level":2,"score":0.8831900954246521},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7621968388557434},{"id":"https://openalex.org/C142259097","wikidata":"https://www.wikidata.org/wiki/Q5891314","display_name":"Homogeneity (statistics)","level":2,"score":0.7399532794952393},{"id":"https://openalex.org/C66882249","wikidata":"https://www.wikidata.org/wiki/Q169336","display_name":"Homogeneous","level":2,"score":0.7322295904159546},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.6860224008560181},{"id":"https://openalex.org/C47030870","wikidata":"https://www.wikidata.org/wiki/Q467606","display_name":"Model theory","level":2,"score":0.5957654118537903},{"id":"https://openalex.org/C2777299769","wikidata":"https://www.wikidata.org/wiki/Q3707858","display_name":"Type (biology)","level":2,"score":0.49436378479003906},{"id":"https://openalex.org/C118712358","wikidata":"https://www.wikidata.org/wiki/Q782566","display_name":"Automorphism","level":2,"score":0.4674091637134552},{"id":"https://openalex.org/C156103551","wikidata":"https://www.wikidata.org/wiki/Q130998","display_name":"Equivalence relation","level":2,"score":0.44218552112579346},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.4408143162727356},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.436681866645813},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3829318881034851},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.3363536596298218},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.09652763605117798},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.054093003273010254},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","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/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.2307/2273335","is_oa":false,"landing_page_url":"https://doi.org/10.2307/2273335","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":6,"referenced_works":["https://openalex.org/W2003079225","https://openalex.org/W2005659848","https://openalex.org/W2049557381","https://openalex.org/W2117110248","https://openalex.org/W2256089923","https://openalex.org/W6663050160"],"related_works":["https://openalex.org/W4226437520","https://openalex.org/W4287029620","https://openalex.org/W1966794195","https://openalex.org/W4311231917","https://openalex.org/W2026504565","https://openalex.org/W3105928773","https://openalex.org/W2106480630","https://openalex.org/W177522066","https://openalex.org/W1991893284","https://openalex.org/W1981494362"],"abstract_inverted_index":{"In":[0,148],"this":[1,15,116,170],"paper":[2],"T":[3,20,46],"will":[4,21],"always":[5],"be":[6,131],"a":[7,17,23,42,90,118,219],"countable":[8,24],"\u2135":[9,178,195],"0":[10,179,196],"-stable":[11],"theory,":[12],"and":[13,54,88,97,128,224,229],"in":[14,59,99,144,234],"introduction":[16],"model":[18,43,142],"of":[19,27,35,45,57,66,75,93,109,138,163,169,177,202,227],"mean":[22],"model.":[25],"One":[26],"the":[28,63,69,72,85,100,135,161,225,235],"main":[29],"notions":[30],"we":[31,39],"introduce":[32],"is":[33,47,68,106,117,143,172,211],"that":[34,41,134,154,185,230],"almost":[36,48,140,155,189],"homogeneous":[37,49,141,156,198,210],"model:":[38],"say":[40],"M":[44,60,110],"if":[50,62],"for":[51,77],"all":[52,78,186],"\u0101":[53,67,96,112],"finite":[55,91],"sequences":[56],"elements":[58],",":[61,82],"strong":[64,73,126],"type":[65,74],"same":[70,101],"as":[71],"(i.e.":[76],"equivalence":[79,94,102],"relations":[80],"E":[81],"definable":[83],"over":[84],"empty":[86],"set":[87,162],"with":[89,193,204],"number":[92],"classes,":[95],"are":[98,158,188,233],"class),":[103],"then":[104,212],"there":[105],"an":[107],"automorphism":[108],"taking":[111],"to":[113,173,214,217],".":[114,147],"Although":[115],"weaker":[119],"notion":[120,226],"than":[121],"homogeneity,":[122],"these":[123,222],"models":[124,157,187],"have":[125],"properties,":[127],"it":[129],"can":[130],"seen":[132],"easily":[133],"Scott":[136],"formula":[137],"any":[139],"L":[145],"1":[146],"fact,":[149],"Pillay":[150],"[Pi.]":[151],"has":[152],"shown":[153],"characterized":[159],"by":[160],"types":[164],"they":[165],"realize.":[166],"The":[167,200],"motivation":[168],"research":[171],"distinguish":[174],"two":[175],"classes":[176],"-Stable":[180],"theories:":[181],"(1)":[182],"theories":[183,192,203,232],"such":[184],"homogeneous;":[190],"(2)":[191],"2":[194],"nonalmost":[197],"models.":[199],"example":[201],"Skolem":[205],"functions":[206],"[L.":[207],"1]":[208],"(almost":[209],"equivalent":[213],"homogeneous)":[215],"seems":[216],"indicate":[218],"link":[220],"between":[221],"properties":[223],"multidimensionality,":[228],"nonmultidimensional":[231],"first":[236],"case.":[237]},"counts_by_year":[{"year":2015,"cited_by_count":1},{"year":2012,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}