{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.000355196,0.000218835,0.0003838303,0.0000180919,0.0003721148,0.00004809853,0.001115447,0.0001672334,0.00001430764],"category_scores_gemma":[0.0003756665,0.0001428176,0.0004094821,0.0006384362,0.0009488533,0.0004122667,0.0005792461,0.000409853,0.00002935075],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00007324001,"about_ca_system_score_gemma":0.00004513687,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000002786932,"about_ca_topic_score_gemma":1.29668e-8,"domain_scores_codex":[0.9981769,0.00001950287,0.0005008314,0.0004217142,0.0005618457,0.0003192521],"domain_scores_gemma":[0.9987814,0.0001570499,0.0002452001,0.0003512031,0.0003123544,0.0001527403],"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.000008965995,0.0001707476,0.0005025764,0.0001292845,0.00002470813,9.654424e-7,0.0003860329,0.000002168582,0.001983026,0.9955172,0.001128779,0.000145541],"study_design_scores_gemma":[0.0003620778,0.00009070591,0.001375812,0.0000669755,0.00001646358,0.0003766564,0.00004444551,0.009555628,0.005321334,0.9823954,0.0001844203,0.0002101525],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9082246,0.00004294749,0.03434799,0.02791873,0.0002189622,0.000621964,0.000007246053,0.0003971611,0.02822042],"genre_scores_gemma":[0.9669088,0.00001262009,0.03189325,0.0009534525,0.000127457,0.00002045856,6.875296e-7,0.00001232831,0.00007099007],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.05868417,"threshold_uncertainty_score":0.5823932,"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."}}