{"id":"W2107393062","doi":"10.1017/s0305004107000400","title":"Iterated realizability as a comma construction","year":2008,"lang":"en","type":"article","venue":"Mathematical Proceedings of the Cambridge Philosophical Society","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Ottawa","funders":"","keywords":"Realizability; Topos theory; Morphism; Iterated function; Mathematics; Interpretation (philosophy); Pure mathematics; Generalization; Object (grammar); Context (archaeology); Algebra over a field; Monad (category theory); Discrete mathematics; Computer science; Artificial intelligence; Algorithm; Programming language; Functor; Mathematical analysis","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.001414044,0.0003724289,0.0004762872,0.001197437,0.002059917,0.003070846,0.0007149029,0.0008324257,0.006913489],"category_scores_gemma":[0.001962562,0.0004512117,0.001242944,0.0006979234,0.004528051,0.00612699,0.003720685,0.001492778,0.0005863581],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0015064,"about_ca_system_score_gemma":0.0008137441,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001618762,"about_ca_topic_score_gemma":0.001524176,"domain_scores_codex":[0.9985371,0.0003913585,0.00009257231,0.0002363905,0.0004454854,0.0002971475],"domain_scores_gemma":[0.9985544,0.0005128776,0.0001510931,0.0003886565,0.0002056986,0.0001873336],"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.00001517585,0.00001029581,0.0003227232,0.00001504889,0.000006790161,0.0001797824,0.0003924351,0.0004726227,0.001279192,0.9954585,0.0001307714,0.001716747],"study_design_scores_gemma":[0.00001604786,0.00003709455,0.0005406236,0.00002205144,0.00001840641,0.0003226212,0.0002408306,0.006913247,0.002523966,0.9821383,0.007202209,0.0000244791],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.4463357,0.000517096,0.4172644,0.001013587,0.0001749696,0.0001123121,0.0002411451,0.00122307,0.1331177],"genre_scores_gemma":[0.9769753,0.00008656354,0.01466651,0.00009462208,0.00006010382,0.00007347652,0.00007308056,0.00007713547,0.00789313],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.006913489,"threshold_uncertainty_score":0.02312791,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0225193105389706,"score_gpt":0.2349297276500416,"score_spread":0.212410417111071,"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."}}