{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.001289314,0.0003704217,0.0006056857,0.0000273059,0.0002290654,0.0001455984,0.002299557,0.0002868398,0.00002211843],"category_scores_gemma":[0.0003966073,0.0002510507,0.0009117581,0.0007979868,0.0008048378,0.0005525404,0.001775738,0.0006319719,0.00003689533],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002226506,"about_ca_system_score_gemma":0.00004936312,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003327195,"about_ca_topic_score_gemma":1.234574e-7,"domain_scores_codex":[0.9965537,0.00003673371,0.0009044605,0.0008497675,0.001092604,0.0005627398],"domain_scores_gemma":[0.9977875,0.0004584133,0.0003848681,0.0007017203,0.0004946539,0.0001728531],"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.000005471505,0.0005195718,0.0007539029,0.0002574936,0.00004822202,4.098339e-7,0.0004078401,0.000005191196,0.0008407474,0.9884943,0.008502718,0.0001641249],"study_design_scores_gemma":[0.0003047209,0.00006534439,0.004779804,0.00005588096,0.00004109956,0.00002204216,0.00001715379,0.05268395,0.002966077,0.9383492,0.0004339324,0.0002807433],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.3647297,0.0001736465,0.2110916,0.2929044,0.0005278141,0.002657049,0.00006293448,0.001220166,0.1266326],"genre_scores_gemma":[0.9289911,0.000003087713,0.0689462,0.001527608,0.0002914897,0.0000348739,0.000001089304,0.00002500307,0.0001795086],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.5642614,"threshold_uncertainty_score":0.9999942,"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."}}