{"id":"W2060727642","doi":"10.1007/s10485-007-9118-z","title":"A Priestley Sum of Finite Trees is Acyclic","year":2007,"lang":"en","type":"article","venue":"Applied Categorical Structures","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Manitoba","funders":"","keywords":"Theory of computation; Mathematics; Mathematical economics; Algorithm","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.0001268393,0.0001834743,0.000250881,0.0000883938,0.00009317802,0.00003510083,0.0007904828,0.0001128369,0.00005360481],"category_scores_gemma":[0.00003032406,0.0001386178,0.0000745273,0.0005342956,0.0001139248,0.0001125345,0.0002080031,0.0001832927,0.00002102914],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002874201,"about_ca_system_score_gemma":0.00002669779,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001538315,"about_ca_topic_score_gemma":0.000009468573,"domain_scores_codex":[0.9985744,0.00001183899,0.0003104095,0.0003869301,0.0003176026,0.0003987838],"domain_scores_gemma":[0.9989801,0.000238975,0.0001311073,0.0004795149,0.000038128,0.0001321598],"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.00001535906,0.00002026569,0.0002807657,0.000007306829,0.00001191832,0.000008309808,0.0003566001,0.0000800567,0.004609288,0.9438319,0.000285998,0.05049226],"study_design_scores_gemma":[0.0003024834,0.00005914606,0.02596058,5.350348e-7,0.000007020505,0.000008665895,0.00004590509,0.0001691059,0.04042651,0.9266411,0.006155999,0.0002229559],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.04261242,0.0001639114,0.9486251,0.0002017228,0.0001802122,0.0001485835,0.000001155521,0.0001424055,0.007924482],"genre_scores_gemma":[0.9885942,0.00001110496,0.01054127,0.0006660643,0.00009557391,0.000005992612,0.00000310306,0.000009473025,0.00007318537],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9459818,"threshold_uncertainty_score":0.5652668,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01389042197102617,"score_gpt":0.2517546577557093,"score_spread":0.2378642357846831,"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."}}