乐胖代购免代理版

{"id":"https://openalex.org/W2935729958","doi":"https://doi.org/10.1017/s1755020319000170","title":"QUANTIFIED INTUITIONISTIC LOGIC OVER METRIZABLE SPACES","display_name":"QUANTIFIED INTUITIONISTIC LOGIC OVER METRIZABLE SPACES","publication_year":2019,"publication_date":"2019-04-08","ids":{"openalex":"https://openalex.org/W2935729958","doi":"https://doi.org/10.1017/s1755020319000170","mag":"2935729958"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1017/s1755020319000170","pdf_url":null,"source":{"id":"https://openalex.org/S24077076","display_name":"The Review of Symbolic Logic","issn_l":"1755-0211","issn":["1755-0211","1755-0203"],"is_oa":false,"is_in_doaj":false,"is_indexed_in_scopus":true,"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":null,"is_accepted":false,"is_published":false},"type":"article","type_crossref":"journal-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/A5042962543","display_name":"Philip Kremer","orcid":null},"institutions":[{"id":"https://openalex.org/I2799376586","display_name":"The Scarborough Hospital","ror":"https://ror.org/04pzgb662","country_code":"CA","type":"healthcare","lineage":["https://openalex.org/I2799376586"]},{"id":"https://openalex.org/I185261750","display_name":"University of Toronto","ror":"https://ror.org/03dbr7087","country_code":"CA","type":"funder","lineage":["https://openalex.org/I185261750"]}],"countries":["CA"],"is_corresponding":true,"raw_author_name":"PHILIP KREMER","raw_affiliation_strings":["Department of Philosophy, University of Toronto Scarborough"],"affiliations":[{"raw_affiliation_string":"Department of Philosophy, University of Toronto Scarborough","institution_ids":["https://openalex.org/I2799376586","https://openalex.org/I185261750"]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5042962543"],"corresponding_institution_ids":["https://openalex.org/I2799376586","https://openalex.org/I185261750"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"fulltext_origin":"ngrams","cited_by_count":0,"citation_normalized_percentile":{"value":0.0,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":0,"max":61},"biblio":{"volume":"12","issue":"3","first_page":"405","last_page":"425"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.999,"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"}},"topics":[{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.999,"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"}},{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9963,"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/T10126","display_name":"Logic, programming, and type systems","score":0.992,"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/metrization-theorem","display_name":"Metrization theorem","score":0.89722985},{"id":"https://openalex.org/keywords/cardinality","display_name":"Cardinality (data modeling)","score":0.5230813},{"id":"https://openalex.org/keywords/constant","display_name":"Constant (computer programming)","score":0.5051089},{"id":"https://openalex.org/keywords/zero","display_name":"Zero (linguistics)","score":0.4461285},{"id":"https://openalex.org/keywords/real-line","display_name":"Real line","score":0.44296426}],"concepts":[{"id":"https://openalex.org/C105433845","wikidata":"https://www.wikidata.org/wiki/Q1194053","display_name":"Metrization theorem","level":3,"score":0.89722985},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.77897966},{"id":"https://openalex.org/C70710897","wikidata":"https://www.wikidata.org/wiki/Q680081","display_name":"Separable space","level":2,"score":0.684409},{"id":"https://openalex.org/C110729354","wikidata":"https://www.wikidata.org/wiki/Q185478","display_name":"Countable set","level":2,"score":0.6220511},{"id":"https://openalex.org/C87117476","wikidata":"https://www.wikidata.org/wiki/Q362383","display_name":"Cardinality (data modeling)","level":2,"score":0.5230813},{"id":"https://openalex.org/C2777027219","wikidata":"https://www.wikidata.org/wiki/Q1284190","display_name":"Constant (computer programming)","level":2,"score":0.5051089},{"id":"https://openalex.org/C2778572836","wikidata":"https://www.wikidata.org/wiki/Q380933","display_name":"Space (punctuation)","level":2,"score":0.47740093},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.46521974},{"id":"https://openalex.org/C2780813799","wikidata":"https://www.wikidata.org/wiki/Q3274237","display_name":"Zero (linguistics)","level":2,"score":0.4461285},{"id":"https://openalex.org/C75432250","wikidata":"https://www.wikidata.org/wiki/Q29654355","display_name":"Real line","level":2,"score":0.44296426},{"id":"https://openalex.org/C140936041","wikidata":"https://www.wikidata.org/wiki/Q1801244","display_name":"Zero-dimensional space","level":4,"score":0.41919255},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4137198},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.38004327},{"id":"https://openalex.org/C81332173","wikidata":"https://www.wikidata.org/wiki/Q179899","display_name":"Topological space","level":2,"score":0.3484481},{"id":"https://openalex.org/C47776270","wikidata":"https://www.wikidata.org/wiki/Q1455249","display_name":"Topological vector space","level":3,"score":0.1968508},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.10595423},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.10106212},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","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/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","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/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1017/s1755020319000170","pdf_url":null,"source":{"id":"https://openalex.org/S24077076","display_name":"The Review of Symbolic Logic","issn_l":"1755-0211","issn":["1755-0211","1755-0203"],"is_oa":false,"is_in_doaj":false,"is_indexed_in_scopus":true,"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":null,"is_accepted":false,"is_published":false}],"best_oa_location":null,"sustainable_development_goals":[],"grants":[],"datasets":[],"versions":[],"referenced_works_count":18,"referenced_works":["https://openalex.org/W1480405493","https://openalex.org/W1525647423","https://openalex.org/W1535521146","https://openalex.org/W1557351111","https://openalex.org/W1568501149","https://openalex.org/W1996784100","https://openalex.org/W2041222837","https://openalex.org/W2050527500","https://openalex.org/W2080823411","https://openalex.org/W2093415229","https://openalex.org/W2104342436","https://openalex.org/W2142696533","https://openalex.org/W2331073395","https://openalex.org/W2490342880","https://openalex.org/W2598639751","https://openalex.org/W325205826","https://openalex.org/W4235553305","https://openalex.org/W641016999"],"related_works":["https://openalex.org/W4297691816","https://openalex.org/W4288099311","https://openalex.org/W4206811082","https://openalex.org/W2953209050","https://openalex.org/W2578610998","https://openalex.org/W2269838946","https://openalex.org/W2140458307","https://openalex.org/W1970172370","https://openalex.org/W1578726337","https://openalex.org/W1515859842"],"abstract_inverted_index":{"Abstract":[0],"In":[1],"the":[2,18,35,43,58,78,102,140],"topological":[3,22,29],"semantics,":[4],"quantified":[5],"intuitionistic":[6],"logic,":[7],"QH,":[8],"is":[9,67,86,107,144],"known":[10,83],"to":[11],"be":[12],"strongly":[13,87,108,145],"complete":[14,88,109,146],"not":[15],"only":[16],"for":[17,26,32,34,42,57,89,110,139,147],"class":[19],"of":[20,61,77,99,132],"all":[21],"spaces":[23,30],"but":[24],"also":[25,123],"some":[27],"particular":[28],"\u2014":[31],"example,":[33],"irrational":[36],"line,":[37,45],"${\\Bbb":[38,46,62,65],"P}$":[39,63],",":[40,48],"and":[41,64],"rational":[44],"Q}$":[47,66],"in":[49],"each":[50],"case":[51],"with":[52,95,117,152],"a":[53,68,96,118,125],"constant":[54,97,119],"countable":[55,120,153],"domain":[56,98],"quantifiers.":[59],"Each":[60],"separable":[69,112],"zero-dimensional":[70,91,113],"dense-in-itself":[71,92,114,149],"metrizable":[72,93,115,150],"space.":[73],"The":[74],"main":[75],"result":[76,126],"current":[79],"article":[80],"generalizes":[81],"these":[82],"results:":[84],"QH":[85,106,143],"any":[90,111,148],"space":[94,116,151],"cardinality":[100],"\u2264":[101],"space\u2019s":[103],"weight;":[104],"consequently,":[105],"domain.":[121],"We":[122],"prove":[124],"that":[127],"follows":[128],"from":[129],"earlier":[130],"work":[131],"Moerdijk:":[133],"if":[134],"we":[135],"allow":[136],"varying":[137],"domains":[138],"quantifiers,":[141],"then":[142],"domains.":[154]},"abstract_inverted_index_v3":null,"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2935729958","counts_by_year":[],"updated_date":"2025-01-30T18:49:46.052607","created_date":"2019-04-25"}