{"id":"W2047577730","doi":"10.2307/2586538","title":"Coordinatisation and canonical bases in simple theories","year":2000,"lang":"en","type":"article","venue":"Journal of Symbolic Logic","topic":"Advanced Topology and Set Theory","field":"Mathematics","cited_by":76,"is_retracted":false,"has_abstract":true,"ca_institutions":"Toronto Metropolitan University; McMaster University","funders":"","keywords":"Simple (philosophy); Mathematics; Section (typography); Generalization; Pure mathematics; Categorical variable; Type (biology); Equivalence (formal languages); Canonical form; Algebra over a field; Computer science; 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.0004766912,0.00006906239,0.0002269251,0.00006619233,0.00004288376,0.000007417075,0.00007172755,0.00006613537,0.0004183773],"category_scores_gemma":[0.0003789893,0.00004955224,0.00003358454,0.00006983633,0.0001276458,0.0001264378,0.00001054523,0.0001784117,0.000003081749],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002610294,"about_ca_system_score_gemma":0.00003563669,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000005844176,"about_ca_topic_score_gemma":0.00003038141,"domain_scores_codex":[0.9993191,0.0001226876,0.0002998291,0.00006054612,0.00008091867,0.0001169677],"domain_scores_gemma":[0.9991417,0.0005961855,0.0001190706,0.00006879104,0.00003374899,0.00004052182],"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.0001428005,0.0001060983,0.005062437,0.00001936976,0.00001905381,0.00008364611,0.001006967,0.00004991837,0.0001149557,0.9730906,0.0003118978,0.01999229],"study_design_scores_gemma":[0.000479309,0.0001131043,0.006521319,0.00001968978,0.00001374983,0.0002604658,0.0003155598,0.00002159576,0.0001229177,0.9910993,0.0009772778,0.00005570967],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9928988,0.000387106,0.0008294925,0.0006206228,0.00004431005,0.00004739761,0.000001701672,0.000007485055,0.005163127],"genre_scores_gemma":[0.9974964,0.0002127235,0.001666108,0.0002433301,0.00007990425,0.000001113627,3.996782e-7,0.000005421079,0.0002946406],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.01993658,"threshold_uncertainty_score":0.4580939,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02524597511868252,"score_gpt":0.3302476609904741,"score_spread":0.3050016858717916,"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."}}