{"id":"https://openalex.org/W2746140541","doi":"https://doi.org/10.1007/s11225-019-09860-7","title":"Inner-Model Reflection Principles","display_name":"Inner-Model Reflection Principles","publication_year":2019,"publication_date":"2019-04-20","ids":{"openalex":"https://openalex.org/W2746140541","doi":"https://doi.org/10.1007/s11225-019-09860-7","mag":"2746140541"},"language":"en","primary_location":{"id":"doi:10.1007/s11225-019-09860-7","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s11225-019-09860-7","pdf_url":"https://link.springer.com/content/pdf/10.1007/s11225-019-09860-7.pdf","source":{"id":"https://openalex.org/S30880287","display_name":"Studia Logica","issn_l":"0039-3215","issn":["0039-3215","1572-8730"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Studia Logica","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/s11225-019-09860-7.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5050299288","display_name":"Neil Barton","orcid":"https://orcid.org/0000-0002-3637-1730"},"institutions":[{"id":"https://openalex.org/I4210113698","display_name":"Kurt G\u00f6del Society","ror":"https://ror.org/01wp6nz35","country_code":"AT","type":"other","lineage":["https://openalex.org/I4210113698"]}],"countries":["AT"],"is_corresponding":true,"raw_author_name":"Neil Barton","raw_affiliation_strings":["Kurt G\u00f6del Research Center for Mathematical Logic, Vienna, Austria"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Kurt G\u00f6del Research Center for Mathematical Logic, Vienna, Austria","institution_ids":["https://openalex.org/I4210113698"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103145756","display_name":"Andr\u00e9s Eduardo Caicedo","orcid":"https://orcid.org/0000-0001-8738-2037"},"institutions":[{"id":"https://openalex.org/I4210159850","display_name":"Annual Reviews","ror":"https://ror.org/05r2g1b90","country_code":"US","type":"nonprofit","lineage":["https://openalex.org/I4210159850"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Andr\u00e9s Eduardo Caicedo","raw_affiliation_strings":["Mathematical Reviews, Ann Arbor, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Mathematical Reviews, Ann Arbor, USA","institution_ids":["https://openalex.org/I4210159850"]}]},{"author_position":"middle","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":["Mathematics, College of Staten Island of CUNY, Staten Island, USA","Mathematics, The Graduate Center of The City University of New York, New York, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Mathematics, College of Staten Island of CUNY, Staten Island, USA","institution_ids":["https://openalex.org/I142393192"]},{"raw_affiliation_string":"Mathematics, The Graduate Center of The City University of New York, New York, USA","institution_ids":["https://openalex.org/I121847817","https://openalex.org/I174216632"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5078404862","display_name":"Joel David Hamkins","orcid":"https://orcid.org/0000-0002-9959-0500"},"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"]},{"id":"https://openalex.org/I40120149","display_name":"University of Oxford","ror":"https://ror.org/052gg0110","country_code":"GB","type":"education","lineage":["https://openalex.org/I40120149"]}],"countries":["GB","US"],"is_corresponding":true,"raw_author_name":"Joel David Hamkins","raw_affiliation_strings":["Mathematics, College of Staten Island of CUNY, Staten Island, USA","Mathematics, Philosophy, Computer Science, The Graduate Center of The City University of New York, New York, USA","University of Oxford, and Sir Peter Strawson Fellow in Philosophy University College, Oxford, UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Mathematics, College of Staten Island of CUNY, Staten Island, USA","institution_ids":["https://openalex.org/I142393192"]},{"raw_affiliation_string":"Mathematics, Philosophy, Computer Science, The Graduate Center of The City University of New York, New York, USA","institution_ids":["https://openalex.org/I121847817","https://openalex.org/I174216632"]},{"raw_affiliation_string":"University of Oxford, and Sir Peter Strawson Fellow in Philosophy University College, Oxford, UK","institution_ids":["https://openalex.org/I40120149"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5047741546","display_name":"Jonas Reitz","orcid":"https://orcid.org/0000-0002-7297-5654"},"institutions":[{"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"]},{"id":"https://openalex.org/I76513827","display_name":"New York City College of Technology","ror":"https://ror.org/021a7pw18","country_code":"US","type":"education","lineage":["https://openalex.org/I76513827"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Jonas Reitz","raw_affiliation_strings":["Mathematics, New York City College of Technology of The City University of New York, Brooklyn, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Mathematics, New York City College of Technology of The City University of New York, Brooklyn, USA","institution_ids":["https://openalex.org/I174216632","https://openalex.org/I76513827"]}]},{"author_position":"last","author":{"id":null,"display_name":"Ralf Schindler","orcid":null},"institutions":[{"id":"https://openalex.org/I22465464","display_name":"University of M\u00fcnster","ror":"https://ror.org/00pd74e08","country_code":"DE","type":"education","lineage":["https://openalex.org/I22465464"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Ralf Schindler","raw_affiliation_strings":["Institut f\u00fcr mathematische Logik und Grundlagenforschung Fachbereich Mathematik und Informatik, Universit\u00e4t M\u00fcnster, M\u00fcnster, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institut f\u00fcr mathematische Logik und Grundlagenforschung Fachbereich Mathematik und Informatik, Universit\u00e4t M\u00fcnster, M\u00fcnster, Germany","institution_ids":["https://openalex.org/I22465464"]}]}],"institutions":[],"countries_distinct_count":4,"institutions_distinct_count":8,"corresponding_author_ids":["https://openalex.org/A5047741546","https://openalex.org/A5048116137","https://openalex.org/A5050299288","https://openalex.org/A5078404862","https://openalex.org/A5103145756"],"corresponding_institution_ids":["https://openalex.org/I121847817","https://openalex.org/I142393192","https://openalex.org/I174216632","https://openalex.org/I22465464","https://openalex.org/I40120149","https://openalex.org/I4210113698","https://openalex.org/I4210159850","https://openalex.org/I76513827"],"apc_list":{"value":2990,"currency":"USD","value_usd":2990},"apc_paid":{"value":2990,"currency":"USD","value_usd":2990},"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.02275366,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"108","issue":"3","first_page":"573","last_page":"595"},"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.9975000023841858,"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.9975000023841858,"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.992900013923645,"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/T13400","display_name":"Mathematical and Theoretical Analysis","score":0.9840999841690063,"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/reflection","display_name":"Reflection (computer programming)","score":0.8210264444351196},{"id":"https://openalex.org/keywords/reflection-principle","display_name":"Reflection principle (Wiener process)","score":0.7625054121017456},{"id":"https://openalex.org/keywords/forcing","display_name":"Forcing (mathematics)","score":0.6298686265945435},{"id":"https://openalex.org/keywords/statement","display_name":"Statement (logic)","score":0.6083377599716187},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5945719480514526},{"id":"https://openalex.org/keywords/universe","display_name":"Universe","score":0.547073483467102},{"id":"https://openalex.org/keywords/rank","display_name":"Rank (graph theory)","score":0.5091339945793152},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.47169235348701477},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.4305015504360199},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.35032325983047485},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.3443756401538849},{"id":"https://openalex.org/keywords/theoretical-physics","display_name":"Theoretical physics","score":0.3315843939781189},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.2894248366355896},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.2794448733329773},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.27137649059295654},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.22275841236114502},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.15994209051132202},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.1383575201034546},{"id":"https://openalex.org/keywords/quantum-mechanics","display_name":"Quantum mechanics","score":0.11423078179359436}],"concepts":[{"id":"https://openalex.org/C65682993","wikidata":"https://www.wikidata.org/wiki/Q1056451","display_name":"Reflection (computer programming)","level":2,"score":0.8210264444351196},{"id":"https://openalex.org/C118368358","wikidata":"https://www.wikidata.org/wiki/Q7307248","display_name":"Reflection principle (Wiener process)","level":5,"score":0.7625054121017456},{"id":"https://openalex.org/C197115733","wikidata":"https://www.wikidata.org/wiki/Q1003136","display_name":"Forcing (mathematics)","level":2,"score":0.6298686265945435},{"id":"https://openalex.org/C2777026412","wikidata":"https://www.wikidata.org/wiki/Q2684591","display_name":"Statement (logic)","level":2,"score":0.6083377599716187},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5945719480514526},{"id":"https://openalex.org/C84999194","wikidata":"https://www.wikidata.org/wiki/Q1","display_name":"Universe","level":2,"score":0.547073483467102},{"id":"https://openalex.org/C164226766","wikidata":"https://www.wikidata.org/wiki/Q7293202","display_name":"Rank (graph theory)","level":2,"score":0.5091339945793152},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.47169235348701477},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4305015504360199},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.35032325983047485},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.3443756401538849},{"id":"https://openalex.org/C33332235","wikidata":"https://www.wikidata.org/wiki/Q18362","display_name":"Theoretical physics","level":1,"score":0.3315843939781189},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.2894248366355896},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.2794448733329773},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.27137649059295654},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.22275841236114502},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.15994209051132202},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.1383575201034546},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.11423078179359436},{"id":"https://openalex.org/C56739046","wikidata":"https://www.wikidata.org/wiki/Q192060","display_name":"Knowledge management","level":1,"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/C68710425","wikidata":"https://www.wikidata.org/wiki/Q5275442","display_name":"Diffusion process","level":3,"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/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","level":1,"score":0.0},{"id":"https://openalex.org/C101615488","wikidata":"https://www.wikidata.org/wiki/Q1503307","display_name":"Geometric Brownian motion","level":4,"score":0.0},{"id":"https://openalex.org/C3017618536","wikidata":"https://www.wikidata.org/wiki/Q304994","display_name":"Innovation diffusion","level":2,"score":0.0}],"mesh":[],"locations_count":7,"locations":[{"id":"doi:10.1007/s11225-019-09860-7","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s11225-019-09860-7","pdf_url":"https://link.springer.com/content/pdf/10.1007/s11225-019-09860-7.pdf","source":{"id":"https://openalex.org/S30880287","display_name":"Studia Logica","issn_l":"0039-3215","issn":["0039-3215","1572-8730"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Studia Logica","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:1708.06669","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1708.06669","pdf_url":"https://arxiv.org/pdf/1708.06669","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":"pmh:oai:kops.uni-konstanz.de:123456789/52643","is_oa":true,"landing_page_url":"http://nbn-resolving.de/urn:nbn:de:bsz:352-2-1whhsc8h44peb6","pdf_url":"https://kops.uni-konstanz.de/server/api/core/bitstreams/945320ae-9527-4933-9451-24aa66a7099a/content","source":{"id":"https://openalex.org/S4306401487","display_name":"KOPS (University of Konstanz)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I189712700","host_organization_name":"University of Konstanz","host_organization_lineage":["https://openalex.org/I189712700"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Studia Logica. Springer. 2020, 108(3), S. 573-595. ISSN 0039-3215. eISSN 1572-8730. Verf\u00fcgbar unter: doi: 10.1007/s11225-019-09860-7","raw_type":"doc-type:article"},{"id":"pmh:oai:philpapers.org/rec/BARIRP-3","is_oa":true,"landing_page_url":"https://philpapers.org/rec/BARIRP-3","pdf_url":"https://philpapers.org/archive/BARIRP-3.pdf","source":{"id":"https://openalex.org/S4306402130","display_name":"PhilPapers (PhilPapers Foundation)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"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":"info:eu-repo/semantics/article"},{"id":"mag:2746140541","is_oa":true,"landing_page_url":"https://arxiv.org/pdf/1708.06669.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":"pmh:oai:philarchive.org/rec/BARIRP-3","is_oa":false,"landing_page_url":"https://philarchive.org/rec/BARIRP-3","pdf_url":null,"source":{"id":"https://openalex.org/S4306402130","display_name":"PhilPapers (PhilPapers Foundation)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"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":"info:eu-repo/semantics/article"},{"id":"doi:10.48550/arxiv.1708.06669","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.1708.06669","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":"article-journal"}],"best_oa_location":{"id":"doi:10.1007/s11225-019-09860-7","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s11225-019-09860-7","pdf_url":"https://link.springer.com/content/pdf/10.1007/s11225-019-09860-7.pdf","source":{"id":"https://openalex.org/S30880287","display_name":"Studia Logica","issn_l":"0039-3215","issn":["0039-3215","1572-8730"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Studia Logica","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2962394209","display_name":null,"funder_award_id":"PSC-CUNY grant 60630-00 48","funder_id":"https://openalex.org/F4320332202","funder_display_name":"Research Foundation of The City University of New York"},{"id":"https://openalex.org/G6275859947","display_name":"The Hyperuniverse Programme","funder_award_id":"P 28420","funder_id":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund"}],"funders":[{"id":"https://openalex.org/F4320309102","display_name":"City University of New York","ror":"https://ror.org/00453a208"},{"id":"https://openalex.org/F4320320879","display_name":"Deutsche Forschungsgemeinschaft","ror":"https://ror.org/018mejw64"},{"id":"https://openalex.org/F4320321181","display_name":"Austrian Science Fund","ror":"https://ror.org/013tf3c58"},{"id":"https://openalex.org/F4320332202","display_name":"Research Foundation of The City University of New York","ror":"https://ror.org/01d03cj21"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2746140541.pdf","grobid_xml":"https://content.openalex.org/works/W2746140541.grobid-xml"},"referenced_works_count":18,"referenced_works":["https://openalex.org/W1969948941","https://openalex.org/W1973796507","https://openalex.org/W2029038421","https://openalex.org/W2059407897","https://openalex.org/W2068021410","https://openalex.org/W2077466758","https://openalex.org/W2081336225","https://openalex.org/W2104896577","https://openalex.org/W2122326561","https://openalex.org/W2123625201","https://openalex.org/W2139907287","https://openalex.org/W2169065977","https://openalex.org/W2183158954","https://openalex.org/W2221706562","https://openalex.org/W2886492432","https://openalex.org/W2963783217","https://openalex.org/W4244549201","https://openalex.org/W6683041724"],"related_works":["https://openalex.org/W2964169468","https://openalex.org/W2169065977","https://openalex.org/W2768251629","https://openalex.org/W1981694349","https://openalex.org/W1679533123","https://openalex.org/W597863954","https://openalex.org/W2152801781","https://openalex.org/W2053595311","https://openalex.org/W3075633002","https://openalex.org/W2920795773","https://openalex.org/W2341203573","https://openalex.org/W3087652949","https://openalex.org/W2033883636","https://openalex.org/W2735560022","https://openalex.org/W2090425123","https://openalex.org/W2887741385","https://openalex.org/W2020181945","https://openalex.org/W3044861665","https://openalex.org/W2949431055","https://openalex.org/W2140935379"],"abstract_inverted_index":{"We":[0,159],"introduce":[1],"and":[2,104,140,153],"consider":[3,161],"the":[4,18,27,47,70,89,94,123,126,134,144,149,155,165,168],"inner-model":[5,127,156],"reflection":[6,49,85,92,96,128,145],"principle,":[7,46,50],"which":[8],"asserts":[9,51],"that":[10,52],"whenever":[11],"a":[12,37,81,131],"statement":[13],"$$\\varphi":[14,55],"(a)$$":[15,56],"\u03c6(a)":[16,57],"in":[17,26,36,59,64,86],"first-order":[19],"language":[20],"of":[21,69,83,93,122,133,136,143,167],"set":[22,75],"theory":[23],"is":[24,33,61,130],"true":[25,35,58,63],"set-theoretic":[28],"universe":[29,71],"V,":[30],"then":[31],"it":[32],"also":[34,62,160],"proper":[38],"inner":[39],"model":[40,68],"$$W\\subsetneq":[41],"V$$":[42],"W\u228aV.":[43],"A":[44],"stronger":[45],"ground-model":[48],"any":[53,118],"such":[54],"V":[60],"some":[65,162],"non-trivial":[66],"ground":[67],"with":[72,102],"respect":[73],"to":[74,88],"forcing.":[76],"These":[77],"principles":[78,146],"each":[79,100],"express":[80],"form":[82],"width":[84],"contrast":[87],"usual":[90],"height":[91],"L\u00e9vy\u2013Montague":[95],"theorem.":[97],"They":[98],"are":[99],"equiconsistent":[101],"ZFC":[103],"indeed":[105],"$$\\Pi":[106],"_2$$":[107],"\u03a02-conservative":[108],"over":[109],"ZFC,":[110],"being":[111],"forceable":[112],"by":[113],"class":[114],"forcing":[115],"while":[116],"preserving":[117],"desired":[119],"rank-initial":[120],"segment":[121],"universe.":[124],"Furthermore,":[125],"principle":[129,151],"consequence":[132],"existence":[135],"sufficient":[137],"large":[138],"cardinals,":[139],"lightface":[141],"formulations":[142],"follow":[147],"from":[148,154],"maximality":[150],"MP":[152],"hypothesis":[157],"IMH.":[158],"questions":[163],"concerning":[164],"expressibility":[166],"principles.":[169]},"counts_by_year":[],"updated_date":"2026-08-23T07:36:19.812096","created_date":"2025-10-10T00:00:00"}