{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001217676,0.0001874291,0.0007731751,0.0001313187,0.00006103583,0.00002547099,0.001492255,0.00005236896,0.00006094484],"category_scores_gemma":[0.0003834036,0.0001069901,0.0002252334,0.001095632,0.0001123175,0.0001684711,0.0002548795,0.0001060047,0.00006513482],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003476791,"about_ca_system_score_gemma":0.00007710767,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001018785,"about_ca_topic_score_gemma":0.000006690937,"domain_scores_codex":[0.998327,0.000212276,0.0005626407,0.0002882985,0.0002429752,0.0003667899],"domain_scores_gemma":[0.9979143,0.0005236989,0.0004011378,0.0007992875,0.0002949413,0.00006669361],"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.00000462354,0.0002651254,0.001934955,0.009649805,0.00007292467,0.000002453037,0.0007514281,0.0000285188,0.0005521053,0.9116104,0.00298882,0.07213881],"study_design_scores_gemma":[0.008148315,0.003501705,0.3208154,0.04151319,0.001081468,0.0004220326,0.001005694,0.06324159,0.01204761,0.458898,0.08490536,0.00441963],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"review","genre_gemma":"empirical","genre_scores_codex":[0.04546193,0.7175482,0.1836225,0.006527205,0.0008703002,0.00668136,0.00001591809,0.0002004154,0.03907218],"genre_scores_gemma":[0.9698887,0.02249255,0.006731173,0.000480079,0.00006734139,0.0001426638,0.000002193186,0.00001195008,0.0001833784],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9244267,"threshold_uncertainty_score":0.4362929,"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."}}