{"id":"W2108489993","doi":"10.1016/j.tcs.2007.02.059","title":"Recursively defined metric spaces without contraction","year":2007,"lang":"en","type":"article","venue":"Theoretical Computer Science","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":31,"is_retracted":false,"has_abstract":false,"ca_institutions":"McGill University; York University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Mathematics; Metric space; Bounded function; Metric (unit); Fixed point; Contraction (grammar); Probabilistic logic; Banach space; Discrete mathematics; Contraction mapping; Pure mathematics; Mathematical analysis; Statistics","routes":{"ca_aff":true,"ca_fund":true,"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.003723362,0.0002283288,0.0002683564,0.0004725355,0.0005418349,0.0006399469,0.002265627,0.00008827724,0.00002976741],"category_scores_gemma":[0.000483826,0.0001755083,0.00008860996,0.002777651,0.001917946,0.000956307,0.0006474699,0.0002723538,0.0002360907],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001266933,"about_ca_system_score_gemma":0.0001648006,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000008948783,"about_ca_topic_score_gemma":0.00000361239,"domain_scores_codex":[0.9970188,0.00009496079,0.0003165622,0.000843772,0.0008310167,0.000894866],"domain_scores_gemma":[0.9976811,0.0006471374,0.0001342168,0.0007066383,0.0003904671,0.0004404272],"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.00001495673,0.00006871272,0.0004565381,0.000003400395,0.000004136616,0.00001812978,0.0003651993,0.00001243913,0.0005460619,0.9444134,0.00006562383,0.05403141],"study_design_scores_gemma":[0.001386444,0.001195788,0.06434476,0.00007597857,0.00003108673,0.0003995205,0.00005228146,0.3936673,0.02438023,0.5096806,0.003596667,0.001189431],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03985469,0.00009506036,0.9215831,0.0005079517,0.001404934,0.000171525,3.800727e-7,0.0003232509,0.03605912],"genre_scores_gemma":[0.8528844,0.000006966473,0.1464636,0.0003648034,0.0002224823,0.000002529563,3.579479e-7,0.000007031323,0.00004785934],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8130297,"threshold_uncertainty_score":0.7157021,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01231670669444819,"score_gpt":0.2644182511156446,"score_spread":0.2521015444211964,"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."}}