{"id":"W2726927860","doi":"10.7146/brics.v7i28.20161","title":"Free mu-lattices","year":2000,"lang":"en","type":"article","venue":"BRICS Report Series","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université du Québec à Montréal","funders":"Université du Québec à Montréal","keywords":"Unary operation; Decidability; Combinatorics; Equivalence relation; Mathematics; Lattice (music); Partially ordered set; Discrete mathematics; Physics","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":[],"consensus_categories":[],"category_scores_codex":[0.0001188052,0.0001037022,0.000124434,0.00003207376,0.0001391166,0.0001182899,0.0006210165,0.00004071499,0.0001912268],"category_scores_gemma":[0.00007184166,0.0000907869,0.00004648336,0.0002846218,0.00005888522,0.0009368773,0.0001509105,0.00007507555,0.00008555327],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001240447,"about_ca_system_score_gemma":0.00004289392,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001455847,"about_ca_topic_score_gemma":0.00001218237,"domain_scores_codex":[0.9989975,0.00001383282,0.000230035,0.0003129386,0.0002285946,0.000217097],"domain_scores_gemma":[0.9988965,0.0000260516,0.0000882856,0.0008738411,0.00004718975,0.0000680796],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00003095202,0.0002262221,0.01101144,0.0000567402,0.00006777552,0.012877,0.001757896,0.001085749,0.000716025,0.4991683,0.01622296,0.4567789],"study_design_scores_gemma":[0.0001784749,0.0001017728,0.01946677,0.00001192363,0.000007242262,0.00445513,0.00003595079,0.000634068,0.00204978,0.2361461,0.7365136,0.0003992363],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.3822426,0.001508524,0.2718608,0.005984937,0.001497508,0.0003405968,0.000007405487,0.001755751,0.3348019],"genre_scores_gemma":[0.7366382,0.0003144201,0.1880463,0.001253544,0.0003305254,0.00003231332,0.00001144595,0.00002701584,0.07334626],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.7202906,"threshold_uncertainty_score":0.3702182,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01541366673359561,"score_gpt":0.2429280225979744,"score_spread":0.2275143558643788,"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."}}