{"id":"https://openalex.org/W2045362720","doi":"https://doi.org/10.2307/2273298","title":"Stability theory and Algebra","display_name":"Stability theory and Algebra","publication_year":1979,"publication_date":"1979-12-01","ids":{"openalex":"https://openalex.org/W2045362720","doi":"https://doi.org/10.2307/2273298","mag":"2045362720"},"language":"en","primary_location":{"id":"doi:10.2307/2273298","is_oa":false,"landing_page_url":"https://doi.org/10.2307/2273298","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/A5037915949","display_name":"John T. Baldwin","orcid":"https://orcid.org/0000-0002-0185-5196"},"institutions":[{"id":"https://openalex.org/I39422238","display_name":"University of Illinois Chicago","ror":"https://ror.org/02mpq6x41","country_code":"US","type":"education","lineage":["https://openalex.org/I39422238"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"John T. Baldwin","raw_affiliation_strings":["University of Illinois at Chicago Circle, Chicago, Illinois 60680","University of Illinois at Chicago Circle"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Illinois at Chicago Circle, Chicago, Illinois 60680","institution_ids":["https://openalex.org/I39422238"]},{"raw_affiliation_string":"University of Illinois at Chicago Circle","institution_ids":["https://openalex.org/I39422238"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5037915949"],"corresponding_institution_ids":["https://openalex.org/I39422238"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.20364855,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"44","issue":"4","first_page":"599","last_page":"608"},"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.9970999956130981,"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.9970999956130981,"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/T11673","display_name":"Advanced Topics in Algebra","score":0.9605000019073486,"subfield":{"id":"https://openalex.org/subfields/2602","display_name":"Algebra and Number Theory"},"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/T10896","display_name":"Homotopy and Cohomology in Algebraic Topology","score":0.958299994468689,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.7058087587356567},{"id":"https://openalex.org/keywords/axiom","display_name":"Axiom","score":0.6742235422134399},{"id":"https://openalex.org/keywords/model-theory","display_name":"Model theory","score":0.5422976016998291},{"id":"https://openalex.org/keywords/set-theory","display_name":"Set theory","score":0.4884876012802124},{"id":"https://openalex.org/keywords/type-theory","display_name":"Type theory","score":0.48425766825675964},{"id":"https://openalex.org/keywords/type","display_name":"Type (biology)","score":0.4779393970966339},{"id":"https://openalex.org/keywords/sentence","display_name":"Sentence","score":0.438212513923645},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.4346042275428772},{"id":"https://openalex.org/keywords/g\u00f6dels-completeness-theorem","display_name":"G\u00f6del's completeness theorem","score":0.4302976727485657},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.43017518520355225},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.3702903389930725},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.3407990038394928},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.3312445878982544},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.1284385323524475}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7058087587356567},{"id":"https://openalex.org/C167729594","wikidata":"https://www.wikidata.org/wiki/Q17736","display_name":"Axiom","level":2,"score":0.6742235422134399},{"id":"https://openalex.org/C47030870","wikidata":"https://www.wikidata.org/wiki/Q467606","display_name":"Model theory","level":2,"score":0.5422976016998291},{"id":"https://openalex.org/C153046414","wikidata":"https://www.wikidata.org/wiki/Q12482","display_name":"Set theory","level":3,"score":0.4884876012802124},{"id":"https://openalex.org/C93682546","wikidata":"https://www.wikidata.org/wiki/Q1056428","display_name":"Type theory","level":3,"score":0.48425766825675964},{"id":"https://openalex.org/C2777299769","wikidata":"https://www.wikidata.org/wiki/Q3707858","display_name":"Type (biology)","level":2,"score":0.4779393970966339},{"id":"https://openalex.org/C2777530160","wikidata":"https://www.wikidata.org/wiki/Q41796","display_name":"Sentence","level":2,"score":0.438212513923645},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4346042275428772},{"id":"https://openalex.org/C200116569","wikidata":"https://www.wikidata.org/wiki/Q902052","display_name":"G\u00f6del's completeness theorem","level":2,"score":0.4302976727485657},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.43017518520355225},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.3702903389930725},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.3407990038394928},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.3312445878982544},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.1284385323524475},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"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/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/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.2307/2273298","is_oa":false,"landing_page_url":"https://doi.org/10.2307/2273298","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:CULeuclid:euclid.jsl/1183740468","is_oa":false,"landing_page_url":"http://projecteuclid.org/euclid.jsl/1183740468","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"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":25,"referenced_works":["https://openalex.org/W591591544","https://openalex.org/W631644944","https://openalex.org/W1473810531","https://openalex.org/W1535465623","https://openalex.org/W1554760224","https://openalex.org/W1574134548","https://openalex.org/W1589664198","https://openalex.org/W1593399533","https://openalex.org/W1977787444","https://openalex.org/W1984223219","https://openalex.org/W1984392503","https://openalex.org/W1989739039","https://openalex.org/W2005659848","https://openalex.org/W2006541971","https://openalex.org/W2017769265","https://openalex.org/W2058412834","https://openalex.org/W2081275964","https://openalex.org/W2082393081","https://openalex.org/W2110790867","https://openalex.org/W2122586002","https://openalex.org/W2134675812","https://openalex.org/W2360116486","https://openalex.org/W2487893106","https://openalex.org/W2574677321","https://openalex.org/W6665185245"],"related_works":["https://openalex.org/W3101572115","https://openalex.org/W2007555602","https://openalex.org/W1510554082","https://openalex.org/W2055120637","https://openalex.org/W2147189557","https://openalex.org/W2170507049","https://openalex.org/W183532729","https://openalex.org/W2101194052","https://openalex.org/W2955445504","https://openalex.org/W645538058"],"abstract_inverted_index":{"There":[0],"are":[1,277],"two":[2],"origins":[3],"for":[4,153,225],"first-order":[5],"theories.":[6],"One":[7],"type":[8,72],"of":[9,17,20,26,32,42,62,67,73,85,99,109,112,118,122,143,179,200,223],"theory":[10,25,74,98,108,117,177,227,241,259,302],"arises":[11,75],"by":[12,76],"generalizing":[13],"the":[14,24,40,64,78,97,107,110,116,134,180,201,232,250,298],"common":[15,37],"features":[16],"a":[18,30,90,144,154,171,176,243,258],"number":[19],"different":[21],"structures,":[22],"e.g.":[23,96],"groups,":[27],"and":[28,253,292],"formulating":[29],"set":[31,41],"axioms":[33,43],"to":[34,133,237,297],"encode":[35],"these":[36,68],"features.":[38],"Here":[39],"is":[44,49,58,162,170,195,214,265,281],"well":[45],"understood,":[46],"frequently":[47],"it":[48,149,205],"finite":[50,263,305],"or":[51,106,160],"at":[52],"least":[53],"recursive,":[54],"but":[55],"there":[56],"usually":[57],"no":[59,262,304],"clear":[60],"understanding":[61],"all":[63,86],"logical":[65],"consequences":[66],"axioms.":[69],"The":[70,125,240],"second":[71,126,202],"considering":[77],"set,":[79],"T":[80,141,164,169,178,197,213,260,280],"=":[81],"Th(":[82],"A":[83,93,137],"),":[84],"sentences":[87],"true":[88],"in":[89,136,140,163,211,245,267],"fixed":[91],"structure":[92],",":[94,103,165],"3":[95],"arithmetic":[100],"(":[101],"N":[102],"+,":[104],"0)":[105],"field":[111],"complex":[113],"numbers":[114],"(alias:":[115],"algebraically":[119],"closed":[120],"fields":[121],"characteristic":[123],"zero).":[124],"case":[127],"gives":[128],"little":[129],"more":[130],"insight":[131],"as":[132],"truth":[135],"(i.e.":[138],"membership":[139],")":[142],"given":[145,155],"sentence":[146,156],"\u2205.":[147],"But":[148],"does":[150,175],"guarantee":[151],"that":[152,166,168,196,204,256,300],"\u2205,":[157],"either":[158],"\u2205":[159],"\u00ac\u2205":[161],"is,":[167],"complete":[172,290],"theory.":[173],"When":[174],"first":[181],"type,":[182,203],"i.e.":[183],"with":[184,228,261,274,288],"well-understood":[185],"axioms,":[186],"posses":[187],"this":[188,236],"completeness":[189],"property?":[190],"An":[191],"obvious":[192],"sufficient":[193],"condition":[194],"be":[198,238,285],"secretly":[199],"have":[206],"only":[207],"one":[208],"model,":[209,231],"or,":[210],"jargon,":[212],"categorical.":[215],"Unfortunately":[216],"(or":[217],"fortunately":[218],"depending":[219],"on":[220],"your":[221],"point":[222],"view)":[224],"any":[226],"an":[229],"infinite":[230,247,269],"L\u00f6wenheim-Skolem":[233],"theorem":[234],"shows":[235],"impossible:":[239],"has":[242,303],"model":[244],"every":[246],"power.":[248],"In":[249],"mid-50's":[251],"\u0141o\u015b":[252],"Vaught":[254],"discovered":[255],"if":[257],"models":[264,273],"categorical":[266],"some":[268],"power":[270],"\u03b1":[271,276],"(all":[272],"cardinality":[275],"isomorphic)":[278],"then":[279],"complete.":[282],"We":[283],"will":[284,293],"dealing":[286],"below":[287],"countable":[289],"theories":[291],"assume,":[294],"unless":[295],"stated":[296],"contrary,":[299],"each":[301],"models.":[306]},"counts_by_year":[{"year":2017,"cited_by_count":1},{"year":2014,"cited_by_count":1}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}