{"id":"W2137120340","doi":"10.1016/j.apal.2005.03.005","title":"Products of sequential CLP-compact spaces are CLP-compact","year":2006,"lang":"en","type":"article","venue":"Annals of Pure and Applied Logic","topic":"Advanced Topology and Set Theory","field":"Mathematics","cited_by":2,"is_retracted":false,"has_abstract":false,"ca_institutions":"York University","funders":"","keywords":"Mathematics; Compact space; Relatively compact subspace; Compact disc; Computer science; Pure mathematics; Physics","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002689304,0.001408053,0.001377811,0.002600254,0.002341082,0.006423091,0.00130061,0.001272495,0.007958324],"category_scores_gemma":[0.00708655,0.001619156,0.001736598,0.002764554,0.006198698,0.01968164,0.005227361,0.003203596,0.001316591],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001366254,"about_ca_system_score_gemma":0.0008034609,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0007505056,"about_ca_topic_score_gemma":0.0006725913,"domain_scores_codex":[0.9970725,0.0005992652,0.0003310077,0.0009366623,0.0006877686,0.0003727999],"domain_scores_gemma":[0.9899971,0.004023966,0.001318242,0.001390371,0.002278848,0.0009914117],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.000155187,0.00003138057,0.0006771553,0.00006593556,0.00003373532,0.0002540255,0.000681093,0.0005968248,0.001242463,0.9905921,0.0004755929,0.005194552],"study_design_scores_gemma":[0.00003040831,0.00008984278,0.0003912341,0.00001612321,0.00003015616,0.0004830458,0.0004323271,0.00449061,0.001954524,0.9877403,0.004322484,0.00001890902],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"other","genre_scores_codex":[0.3917714,0.00162532,0.5340729,0.001116595,0.0003156438,0.0001417662,0.001106116,0.0009102208,0.06893998],"genre_scores_gemma":[0.931372,0.0005256954,0.04576175,0.0003001746,0.0002290429,0.000231366,0.001094705,0.000235566,0.02024966],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.007958324,"threshold_uncertainty_score":0.02662325,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0884580073405187,"score_gpt":0.3463021221392212,"score_spread":0.2578441147987025,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}