{"id":"W1569537536","doi":"10.1090/s0002-9939-00-05437-x","title":"A co-Frobenius Hopf algebra with a separable Galois extension is finite","year":2000,"lang":"en","type":"article","venue":"Proceedings of the American Mathematical Society","topic":"Algebraic structures and combinatorial models","field":"Mathematics","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Mount Allison University","funders":"","keywords":"Algorithm; Annotation; Computer science; Artificial intelligence; Separable space; Mathematics","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.0003171514,0.0003379284,0.0007430871,0.00002045476,0.0002402846,0.00007136391,0.0006149621,0.0000920389,0.0007903916],"category_scores_gemma":[0.0001787895,0.0001999445,0.0004844899,0.0005997528,0.0006946731,0.000151407,0.00009223602,0.0003229957,0.000031529],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00006375256,"about_ca_system_score_gemma":0.00004503145,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002925312,"about_ca_topic_score_gemma":2.293129e-7,"domain_scores_codex":[0.9978346,0.00001230602,0.0004912505,0.0004165772,0.0007709021,0.0004743357],"domain_scores_gemma":[0.9984261,0.0003373473,0.0005140847,0.0003619934,0.0002184179,0.000142003],"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.0007491381,0.001317347,0.002140721,0.001891286,0.001118209,0.000002290903,0.02119153,0.00002359964,0.007339254,0.8671272,0.09194398,0.005155447],"study_design_scores_gemma":[0.0005793211,0.0002385748,0.0003488596,0.0002471941,0.0001885978,0.0000313073,0.001082619,0.001552136,0.006855208,0.9879692,0.0005690237,0.000337988],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9888869,0.00002752206,0.0002844858,0.0007659156,0.00002410045,0.0004577282,0.000007896704,0.0001194866,0.009425976],"genre_scores_gemma":[0.9737967,0.00004956267,0.02351175,0.0009843212,0.00008695843,0.00004651225,4.894687e-7,0.00006894742,0.001454747],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.120842,"threshold_uncertainty_score":0.8654234,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01500100619039888,"score_gpt":0.2678236808128309,"score_spread":0.252822674622432,"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."}}