{"id":"W32396839","doi":"10.70930/tac/65imaopr","title":"The Theory of Core Algebras: Its Completeness","year":2007,"lang":"en","type":"article","venue":"Theory and applications of categories","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Monoid; Axiom; Mathematics; Binary operation; Core (optical fiber); Natural number; Completeness (order theory); Discrete mathematics; Object (grammar); Transformation (genetics); Constant (computer programming); Structure constants; Combinatorics; Pure mathematics; Algebra over a field; Computer science; Geometry","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":true,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002272666,0.00007921748,0.0001352758,0.00003807966,0.0002542029,0.00003361576,0.000592055,0.00003799727,0.000003678123],"category_scores_gemma":[0.00004342854,0.00005058204,0.0000346131,0.0002524642,0.0004527969,0.00009958604,0.0001144894,0.00005251033,0.000005669295],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000004098188,"about_ca_system_score_gemma":0.00002664501,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000005780343,"about_ca_topic_score_gemma":0.000004414753,"domain_scores_codex":[0.9992641,0.00008028425,0.0002537018,0.0001418555,0.0001172141,0.0001428842],"domain_scores_gemma":[0.9982603,0.0009262489,0.0001766261,0.0004459599,0.000153872,0.00003697577],"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.00002078359,0.00002293792,0.0001381793,0.00002915992,0.00001541952,1.624766e-7,0.0008297444,8.324826e-7,0.0005895217,0.9281652,0.00001209356,0.07017595],"study_design_scores_gemma":[0.00008330228,0.0000336016,0.0008360231,0.00000163045,0.00000865212,0.000006228093,0.001437906,0.00001725807,0.01339965,0.9724292,0.01168242,0.00006419358],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01055949,0.002581706,0.9795815,0.00005358076,0.00006611449,0.0002901846,0.000001694569,0.00004897447,0.006816718],"genre_scores_gemma":[0.99908,0.00005944758,0.0003100648,0.00002393173,0.00004376884,0.00004442325,0.000002380627,0.00000421094,0.000431776],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9885205,"threshold_uncertainty_score":0.2062676,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02444651875861376,"score_gpt":0.2652921561584947,"score_spread":0.2408456373998809,"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."}}