{"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":{"id":"doi:10.1017/s1755020319000170","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-0203","issn":["1755-0203","1755-0211"],"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,"raw_source_name":"The Review of Symbolic Logic","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/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":"education","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"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5042962543"],"corresponding_institution_ids":["https://openalex.org/I185261750","https://openalex.org/I2799376586"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.028308,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"12","issue":"3","first_page":"405","last_page":"425"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9990000128746033,"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.9990000128746033,"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.9962999820709229,"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.9919999837875366,"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.8972298502922058},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.7789796590805054},{"id":"https://openalex.org/keywords/separable-space","display_name":"Separable space","score":0.6844090223312378},{"id":"https://openalex.org/keywords/countable-set","display_name":"Countable set","score":0.6220511198043823},{"id":"https://openalex.org/keywords/cardinality","display_name":"Cardinality (data modeling)","score":0.5230813026428223},{"id":"https://openalex.org/keywords/constant","display_name":"Constant (computer programming)","score":0.5051088929176331},{"id":"https://openalex.org/keywords/space","display_name":"Space (punctuation)","score":0.47740092873573303},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.46521973609924316},{"id":"https://openalex.org/keywords/zero","display_name":"Zero (linguistics)","score":0.4461284875869751},{"id":"https://openalex.org/keywords/real-line","display_name":"Real line","score":0.44296425580978394},{"id":"https://openalex.org/keywords/zero-dimensional-space","display_name":"Zero-dimensional space","score":0.4191925525665283},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.4137198030948639},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.38004326820373535},{"id":"https://openalex.org/keywords/topological-space","display_name":"Topological space","score":0.34844809770584106},{"id":"https://openalex.org/keywords/topological-vector-space","display_name":"Topological vector space","score":0.19685080647468567},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.10595422983169556},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.1010621190071106}],"concepts":[{"id":"https://openalex.org/C105433845","wikidata":"https://www.wikidata.org/wiki/Q1194053","display_name":"Metrization theorem","level":3,"score":0.8972298502922058},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7789796590805054},{"id":"https://openalex.org/C70710897","wikidata":"https://www.wikidata.org/wiki/Q680081","display_name":"Separable space","level":2,"score":0.6844090223312378},{"id":"https://openalex.org/C110729354","wikidata":"https://www.wikidata.org/wiki/Q185478","display_name":"Countable set","level":2,"score":0.6220511198043823},{"id":"https://openalex.org/C87117476","wikidata":"https://www.wikidata.org/wiki/Q362383","display_name":"Cardinality (data modeling)","level":2,"score":0.5230813026428223},{"id":"https://openalex.org/C2777027219","wikidata":"https://www.wikidata.org/wiki/Q1284190","display_name":"Constant (computer programming)","level":2,"score":0.5051088929176331},{"id":"https://openalex.org/C2778572836","wikidata":"https://www.wikidata.org/wiki/Q380933","display_name":"Space (punctuation)","level":2,"score":0.47740092873573303},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.46521973609924316},{"id":"https://openalex.org/C2780813799","wikidata":"https://www.wikidata.org/wiki/Q3274237","display_name":"Zero (linguistics)","level":2,"score":0.4461284875869751},{"id":"https://openalex.org/C75432250","wikidata":"https://www.wikidata.org/wiki/Q29654355","display_name":"Real line","level":2,"score":0.44296425580978394},{"id":"https://openalex.org/C140936041","wikidata":"https://www.wikidata.org/wiki/Q1801244","display_name":"Zero-dimensional space","level":4,"score":0.4191925525665283},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4137198030948639},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.38004326820373535},{"id":"https://openalex.org/C81332173","wikidata":"https://www.wikidata.org/wiki/Q179899","display_name":"Topological space","level":2,"score":0.34844809770584106},{"id":"https://openalex.org/C47776270","wikidata":"https://www.wikidata.org/wiki/Q1455249","display_name":"Topological vector space","level":3,"score":0.19685080647468567},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.10595422983169556},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.1010621190071106},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"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/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1017/s1755020319000170","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-0203","issn":["1755-0203","1755-0211"],"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,"raw_source_name":"The Review of Symbolic Logic","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":18,"referenced_works":["https://openalex.org/W325205826","https://openalex.org/W641016999","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/W4235553305"],"related_works":["https://openalex.org/W2140458307","https://openalex.org/W4297691816","https://openalex.org/W4288099311","https://openalex.org/W2578610998","https://openalex.org/W1578726337","https://openalex.org/W1970172370","https://openalex.org/W2953209050","https://openalex.org/W2269838946","https://openalex.org/W1515859842","https://openalex.org/W4206811082"],"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]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}