{"id":"https://openalex.org/W2753793950","doi":"https://doi.org/10.1002/malq.201800008","title":"Subcomplete forcing principles and definable well\u2010orders","display_name":"Subcomplete forcing principles and definable well\u2010orders","publication_year":2018,"publication_date":"2018-12-01","ids":{"openalex":"https://openalex.org/W2753793950","doi":"https://doi.org/10.1002/malq.201800008","mag":"2753793950"},"language":"en","primary_location":{"id":"doi:10.1002/malq.201800008","is_oa":false,"landing_page_url":"https://doi.org/10.1002/malq.201800008","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":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/1708.08167","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5048116137","display_name":"G\u00fcnter Fuchs","orcid":"https://orcid.org/0000-0003-4627-3154"},"institutions":[{"id":"https://openalex.org/I121847817","display_name":"The Graduate Center, CUNY","ror":"https://ror.org/00awd9g61","country_code":"US","type":"education","lineage":["https://openalex.org/I121847817"]},{"id":"https://openalex.org/I142393192","display_name":"College of Staten Island","ror":"https://ror.org/02p179j44","country_code":"US","type":"education","lineage":["https://openalex.org/I142393192"]},{"id":"https://openalex.org/I174216632","display_name":"City University of New York","ror":"https://ror.org/00453a208","country_code":"US","type":"education","lineage":["https://openalex.org/I174216632"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Gunter Fuchs","raw_affiliation_strings":["Department of Mathematics College of Staten Island, City University of New York 2800 Victory Boulevard Staten Island NY 10314 United States of America","The Graduate Center City University of New York 365 5th Avenue New York NY 10016 United States of America"],"raw_orcid":"https://orcid.org/0000-0003-4627-3154","affiliations":[{"raw_affiliation_string":"Department of Mathematics College of Staten Island, City University of New York 2800 Victory Boulevard Staten Island NY 10314 United States of America","institution_ids":["https://openalex.org/I142393192"]},{"raw_affiliation_string":"The Graduate Center City University of New York 365 5th Avenue New York NY 10016 United States of America","institution_ids":["https://openalex.org/I121847817","https://openalex.org/I174216632"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5048116137"],"corresponding_institution_ids":["https://openalex.org/I121847817","https://openalex.org/I142393192","https://openalex.org/I174216632"],"apc_list":{"value":2900,"currency":"USD","value_usd":2900},"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.06362903,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"64","issue":"6","first_page":"487","last_page":"504"},"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.9994999766349792,"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.9994999766349792,"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/T13966","display_name":"Neurological and metabolic disorders","score":0.9898999929428101,"subfield":{"id":"https://openalex.org/subfields/2712","display_name":"Endocrinology, Diabetes and Metabolism"},"field":{"id":"https://openalex.org/fields/27","display_name":"Medicine"},"domain":{"id":"https://openalex.org/domains/4","display_name":"Health Sciences"}},{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9771000146865845,"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/forcing","display_name":"Forcing (mathematics)","score":0.9171994924545288},{"id":"https://openalex.org/keywords/omega","display_name":"Omega","score":0.874125063419342},{"id":"https://openalex.org/keywords/bounded-function","display_name":"Bounded function","score":0.7581988573074341},{"id":"https://openalex.org/keywords/axiom","display_name":"Axiom","score":0.73057621717453},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.7014173269271851},{"id":"https://openalex.org/keywords/order","display_name":"Order (exchange)","score":0.6217901110649109},{"id":"https://openalex.org/keywords/limit","display_name":"Limit (mathematics)","score":0.5003664493560791},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.44236665964126587},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.2582458257675171},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.194695383310318},{"id":"https://openalex.org/keywords/quantum-mechanics","display_name":"Quantum mechanics","score":0.09561216831207275},{"id":"https://openalex.org/keywords/geometry","display_name":"Geometry","score":0.054546236991882324}],"concepts":[{"id":"https://openalex.org/C197115733","wikidata":"https://www.wikidata.org/wiki/Q1003136","display_name":"Forcing (mathematics)","level":2,"score":0.9171994924545288},{"id":"https://openalex.org/C2779557605","wikidata":"https://www.wikidata.org/wiki/Q9890","display_name":"Omega","level":2,"score":0.874125063419342},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.7581988573074341},{"id":"https://openalex.org/C167729594","wikidata":"https://www.wikidata.org/wiki/Q17736","display_name":"Axiom","level":2,"score":0.73057621717453},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7014173269271851},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.6217901110649109},{"id":"https://openalex.org/C151201525","wikidata":"https://www.wikidata.org/wiki/Q177239","display_name":"Limit (mathematics)","level":2,"score":0.5003664493560791},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.44236665964126587},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.2582458257675171},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.194695383310318},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.09561216831207275},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.054546236991882324},{"id":"https://openalex.org/C10138342","wikidata":"https://www.wikidata.org/wiki/Q43015","display_name":"Finance","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1002/malq.201800008","is_oa":false,"landing_page_url":"https://doi.org/10.1002/malq.201800008","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"},{"id":"pmh:oai:arXiv.org:1708.08167","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1708.08167","pdf_url":"https://arxiv.org/pdf/1708.08167","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"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":null,"raw_type":"text"},{"id":"mag:2753793950","is_oa":true,"landing_page_url":"https://arxiv.org/pdf/1708.08167.pdf","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"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":"arXiv (Cornell University)","raw_type":null},{"id":"doi:10.48550/arxiv.1708.08167","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.1708.08167","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"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":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:1708.08167","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1708.08167","pdf_url":"https://arxiv.org/pdf/1708.08167","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"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":null,"raw_type":"text"},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320309102","display_name":"City University of New York","ror":"https://ror.org/00453a208"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2753793950.pdf","grobid_xml":"https://content.openalex.org/works/W2753793950.grobid-xml"},"referenced_works_count":31,"referenced_works":["https://openalex.org/W139228285","https://openalex.org/W642652845","https://openalex.org/W1964757436","https://openalex.org/W1969948941","https://openalex.org/W1981694349","https://openalex.org/W2019751722","https://openalex.org/W2028921653","https://openalex.org/W2079540958","https://openalex.org/W2090425123","https://openalex.org/W2111190351","https://openalex.org/W2117873821","https://openalex.org/W2122092051","https://openalex.org/W2123625201","https://openalex.org/W2139907287","https://openalex.org/W2152989620","https://openalex.org/W2169065977","https://openalex.org/W2319297044","https://openalex.org/W2501470784","https://openalex.org/W2650992045","https://openalex.org/W2751332598","https://openalex.org/W2769952514","https://openalex.org/W2783241777","https://openalex.org/W2799704085","https://openalex.org/W2802170162","https://openalex.org/W2962717173","https://openalex.org/W2962812905","https://openalex.org/W2963783217","https://openalex.org/W4234339746","https://openalex.org/W4244549201","https://openalex.org/W6749246540","https://openalex.org/W6749300849"],"related_works":["https://openalex.org/W2962704095","https://openalex.org/W3000031915","https://openalex.org/W3091665850","https://openalex.org/W2951006218","https://openalex.org/W1989534953","https://openalex.org/W2141464214","https://openalex.org/W2121150916","https://openalex.org/W2809803112","https://openalex.org/W2549039944","https://openalex.org/W2019819455","https://openalex.org/W2528948859","https://openalex.org/W3119058818","https://openalex.org/W2143895047","https://openalex.org/W2754231462","https://openalex.org/W1992619075","https://openalex.org/W2950176801","https://openalex.org/W1967066310","https://openalex.org/W2018932959","https://openalex.org/W1782765486","https://openalex.org/W3098624263"],"abstract_inverted_index":{"Abstract":[0],"It":[1],"is":[2,43,79,95,129],"shown":[3],"that":[4,17,64,106],"the":[5,15,18,26,55,62,72,112,119],"boldface":[6],"maximality":[7],"principle":[8],"for":[9,68,125],"subcomplete":[10,57],"forcing,":[11],",":[12,40,70],"together":[13,60],"with":[14,47,61],"assumption":[16,63],"universe":[19],"has":[20],"only":[21],"set":[22],"many":[23],"grounds,":[24],"implies":[25,71],"existence":[27,73],"of":[28,31,51,74,77,88,100,114],"a":[29,75,86,91,121],"well\u2010ordering":[30,76],"definable":[32],"without":[33,81],"parameters.":[34],"The":[35],"same":[36],"conclusion":[37],"follows":[38],"from":[39],"assuming":[41],"there":[42],"no":[44],"inner":[45],"model":[46],"an":[48],"inaccessible":[49],"limit":[50],"measurable":[52],"cardinals.":[53],"Similarly,":[54],"bounded":[56,101,122],"forcing":[58,102,123,128],"axiom,":[59],"does":[65],"not":[66],"exist,":[67],"some":[69],"which":[78],"\u03941\u2010definable":[80],"parameters,":[82],"and":[83,117],"\u2010definable":[84],"using":[85],"subset":[87],"\u03c91":[89],"as":[90],"parameter.":[92],"This":[93],"well\u2010order":[94],"in":[96],".":[97],"Enhanced":[98],"versions":[99],"axioms":[103],"are":[104,107],"introduced":[105],"strong":[108],"enough":[109],"to":[110],"have":[111],"implications":[113],"mentioned":[115],"above,":[116],"along":[118],"way,":[120],"axiom":[124],"countably":[126],"closed":[127],"proposed.":[130]},"counts_by_year":[],"updated_date":"2026-08-22T07:34:49.880490","created_date":"2025-10-10T00:00:00"}