{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001112867,0.0003984785,0.0005306876,0.001787474,0.002634711,0.003491032,0.0005883679,0.001421352,0.005714755],"category_scores_gemma":[0.003292533,0.000236232,0.0004139048,0.001621851,0.008829498,0.009113702,0.002346036,0.002339194,0.0004933032],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001467546,"about_ca_system_score_gemma":0.0008573376,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001813252,"about_ca_topic_score_gemma":0.001302182,"domain_scores_codex":[0.9988692,0.000406092,0.00004605802,0.0002280887,0.000298044,0.0001523677],"domain_scores_gemma":[0.9987099,0.000653056,0.00009384416,0.0002184095,0.0001923384,0.0001324636],"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":[9.852133e-7,0.000001418981,0.00003187968,0.000006296169,5.526999e-7,0.000005557706,0.00005453894,0.00004530324,0.00002914644,0.9982588,0.0003626925,0.001202793],"study_design_scores_gemma":[0.000001130851,0.000001992732,0.00005619634,0.000005591805,7.089359e-7,0.00002377781,0.00004855876,0.0001930632,0.00002978773,0.9936377,0.005999975,0.000001417476],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.1312206,0.03123857,0.3312957,0.01719183,0.001700611,0.00009193024,0.0006029476,0.00054227,0.4861156],"genre_scores_gemma":[0.9410885,0.005554752,0.02820489,0.001817389,0.001434171,0.0001343047,0.0003715696,0.00009907847,0.02129522],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005714755,"threshold_uncertainty_score":0.01911771,"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."}}