{"id":"https://openalex.org/W2963317686","doi":"https://doi.org/10.1002/malq.201500001","title":"Separating principles below","display_name":"Separating principles below","publication_year":2016,"publication_date":"2016-12-01","ids":{"openalex":"https://openalex.org/W2963317686","doi":"https://doi.org/10.1002/malq.201500001","mag":"2963317686"},"language":"en","primary_location":{"id":"doi:10.1002/malq.201500001","is_oa":false,"landing_page_url":"https://doi.org/10.1002/malq.201500001","pdf_url":null,"source":{"id":"https://openalex.org/S172351290","display_name":"Mathematical logic quarterly","issn_l":"0044-3050","issn":["0044-3050","0942-5616","1521-3870"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Logic Quarterly","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/A5086303541","display_name":"Stephen Flood","orcid":"https://orcid.org/0000-0001-8206-737X"},"institutions":[{"id":"https://openalex.org/I17856709","display_name":"Bridgewater State University","ror":"https://ror.org/02x3skf39","country_code":"US","type":"education","lineage":["https://openalex.org/I17856709"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Stephen Flood","raw_affiliation_strings":["Department of Mathematics Bridgewater State University 131 Summer Street Bridgewater MA 02325 United States of America","Department of Mathematics, Bridgewater State University, 131 Summer Street, Bridgewater, MA, 02325 United States of America"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics Bridgewater State University 131 Summer Street Bridgewater MA 02325 United States of America","institution_ids":["https://openalex.org/I17856709"]},{"raw_affiliation_string":"Department of Mathematics, Bridgewater State University, 131 Summer Street, Bridgewater, MA, 02325 United States of America","institution_ids":["https://openalex.org/I17856709"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5047471753","display_name":"Henry Towsner","orcid":"https://orcid.org/0000-0001-7993-5148"},"institutions":[{"id":"https://openalex.org/I79576946","display_name":"University of Pennsylvania","ror":"https://ror.org/00b30xv10","country_code":"US","type":"education","lineage":["https://openalex.org/I79576946"]},{"id":"https://openalex.org/I110357561","display_name":"University of the Sciences","ror":"https://ror.org/048gmay44","country_code":"US","type":"education","lineage":["https://openalex.org/I110357561"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Henry Towsner","raw_affiliation_strings":["Department of Mathematics University of Pennsylvania 209 South 33rd Street Philadelphia PA 19104\u20106395 United States of America","Department of Mathematics, University of Pennsylvania, 209 South 33rd Street, Philadelphia, PA, 19104-6395 United States of America"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics University of Pennsylvania 209 South 33rd Street Philadelphia PA 19104\u20106395 United States of America","institution_ids":["https://openalex.org/I110357561","https://openalex.org/I79576946"]},{"raw_affiliation_string":"Department of Mathematics, University of Pennsylvania, 209 South 33rd Street, Philadelphia, PA, 19104-6395 United States of America","institution_ids":["https://openalex.org/I79576946"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5047471753","https://openalex.org/A5086303541"],"corresponding_institution_ids":["https://openalex.org/I110357561","https://openalex.org/I17856709","https://openalex.org/I79576946"],"apc_list":{"value":2630,"currency":"USD","value_usd":2630},"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.25214015,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"62","issue":"6","first_page":"507","last_page":"529"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":1.0,"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/T12002","display_name":"Computability, Logic, AI Algorithms","score":1.0,"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/T11151","display_name":"Advanced Topology and Set Theory","score":0.9984999895095825,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9905999898910522,"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/iterated-function","display_name":"Iterated function","score":0.7311211824417114},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.688620388507843},{"id":"https://openalex.org/keywords/lemma","display_name":"Lemma (botany)","score":0.6623539924621582},{"id":"https://openalex.org/keywords/ideal","display_name":"Ideal (ethics)","score":0.6134418845176697},{"id":"https://openalex.org/keywords/construct","display_name":"Construct (python library)","score":0.5886974930763245},{"id":"https://openalex.org/keywords/turing","display_name":"Turing","score":0.5172924995422363},{"id":"https://openalex.org/keywords/forcing","display_name":"Forcing (mathematics)","score":0.4731874465942383},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.4623836874961853},{"id":"https://openalex.org/keywords/translation","display_name":"Translation (biology)","score":0.4341300129890442},{"id":"https://openalex.org/keywords/turing-machine","display_name":"Turing machine","score":0.4304000735282898},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.3417714834213257},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.3394240140914917},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.320825457572937},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3015170693397522},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.2393934428691864},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.09634676575660706},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.06519860029220581}],"concepts":[{"id":"https://openalex.org/C140479938","wikidata":"https://www.wikidata.org/wiki/Q5254619","display_name":"Iterated function","level":2,"score":0.7311211824417114},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.688620388507843},{"id":"https://openalex.org/C2777759810","wikidata":"https://www.wikidata.org/wiki/Q149316","display_name":"Lemma (botany)","level":3,"score":0.6623539924621582},{"id":"https://openalex.org/C2776639384","wikidata":"https://www.wikidata.org/wiki/Q840396","display_name":"Ideal (ethics)","level":2,"score":0.6134418845176697},{"id":"https://openalex.org/C2780801425","wikidata":"https://www.wikidata.org/wiki/Q5164392","display_name":"Construct (python library)","level":2,"score":0.5886974930763245},{"id":"https://openalex.org/C9870796","wikidata":"https://www.wikidata.org/wiki/Q490481","display_name":"Turing","level":2,"score":0.5172924995422363},{"id":"https://openalex.org/C197115733","wikidata":"https://www.wikidata.org/wiki/Q1003136","display_name":"Forcing (mathematics)","level":2,"score":0.4731874465942383},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.4623836874961853},{"id":"https://openalex.org/C149364088","wikidata":"https://www.wikidata.org/wiki/Q185917","display_name":"Translation (biology)","level":4,"score":0.4341300129890442},{"id":"https://openalex.org/C29248071","wikidata":"https://www.wikidata.org/wiki/Q163310","display_name":"Turing machine","level":3,"score":0.4304000735282898},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3417714834213257},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.3394240140914917},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.320825457572937},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3015170693397522},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.2393934428691864},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.09634676575660706},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.06519860029220581},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","level":1,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","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/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C105580179","wikidata":"https://www.wikidata.org/wiki/Q188928","display_name":"Messenger RNA","level":3,"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/C46757340","wikidata":"https://www.wikidata.org/wiki/Q43238","display_name":"Poaceae","level":2,"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/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1002/malq.201500001","is_oa":false,"landing_page_url":"https://doi.org/10.1002/malq.201500001","pdf_url":null,"source":{"id":"https://openalex.org/S172351290","display_name":"Mathematical logic quarterly","issn_l":"0044-3050","issn":["0044-3050","0942-5616","1521-3870"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Logic Quarterly","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G4773359508","display_name":null,"funder_award_id":"DMS\u20101340666","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":8,"referenced_works":["https://openalex.org/W1560798351","https://openalex.org/W2026779741","https://openalex.org/W2038076484","https://openalex.org/W2045383980","https://openalex.org/W2048666586","https://openalex.org/W2111376735","https://openalex.org/W3098373946","https://openalex.org/W4229690001"],"related_works":["https://openalex.org/W2119244842","https://openalex.org/W4285436350","https://openalex.org/W4324016496","https://openalex.org/W2215138167","https://openalex.org/W4254404873","https://openalex.org/W4231495498","https://openalex.org/W2090113742","https://openalex.org/W4312201671","https://openalex.org/W2306527987","https://openalex.org/W3160192459"],"abstract_inverted_index":{"In":[0],"this":[1,87,94,111],"paper,":[2],"we":[3],"study":[4],"the":[5,20],"Ramsey-type":[6],"weak":[7],"K\u0151nig's":[8],"Lemma,":[9],"written":[10],",":[11],"using":[12],"a":[13,47,58,73,80,100],"technique":[14,24,41,112],"introduced":[15],"by":[16,96,121],"Lerman,":[17],"Solomon,":[18],"and":[19,106,108,124],"second":[21],"author.":[22],"This":[23],"uses":[25],"iterated":[26],"forcing":[27],"to":[28,45,62,113],"construct":[29],"an":[30,52,69],"\u03c9-model":[31,70],"satisfying":[32],"one":[33,44],"principle":[34],"T1":[35,84],"but":[36,86],"not":[37],"another":[38],"T2.":[39],"The":[40],"often":[42],"allows":[43],"translate":[46],"\u201cone":[48],"step\u201d":[49],"construction":[50],"(building":[51,72],"instance":[53,65,75,88],"of":[54,60,66,76,102],"T2":[55,77],"along":[56],"with":[57,79],"collection":[59],"solutions":[61],"each":[63],"computable":[64,74],"T1)":[67],"into":[68],"separation":[71],"together":[78],"Turing":[81],"ideal":[82],"where":[83],"holds":[85],"has":[89,117],"no":[90],"solution).":[91],"We":[92],"illustrate":[93],"translation":[95],"separating":[97],"from":[98,115],"(reproving":[99],"result":[101],"Ambos-Spies,":[103],"Kjos-Hanssen,":[104],"Lempp,":[105],"Slaman),":[107],"then":[109],"apply":[110],"separate":[114],"(which":[116],"been":[118],"shown":[119],"separately":[120],"Bienvenu,":[122],"Patey,":[123],"Shafer).":[125]},"counts_by_year":[{"year":2015,"cited_by_count":1}],"updated_date":"2026-07-07T14:30:12.667765","created_date":"2025-10-10T00:00:00"}