{"id":"W3164758144","doi":"10.1017/nmj.2022.46","title":"CONSTRUCTING MAXIMAL COFINITARY GROUPS","year":2023,"lang":"en","type":"article","venue":"Nagoya Mathematical Journal","topic":"Advanced Topology and Set Theory","field":"Mathematics","cited_by":5,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"Austrian Science Fund; University of Cambridge; Government of Canada","keywords":"Mathematics; Construct (python library); Axiom; Order (exchange); Axiom of choice; Combinatorics; Pure mathematics; Discrete mathematics; Set theory; Geometry; Set (abstract data type); Computer science","routes":{"ca_aff":true,"ca_fund":true,"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":["insufficient_payload"],"consensus_categories":["insufficient_payload"],"category_scores_codex":[0.001548308,0.0002217917,0.0004530916,0.0002024512,0.000379077,0.00005710265,0.0003331577,0.0001881136,0.001907452],"category_scores_gemma":[0.00251301,0.0001779269,0.0001992814,0.0003279483,0.0003252343,0.0002131268,0.0001362071,0.0008478618,0.001310818],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00006898651,"about_ca_system_score_gemma":0.00005207297,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":1.259881e-7,"about_ca_topic_score_gemma":6.851082e-7,"domain_scores_codex":[0.9979552,0.0001804768,0.0006622601,0.0002068861,0.0003983839,0.0005967613],"domain_scores_gemma":[0.9968632,0.002311081,0.0002218463,0.0002755657,0.00009517669,0.000233068],"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.00003694641,0.00007370807,0.000177388,0.00009076754,0.00007222576,0.0004677901,0.000510412,0.000002739954,0.000100335,0.9892191,0.004087026,0.005161535],"study_design_scores_gemma":[0.0005406506,0.00005848261,0.00004205614,0.00009910596,0.00005008714,0.003880987,0.00311829,0.0006170377,0.0002285384,0.9908724,0.0002890361,0.0002033331],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7207493,0.0001033838,0.178846,0.002677893,0.001194936,0.0003508673,0.00002157109,0.0009405093,0.09511552],"genre_scores_gemma":[0.8439766,0.00004944823,0.1508628,0.0003703915,0.00105002,0.00002150152,0.000009415057,0.0001163413,0.00354347],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.1232273,"threshold_uncertainty_score":0.9994668,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06121935625802941,"score_gpt":0.3464589552906602,"score_spread":0.2852395990326308,"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."}}