乐胖代购免代理版

{"id":"https://openalex.org/W4391033920","doi":"https://doi.org/10.1017/bsl.2024.2","title":"POINCAR\u00c9-WEYL\u2019S PREDICATIVITY: GOING BEYOND","display_name":"POINCAR\u00c9-WEYL\u2019S PREDICATIVITY: GOING BEYOND","publication_year":2024,"publication_date":"2024-01-19","ids":{"openalex":"https://openalex.org/W4391033920","doi":"https://doi.org/10.1017/bsl.2024.2"},"language":"en","primary_location":{"is_oa":true,"landing_page_url":"https://doi.org/10.1017/bsl.2024.2","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/F904806EA3032814085F696922A2DCB5/S1079898624000027a.pdf/div-class-title-poincare-weyl-s-predicativity-going-beyond-span-class-inlineformula-span-class-alternatives-img-class-inline-graphic-mathjax-alternative-mathjax-alt-graphic-mathjax-off-data-mimesubtype-png-data-type-src-staticdomain-binary-version-id-urn-cambridge-org-id-binary-20240118113834864-0754-s1079898624000027-s1079898624000027-inline1-png-span-class-mathjax-tex-wrapper-data-mathjax-type-texmath-span-class-tex-math-mathjax-tex-math-mathjax-on-gamma-0-span-span-span-span-div.pdf","source":{"id":"https://openalex.org/S130801046","display_name":"Bulletin of Symbolic Logic","issn_l":"1079-8986","issn":["1079-8986","1943-5894"],"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},"type":"article","type_crossref":"journal-article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/F904806EA3032814085F696922A2DCB5/S1079898624000027a.pdf/div-class-title-poincare-weyl-s-predicativity-going-beyond-span-class-inlineformula-span-class-alternatives-img-class-inline-graphic-mathjax-alternative-mathjax-alt-graphic-mathjax-off-data-mimesubtype-png-data-type-src-staticdomain-binary-version-id-urn-cambridge-org-id-binary-20240118113834864-0754-s1079898624000027-s1079898624000027-inline1-png-span-class-mathjax-tex-wrapper-data-mathjax-type-texmath-span-class-tex-math-mathjax-tex-math-mathjax-on-gamma-0-span-span-span-span-div.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5071426595","display_name":"Arnon Avron","orcid":"https://orcid.org/0000-0001-6831-3343"},"institutions":[{"id":"https://openalex.org/I16391192","display_name":"Tel Aviv University","ror":"https://ror.org/04mhzgx49","country_code":"IL","type":"education","lineage":["https://openalex.org/I16391192"]}],"countries":["IL"],"is_corresponding":true,"raw_author_name":"ARNON AVRON","raw_affiliation_strings":["SCHOOL OF COMPUTER SCIENCE TEL AVIV UNIVERSITY"],"affiliations":[{"raw_affiliation_string":"SCHOOL OF COMPUTER SCIENCE TEL AVIV UNIVERSITY","institution_ids":["https://openalex.org/I16391192"]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5071426595"],"corresponding_institution_ids":["https://openalex.org/I16391192"],"apc_list":null,"apc_paid":null,"fwci":14.603,"has_fulltext":true,"fulltext_origin":"pdf","cited_by_count":1,"citation_normalized_percentile":{"value":0.999699,"is_in_top_1_percent":true,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":83,"max":92},"biblio":{"volume":"30","issue":"1","first_page":"41","last_page":"91"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T13558","display_name":"Philosophy, Science, and History","score":0.9704,"subfield":{"id":"https://openalex.org/subfields/1207","display_name":"History and Philosophy of Science"},"field":{"id":"https://openalex.org/fields/12","display_name":"Arts and Humanities"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T13558","display_name":"Philosophy, Science, and History","score":0.9704,"subfield":{"id":"https://openalex.org/subfields/1207","display_name":"History and Philosophy of Science"},"field":{"id":"https://openalex.org/fields/12","display_name":"Arts and Humanities"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10258","display_name":"Philosophy and Theoretical Science","score":0.9652,"subfield":{"id":"https://openalex.org/subfields/3205","display_name":"Experimental and Cognitive Psychology"},"field":{"id":"https://openalex.org/fields/32","display_name":"Psychology"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/poincar\u00e9-conjecture","display_name":"Poincar\u00e9 conjecture","score":0.6051771}],"concepts":[{"id":"https://openalex.org/C88221313","wikidata":"https://www.wikidata.org/wiki/Q203586","display_name":"Poincar\u00e9 conjecture","level":2,"score":0.6051771},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.44438252},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.3728392},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.3647243},{"id":"https://openalex.org/C33332235","wikidata":"https://www.wikidata.org/wiki/Q18362","display_name":"Theoretical physics","level":1,"score":0.3614931},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.3381967},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.33726898},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.33481607},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.33232695},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.28083706},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.08571863},{"id":"https://openalex.org/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"is_oa":true,"landing_page_url":"https://doi.org/10.1017/bsl.2024.2","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/F904806EA3032814085F696922A2DCB5/S1079898624000027a.pdf/div-class-title-poincare-weyl-s-predicativity-going-beyond-span-class-inlineformula-span-class-alternatives-img-class-inline-graphic-mathjax-alternative-mathjax-alt-graphic-mathjax-off-data-mimesubtype-png-data-type-src-staticdomain-binary-version-id-urn-cambridge-org-id-binary-20240118113834864-0754-s1079898624000027-s1079898624000027-inline1-png-span-class-mathjax-tex-wrapper-data-mathjax-type-texmath-span-class-tex-math-mathjax-tex-math-mathjax-on-gamma-0-span-span-span-span-div.pdf","source":{"id":"https://openalex.org/S130801046","display_name":"Bulletin of Symbolic Logic","issn_l":"1079-8986","issn":["1079-8986","1943-5894"],"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}],"best_oa_location":{"is_oa":true,"landing_page_url":"https://doi.org/10.1017/bsl.2024.2","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/F904806EA3032814085F696922A2DCB5/S1079898624000027a.pdf/div-class-title-poincare-weyl-s-predicativity-going-beyond-span-class-inlineformula-span-class-alternatives-img-class-inline-graphic-mathjax-alternative-mathjax-alt-graphic-mathjax-off-data-mimesubtype-png-data-type-src-staticdomain-binary-version-id-urn-cambridge-org-id-binary-20240118113834864-0754-s1079898624000027-s1079898624000027-inline1-png-span-class-mathjax-tex-wrapper-data-mathjax-type-texmath-span-class-tex-math-mathjax-tex-math-mathjax-on-gamma-0-span-span-span-span-div.pdf","source":{"id":"https://openalex.org/S130801046","display_name":"Bulletin of Symbolic Logic","issn_l":"1079-8986","issn":["1079-8986","1943-5894"],"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},"sustainable_development_goals":[],"grants":[],"datasets":[],"versions":[],"referenced_works_count":30,"referenced_works":["https://openalex.org/W1487756945","https://openalex.org/W1565029977","https://openalex.org/W1965905187","https://openalex.org/W2036775750","https://openalex.org/W2055655687","https://openalex.org/W2077459418","https://openalex.org/W2081002360","https://openalex.org/W2093863416","https://openalex.org/W2114374802","https://openalex.org/W2122092051","https://openalex.org/W2135443831","https://openalex.org/W2162621793","https://openalex.org/W2164475467","https://openalex.org/W2329685449","https://openalex.org/W2575229636","https://openalex.org/W2586863512","https://openalex.org/W2611803175","https://openalex.org/W2782806128","https://openalex.org/W2951418864","https://openalex.org/W3037720017","https://openalex.org/W3204195821","https://openalex.org/W4210596830","https://openalex.org/W4229690001","https://openalex.org/W4235240131","https://openalex.org/W4246834326","https://openalex.org/W4249355983","https://openalex.org/W4295744893","https://openalex.org/W4391033920","https://openalex.org/W655105679","https://openalex.org/W78460491"],"related_works":["https://openalex.org/W56994397","https://openalex.org/W4293161330","https://openalex.org/W2913952653","https://openalex.org/W2418069309","https://openalex.org/W2376158287","https://openalex.org/W2089274067","https://openalex.org/W1973641256","https://openalex.org/W1554348828","https://openalex.org/W1526165314","https://openalex.org/W1121942432"],"abstract_inverted_index":{"Abstract":[0],"On":[1],"the":[2,41,48],"basis":[3],"of":[4,9,44,50],"Poincar\u00e9":[5],"and":[6,28],"Weyl\u2019s":[7],"view":[8,43],"predicativity":[10],"as":[11,35,47],"invariance,":[12],"we":[13],"develop":[14],"an":[15],"extensive":[16],"framework":[17],"for":[18],"predicative,":[19],"type-free":[20],"first-order":[21],"set":[22],"theory":[23],"in":[24],"which":[25],"$\\Gamma":[26,45],"_0$":[27,46],"much":[29],"bigger":[30],"ordinals":[31],"can":[32],"be":[33],"defined":[34],"von":[36],"Neumann":[37],"ordinals.":[38],"This":[39],"refutes":[40],"accepted":[42],"\u201climit":[49],"predicativity\u201d.":[51]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W4391033920","counts_by_year":[{"year":2024,"cited_by_count":1}],"updated_date":"2025-01-15T02:53:36.762308","created_date":"2024-01-20"}