{"id":"W2011841843","doi":"10.1016/j.entcs.2010.08.003","title":"Unitary Theories, Unitary Categories","year":2010,"lang":"en","type":"article","venue":"Electronic Notes in Theoretical Computer Science","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Calgary; University of Ottawa","funders":"","keywords":"Unitary state; Mathematics; Characterization (materials science); Algebra over a field; Pure mathematics; Political science; Law; Physics","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":["sts"],"consensus_categories":[],"category_scores_codex":[0.003127552,0.000300854,0.0003003184,0.0003300923,0.0004769341,0.0005173071,0.003921557,0.0001371899,0.00004823157],"category_scores_gemma":[0.0003386091,0.0002384338,0.00007482481,0.002306615,0.003534948,0.000934849,0.001063573,0.001057089,0.00007899215],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001294484,"about_ca_system_score_gemma":0.0007571505,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00008754629,"about_ca_topic_score_gemma":0.0001357232,"domain_scores_codex":[0.996257,0.0001885557,0.0003994221,0.0009539024,0.0007085113,0.001492597],"domain_scores_gemma":[0.9975144,0.0006510416,0.00008559955,0.00128866,0.0002049316,0.0002554253],"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.000006312166,0.00007059054,0.0006645265,0.00000658308,0.000004591464,0.00002652514,0.0005852762,0.00003075568,0.000460805,0.9560401,0.000007080991,0.04209684],"study_design_scores_gemma":[0.0002259145,0.0003053842,0.0005291367,0.000003465498,0.000003044152,0.0001144418,0.00001096245,0.05357325,0.004094997,0.9396508,0.001154205,0.000334421],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03531486,0.0002015271,0.9573633,0.00106782,0.001881363,0.0002624315,3.938817e-7,0.0003079247,0.003600352],"genre_scores_gemma":[0.980665,0.00001127971,0.01855971,0.000432863,0.0002812689,0.00001933,0.000002351782,0.00001396255,0.00001429734],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9453501,"threshold_uncertainty_score":0.9991769,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.006429317419456973,"score_gpt":0.2340248678306625,"score_spread":0.2275955504112055,"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."}}