{"id":"W2091708223","doi":"10.1017/s0305004106009352","title":"All realizability is relative","year":2006,"lang":"en","type":"article","venue":"Mathematical Proceedings of the Cambridge Philosophical Society","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":37,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Ottawa","funders":"","keywords":"Realizability; Morphism; Object (grammar); Filter (signal processing); Mathematics; Preorder; Variety (cybernetics); Extensional definition; Subcategory; Characterization (materials science); Algebra over a field; Computer science; Pure mathematics; Discrete mathematics; Algorithm; Artificial intelligence","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.001318671,0.0006540022,0.0007162173,0.001705723,0.002249517,0.004925349,0.0007028416,0.0008702903,0.01497621],"category_scores_gemma":[0.002564939,0.000517449,0.001283179,0.001395461,0.005949433,0.01023371,0.003085264,0.002642316,0.001695806],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001441128,"about_ca_system_score_gemma":0.0008553935,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00145113,"about_ca_topic_score_gemma":0.001143596,"domain_scores_codex":[0.9977707,0.0003552125,0.0001850792,0.000748557,0.0006142863,0.0003262067],"domain_scores_gemma":[0.998118,0.0005399315,0.0001730716,0.00054699,0.0004491717,0.0001728232],"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.000009219801,0.000006470702,0.0001469552,0.00002814667,0.000009678435,0.00005601104,0.0002233202,0.000258638,0.0004111276,0.9940717,0.0004565201,0.00432211],"study_design_scores_gemma":[0.000007215074,0.00002535418,0.000374427,0.0000191023,0.00001671912,0.0002106596,0.0002775403,0.001078716,0.0007992355,0.9663852,0.03079068,0.00001512699],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.09972671,0.00164171,0.5920648,0.002191009,0.0004031626,0.0001629048,0.001366905,0.001211378,0.3012314],"genre_scores_gemma":[0.9086949,0.001154686,0.05515931,0.0004666409,0.0003746185,0.0002620651,0.001479601,0.0003043257,0.03210396],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01497621,"threshold_uncertainty_score":0.05010039,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02317474790309713,"score_gpt":0.2467123824562242,"score_spread":0.2235376345531271,"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."}}