{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003108308,0.0009271027,0.001146592,0.001913667,0.001560014,0.003673062,0.002345942,0.00195413,0.006241839],"category_scores_gemma":[0.0111461,0.0007450233,0.001713935,0.001504772,0.004783294,0.01406777,0.006593222,0.006133855,0.001440183],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002169341,"about_ca_system_score_gemma":0.001283532,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0009725518,"about_ca_topic_score_gemma":0.001145558,"domain_scores_codex":[0.9953616,0.001594894,0.0003910081,0.001104921,0.001161785,0.0003858681],"domain_scores_gemma":[0.9938933,0.002851743,0.0003533311,0.001350689,0.001041562,0.0005093308],"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.000008983033,0.00000539444,0.0000502873,0.00001453101,0.000003303731,0.00002518319,0.0001187763,0.000331806,0.0003152289,0.9953366,0.0002663978,0.003523612],"study_design_scores_gemma":[0.000009303274,0.00001586911,0.00006546985,0.00001224879,0.000006733574,0.0001008775,0.00005635582,0.005411286,0.000685027,0.9890473,0.004578477,0.00001091617],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.05714375,0.001325195,0.8952515,0.001362943,0.0002064323,0.00007798251,0.0002744539,0.0003981424,0.04395956],"genre_scores_gemma":[0.5920309,0.001017517,0.3768833,0.0007432003,0.0002180771,0.0003096099,0.0007942759,0.0004210482,0.027582],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006241839,"threshold_uncertainty_score":0.020881,"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."}}