{"id":"W2142696533","doi":"10.1017/s1755020313000087","title":"STRONG COMPLETENESS OF S4 FOR ANY DENSE-IN-ITSELF METRIC SPACE","year":2013,"lang":"en","type":"article","venue":"The Review of Symbolic Logic","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":30,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Completeness (order theory); Real line; Metric space; Mathematics; Space (punctuation); Metric (unit); Pure mathematics; Discrete mathematics; Mathematical analysis; Computer science","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.003848011,0.0005160376,0.00104014,0.001818256,0.00161265,0.003528887,0.001248036,0.00121402,0.003987541],"category_scores_gemma":[0.005672622,0.0004765911,0.001732659,0.00195859,0.006123547,0.007652584,0.00430153,0.002538661,0.0005494671],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001998633,"about_ca_system_score_gemma":0.002122686,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004079628,"about_ca_topic_score_gemma":0.002803997,"domain_scores_codex":[0.9959383,0.001496213,0.0004581743,0.0006727884,0.001113253,0.0003212218],"domain_scores_gemma":[0.99293,0.003341069,0.0004695507,0.0008959986,0.001974587,0.0003887818],"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.00004337752,0.00001557085,0.0006194324,0.0001778806,0.00004792181,0.00009283748,0.000481311,0.002803386,0.0009027436,0.987519,0.0008610163,0.006435604],"study_design_scores_gemma":[0.00001869903,0.00004131683,0.0006383054,0.00004331403,0.00002208108,0.0001201014,0.0003454984,0.01042378,0.002084959,0.9764472,0.009793287,0.00002140457],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.371387,0.003845636,0.5380169,0.00652043,0.0001177329,0.0001536176,0.001073658,0.0003900865,0.07849508],"genre_scores_gemma":[0.9399592,0.001411551,0.05000726,0.0004265361,0.00009519418,0.0001187794,0.001068213,0.00006031305,0.006852919],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004079628,"threshold_uncertainty_score":0.02035052,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03361757587215217,"score_gpt":0.2871383618909682,"score_spread":0.253520786018816,"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."}}