{"id":"https://openalex.org/W2047577730","doi":"https://doi.org/10.2307/2586538","title":"Coordinatisation and canonical bases in simple theories","display_name":"Coordinatisation and canonical bases in simple theories","publication_year":2000,"publication_date":"2000-03-01","ids":{"openalex":"https://openalex.org/W2047577730","doi":"https://doi.org/10.2307/2586538","mag":"2047577730"},"language":"en","primary_location":{"id":"doi:10.2307/2586538","is_oa":false,"landing_page_url":"https://doi.org/10.2307/2586538","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/A5021510208","display_name":"Bradd Hart","orcid":null},"institutions":[{"id":"https://openalex.org/I98251732","display_name":"McMaster University","ror":"https://ror.org/02fa3aq29","country_code":"CA","type":"education","lineage":["https://openalex.org/I98251732"]}],"countries":["CA"],"is_corresponding":true,"raw_author_name":"Bradd Hart","raw_affiliation_strings":["Department of Mathematics and Statistics, Mcmaster University, Hamilton, ON, Canada, E-mail:","McMaster university#TAB#"],"affiliations":[{"raw_affiliation_string":"Department of Mathematics and Statistics, Mcmaster University, Hamilton, ON, Canada, E-mail:","institution_ids":["https://openalex.org/I98251732"]},{"raw_affiliation_string":"McMaster university#TAB#","institution_ids":["https://openalex.org/I98251732"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5070396351","display_name":"Byunghan Kim","orcid":null},"institutions":[{"id":"https://openalex.org/I530967","display_name":"Toronto Metropolitan University","ror":"https://ror.org/05g13zd79","country_code":"CA","type":"education","lineage":["https://openalex.org/I530967"]},{"id":"https://openalex.org/I63966007","display_name":"Massachusetts Institute of Technology","ror":"https://ror.org/042nb2s44","country_code":"US","type":"education","lineage":["https://openalex.org/I63966007"]}],"countries":["CA","US"],"is_corresponding":false,"raw_author_name":"Byunghan Kim","raw_affiliation_strings":["Department of Mathematics, Massachusets Institute of Technology, Cambridge, MA, USA, E-mail:","Department of Mathematics"],"affiliations":[{"raw_affiliation_string":"Department of Mathematics, Massachusets Institute of Technology, Cambridge, MA, USA, E-mail:","institution_ids":["https://openalex.org/I63966007"]},{"raw_affiliation_string":"Department of Mathematics","institution_ids":["https://openalex.org/I530967"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5110147319","display_name":"Anand Pillay","orcid":"https://orcid.org/0000-0002-2471-4097"},"institutions":[{"id":"https://openalex.org/I157725225","display_name":"University of Illinois Urbana-Champaign","ror":"https://ror.org/047426m28","country_code":"US","type":"education","lineage":["https://openalex.org/I157725225"]},{"id":"https://openalex.org/I183874917","display_name":"Urbana University","ror":"https://ror.org/04kp3hw27","country_code":"US","type":"education","lineage":["https://openalex.org/I183874917"]},{"id":"https://openalex.org/I2801919071","display_name":"University of Illinois System","ror":"https://ror.org/05e94g991","country_code":"US","type":"education","lineage":["https://openalex.org/I2801919071"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Anand Pillay","raw_affiliation_strings":["Department of Mathematics, University of Illinois, Urbana, IL, USA, E-mail:","University of Illinois at Urbana Champaign"],"affiliations":[{"raw_affiliation_string":"Department of Mathematics, University of Illinois, Urbana, IL, USA, E-mail:","institution_ids":["https://openalex.org/I183874917","https://openalex.org/I2801919071","https://openalex.org/I157725225"]},{"raw_affiliation_string":"University of Illinois at Urbana Champaign","institution_ids":["https://openalex.org/I157725225"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5021510208"],"corresponding_institution_ids":["https://openalex.org/I98251732"],"apc_list":null,"apc_paid":null,"fwci":6.4476,"has_fulltext":false,"cited_by_count":76,"citation_normalized_percentile":{"value":0.97540984,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":"65","issue":"1","first_page":"293","last_page":"309"},"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.9993000030517578,"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.9993000030517578,"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.9833999872207642,"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/T10896","display_name":"Homotopy and Cohomology in Algebraic Topology","score":0.9648000001907349,"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/simple","display_name":"Simple (philosophy)","score":0.7366798520088196},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.6871254444122314},{"id":"https://openalex.org/keywords/section","display_name":"Section (typography)","score":0.5844555497169495},{"id":"https://openalex.org/keywords/generalization","display_name":"Generalization","score":0.5468693375587463},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.47065868973731995},{"id":"https://openalex.org/keywords/categorical-variable","display_name":"Categorical variable","score":0.4683489203453064},{"id":"https://openalex.org/keywords/type","display_name":"Type (biology)","score":0.46627476811408997},{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.43140241503715515},{"id":"https://openalex.org/keywords/canonical-form","display_name":"Canonical form","score":0.41459861397743225},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.4020993113517761},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.250601589679718},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.10211411118507385}],"concepts":[{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.7366798520088196},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6871254444122314},{"id":"https://openalex.org/C2780129039","wikidata":"https://www.wikidata.org/wiki/Q1931107","display_name":"Section (typography)","level":2,"score":0.5844555497169495},{"id":"https://openalex.org/C177148314","wikidata":"https://www.wikidata.org/wiki/Q170084","display_name":"Generalization","level":2,"score":0.5468693375587463},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.47065868973731995},{"id":"https://openalex.org/C5274069","wikidata":"https://www.wikidata.org/wiki/Q2285707","display_name":"Categorical variable","level":2,"score":0.4683489203453064},{"id":"https://openalex.org/C2777299769","wikidata":"https://www.wikidata.org/wiki/Q3707858","display_name":"Type (biology)","level":2,"score":0.46627476811408997},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.43140241503715515},{"id":"https://openalex.org/C204707403","wikidata":"https://www.wikidata.org/wiki/Q1152398","display_name":"Canonical form","level":2,"score":0.41459861397743225},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.4020993113517761},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.250601589679718},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.10211411118507385},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"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/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/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"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":2,"locations":[{"id":"doi:10.2307/2586538","is_oa":false,"landing_page_url":"https://doi.org/10.2307/2586538","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/1183746022","is_oa":false,"landing_page_url":"http://projecteuclid.org/euclid.jsl/1183746022","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":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":8,"referenced_works":["https://openalex.org/W394295880","https://openalex.org/W1597894981","https://openalex.org/W2013748860","https://openalex.org/W2061701929","https://openalex.org/W2551720480","https://openalex.org/W2953101030","https://openalex.org/W4206104100","https://openalex.org/W4213161523"],"related_works":["https://openalex.org/W4386799044","https://openalex.org/W2773208253","https://openalex.org/W2560646951","https://openalex.org/W4297454206","https://openalex.org/W65104662","https://openalex.org/W1871748041","https://openalex.org/W2362286668","https://openalex.org/W2133382151","https://openalex.org/W2153339597","https://openalex.org/W1528412344"],"abstract_inverted_index":{"In":[0,59],"this":[1,185],"paper":[2,186],"we":[3,36,68,109,187],"discuss":[4],"several":[5],"generalization":[6],"of":[7,40,76,114,126,143,168,172,176,196,214,228],"theorems":[8],"from":[9,182],"stability":[10],"theory":[11,113,122,125,175,199],"to":[12,102,129,137],"simple":[13,51,150,231],"theories.":[14,31],"Cherlin":[15],"and":[16,89,116,141,152,205,238],"Hrushovski,":[17],"in":[18,26,49,56,106,134,146,156,190,230,236],"[2]":[19],"develop":[20,110],"a":[21,44,79,83,85,91,191,197],"substitute":[22],"for":[23,47],"canonical":[24,41,62],"bases":[25,42,63],"finite":[27],"rank,":[28],"\u03c9-categorical":[29,98,149],"supersimple":[30,147],"Motivated":[32],"by":[33],"methods":[34],"there,":[35],"prove":[37],"the":[38,77,96,111,124,139,165,173,212,221,226],"existence":[39,140],"(in":[43],"suitable":[45],"sense)":[46],"types":[48,145],"any":[50],"theory.":[52],"This":[53],"is":[54,84,154,160,223],"done":[55],"Section":[57,107,135,157],"2.":[58],"general":[60,112,166,174],"these":[61,100],"will":[64,188,207,218],"(as":[65],"far":[66],"as":[67,72,233],"know)":[69],"exist":[70],"only":[71],"\u201chyperimaginaries\u201d,":[73],"namely":[74],"objects":[75],"form":[78],"/":[80],"E":[81,90],"where":[82],"possibly":[86],"infinite":[87],"tuple":[88],"type-definable":[92],"equivalence":[93],"relation.":[94],"(In":[95],"supersimple,":[97],"case,":[99],"reduce":[101],"ordinary":[103],"imaginaries.)":[104],"So":[105],"1":[108],"hyperimaginaries":[115],"show":[117,138],"how":[118,164],"first":[119],"order":[120],"model":[121,194],"(including":[123],"forking)":[127],"generalises":[128],"hyperimaginaries.":[130],"We":[131,217],"go":[132],"on,":[133],"3":[136],"ubiquity":[142],"regular":[144,245],"theories,":[148],"structures":[151,181],"modularity":[153],"discussed":[155],"4.":[158],"It":[159],"also":[161],"shown":[162],"here":[163],"machinery":[167],"simplicity":[169],"simplifies":[170],"some":[171],"smoothly":[177],"approximable":[178],"(or":[179],"Lie-coordinatizable)":[180],"[2].":[183],"Throughout":[184],"work":[189],"large,":[192],"saturated":[193],"M":[195,215],"complete":[198],"T":[200],".":[201,216],"All":[202],"types,":[203,246],"sets":[204],"sequences":[206],"have":[208],"size":[209,213],"smaller":[210],"than":[211],"assume":[219],"that":[220],"reader":[222],"familiar":[224],"with":[225],"basics":[227],"forking":[229],"theories":[232],"laid":[234],"out":[235],"[4]":[237],"[6].":[239],"For":[240],"basic":[241],"stability-theoretic":[242],"results":[243],"concerning":[244],"orthogonality":[247],"etc.,":[248],"see":[249],"[1]":[250],"or":[251],"[9].":[252]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":3},{"year":2017,"cited_by_count":4},{"year":2016,"cited_by_count":5},{"year":2015,"cited_by_count":3},{"year":2014,"cited_by_count":4},{"year":2013,"cited_by_count":3},{"year":2012,"cited_by_count":6}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}