{"id":"W1530821313","doi":"10.3968/j.pam.1925252820120401.1500","title":"The Convergence of Filters on Quantales and Its Hausdorffness","year":2012,"lang":"en","type":"article","venue":"Progress in applied mathematics","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Mathematics; Hausdorff space; Ideal (ethics); Property (philosophy); Completeness (order theory); Filter (signal processing); Pure mathematics; Hausdorff distance; Convergence (economics); Algebra over a field; Computer science; Mathematical analysis; Computer vision; Epistemology","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":true,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002918586,0.0004518071,0.0008151511,0.002982201,0.001386344,0.002691879,0.0007550727,0.0009466417,0.003658282],"category_scores_gemma":[0.006293804,0.0003152947,0.001142619,0.001249501,0.004331048,0.007626293,0.001760921,0.002113351,0.0002422245],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001588177,"about_ca_system_score_gemma":0.000675735,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001022396,"about_ca_topic_score_gemma":0.000484972,"domain_scores_codex":[0.9984316,0.000360565,0.0001419125,0.0004208491,0.0004781086,0.0001669069],"domain_scores_gemma":[0.9944964,0.003035954,0.0005149265,0.0004636904,0.001014907,0.0004740998],"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.00001991222,0.00001296074,0.0006573017,0.00005832264,0.00001925679,0.0001216898,0.0003257704,0.0009030072,0.001750376,0.9923297,0.0002105551,0.003591103],"study_design_scores_gemma":[0.00002407958,0.0002064888,0.005525199,0.0000717424,0.00004349231,0.001054494,0.0004037808,0.03717118,0.004629564,0.938143,0.01265975,0.00006720838],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3726891,0.004627153,0.5667186,0.001940154,0.0003194397,0.00008903158,0.0004396445,0.000233256,0.0529436],"genre_scores_gemma":[0.9462259,0.001989859,0.04206083,0.0002310327,0.0004517795,0.0001374793,0.0002260571,0.00006840569,0.008608699],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003658282,"threshold_uncertainty_score":0.01543516,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02709540517168492,"score_gpt":0.2815276521150952,"score_spread":0.2544322469434103,"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."}}