{"id":"https://openalex.org/W2109821011","doi":"https://doi.org/10.2307/2273096","title":"Constructible lattices of <i>c</i>-degrees","display_name":"Constructible lattices of <i>c</i>-degrees","publication_year":1982,"publication_date":"1982-12-01","ids":{"openalex":"https://openalex.org/W2109821011","doi":"https://doi.org/10.2307/2273096","mag":"2109821011"},"language":"en","primary_location":{"id":"doi:10.2307/2273096","is_oa":false,"landing_page_url":"https://doi.org/10.2307/2273096","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/A5050084765","display_name":"Paddy Farrington","orcid":"https://orcid.org/0000-0002-7148-2612"},"institutions":[{"id":"https://openalex.org/I130828816","display_name":"University of Leeds","ror":"https://ror.org/024mrxd33","country_code":"GB","type":"education","lineage":["https://openalex.org/I130828816"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"C.P. Farrington","raw_affiliation_strings":["Leeds University, Leeds LS2 9JT, England"],"affiliations":[{"raw_affiliation_string":"Leeds University, Leeds LS2 9JT, England","institution_ids":["https://openalex.org/I130828816"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5050084765"],"corresponding_institution_ids":["https://openalex.org/I130828816"],"apc_list":null,"apc_paid":null,"fwci":0.6515,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.69312753,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"47","issue":"4","first_page":"739","last_page":"754"},"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.9998000264167786,"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.9998000264167786,"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.9965999722480774,"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/T11727","display_name":"Advanced Algebra and Logic","score":0.9879000186920166,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.7480534911155701},{"id":"https://openalex.org/keywords/countable-set","display_name":"Countable set","score":0.6723777055740356},{"id":"https://openalex.org/keywords/forcing","display_name":"Forcing (mathematics)","score":0.618685245513916},{"id":"https://openalex.org/keywords/simple","display_name":"Simple (philosophy)","score":0.5774136781692505},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.5628277659416199},{"id":"https://openalex.org/keywords/transitive-relation","display_name":"Transitive relation","score":0.5500291585922241},{"id":"https://openalex.org/keywords/combinatorial-proof","display_name":"Combinatorial proof","score":0.540307343006134},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.48232030868530273},{"id":"https://openalex.org/keywords/lattice","display_name":"Lattice (music)","score":0.4451707601547241},{"id":"https://openalex.org/keywords/extension","display_name":"Extension (predicate logic)","score":0.4217374324798584},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.11726918816566467}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7480534911155701},{"id":"https://openalex.org/C110729354","wikidata":"https://www.wikidata.org/wiki/Q185478","display_name":"Countable set","level":2,"score":0.6723777055740356},{"id":"https://openalex.org/C197115733","wikidata":"https://www.wikidata.org/wiki/Q1003136","display_name":"Forcing (mathematics)","level":2,"score":0.618685245513916},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.5774136781692505},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.5628277659416199},{"id":"https://openalex.org/C191399111","wikidata":"https://www.wikidata.org/wiki/Q64861","display_name":"Transitive relation","level":2,"score":0.5500291585922241},{"id":"https://openalex.org/C118539577","wikidata":"https://www.wikidata.org/wiki/Q3402784","display_name":"Combinatorial proof","level":2,"score":0.540307343006134},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.48232030868530273},{"id":"https://openalex.org/C2781204021","wikidata":"https://www.wikidata.org/wiki/Q6497091","display_name":"Lattice (music)","level":2,"score":0.4451707601547241},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.4217374324798584},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.11726918816566467},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","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/C24890656","wikidata":"https://www.wikidata.org/wiki/Q82811","display_name":"Acoustics","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","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":1,"locations":[{"id":"doi:10.2307/2273096","is_oa":false,"landing_page_url":"https://doi.org/10.2307/2273096","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":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":7,"referenced_works":["https://openalex.org/W568910110","https://openalex.org/W1997189097","https://openalex.org/W2170270696","https://openalex.org/W2498473121","https://openalex.org/W3211875283","https://openalex.org/W4248618517","https://openalex.org/W4291439952"],"related_works":["https://openalex.org/W4312527695","https://openalex.org/W2361167282","https://openalex.org/W1528932152","https://openalex.org/W2091342995","https://openalex.org/W2054347355","https://openalex.org/W2621137221","https://openalex.org/W1519103608","https://openalex.org/W2964283661","https://openalex.org/W1616071682","https://openalex.org/W2473730886"],"abstract_inverted_index":{"This":[0],"paper":[1],"is":[2,51,59,106,234,260],"devoted":[3],"to":[4,94,141,155],"the":[5,8,73,82,186,206,219,229,252],"proof":[6,120,172],"of":[7,20,64,84,86,88,159,177,189,192,194,208,221,224,228,241,254],"following":[9],"theorem.":[10],"Theorem.":[11],"Let":[12,41],"M":[13,30,43,65,71],"be":[14,31],"a":[15,32,52,60,91,157,257],"countable":[16],"standard":[17],"transitive":[18],"model":[19,158],"ZF":[21],"+":[22,110,168],"V":[23],"=":[24,44,116],"L,":[25],"and":[26,39,46,70,76,101,127,149,200,250],"let":[27],"\u2112":[28],"\u0404":[29,103,108],"wellfounded":[33],"lattice":[34],"in":[35,55,146,150,217,247],"M,":[36],"with":[37,124],"top":[38],"bottom.":[40],"\u2223\u2112\u2223":[42],"\u03bb,":[45],"suppose":[47],"\u03ba":[48,77],"\u2265":[49],"\u03bb":[50],"regular":[53],"cardinal":[54],"M.":[56],"Then":[57],"there":[58,105],"generic":[61],"extension":[62],"N":[63,69,78,89,112],"such":[66,113],"that":[67,114],"(i)":[68],"have":[72,165,205],"same":[74],"cardinals,":[75],"\u2282":[79,99],"M;":[80],"(ii)":[81],"c-degrees":[83],"sets":[85,193],"ordinals":[87,195],"form":[90],"pattern":[92],"isomorphic":[93],"\u2112;":[95],"(iii)":[96],"if":[97],"A":[98,102],"On":[100],"N,":[104],"B":[107],"P(\u03ba":[109],")":[111],"L(A)":[115],"L(B)":[117],".":[118],"The":[119,171,226],"proceeds":[121],"by":[122,133],"forcing":[123,199],"Souslin":[125,232,258],"trees,":[126],"relies":[128],"heavily":[129],"on":[130,175],"techniques":[131,140],"developed":[132],"Jech.":[134],"In":[135,179],"[5]":[136],"he":[137,152],"uses":[138,153],"these":[139],"construct":[142,156],"simple":[143],"Boolean":[144],"algebras":[145],"L":[147,248],",":[148,249],"[6]":[151],"them":[154],"set":[160,198],"theory":[161],"whose":[162],"c":[163,190],"-degrees":[164,191],"orderlype":[166],"1":[167],"\u03c9":[169],"*.":[170],"also":[173],"draws":[174],"ideas":[176],"Adamovicz.":[178],"[1]\u2013[3]":[180],"she":[181],"obtains":[182],"consistency":[183],"results":[184],"concerning":[185],"possible":[187],"patterns":[188],"using":[196,231],"perfect":[197],"symmetric":[201],"models.":[202],"These":[203],"methods":[204],"advantage":[207,227],"yielding":[209],"real":[210],"degrees,":[211],"but":[212],"involve":[213],"greater":[214],"combinatorial":[215,243],"complexity,":[216],"particular":[218],"use":[220,240],"\u2018sequential":[222],"representations\u2019":[223],"lattices.":[225],"approach":[230],"trees":[233],"twofold:":[235],"first,":[236],"we":[237],"can":[238],"make":[239],"ready-made":[242],"principles":[244],"which":[245],"hold":[246],"secondly,":[251],"notion":[253],"genericity":[255],"over":[256],"tree":[259],"particularly":[261],"simple.":[262]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}