{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00130151,0.0003740473,0.0004127188,0.001314408,0.001614957,0.001833429,0.0008245254,0.0006750527,0.005690284],"category_scores_gemma":[0.002059433,0.0002767071,0.0006830163,0.001045492,0.005555054,0.006204687,0.002631126,0.001650858,0.0006544992],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00139404,"about_ca_system_score_gemma":0.0007317938,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00106949,"about_ca_topic_score_gemma":0.0009488034,"domain_scores_codex":[0.9990475,0.0002612161,0.00006618973,0.0001999647,0.0002990128,0.0001260606],"domain_scores_gemma":[0.9990288,0.0003212576,0.0001357413,0.0002011859,0.0001827347,0.0001303173],"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.000004116698,0.000003261164,0.00009338321,0.00001140482,0.000002037233,0.00002055095,0.0002208854,0.0003410332,0.0002044938,0.9970976,0.0001487266,0.001852568],"study_design_scores_gemma":[0.000005344866,0.00001418496,0.0001275277,0.000007423776,0.000003066838,0.00003578574,0.0001152745,0.001226573,0.0004092794,0.9939746,0.004075081,0.000005749192],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3136109,0.002770507,0.5240588,0.002649815,0.0004016391,0.0001129884,0.0004144379,0.0006364551,0.1553445],"genre_scores_gemma":[0.9431407,0.0007636121,0.04235439,0.0001703197,0.0002393045,0.00009310989,0.0002482348,0.00006628726,0.01292403],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005690284,"threshold_uncertainty_score":0.01903588,"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."}}