{"id":"W2045693325","doi":"10.1007/s00012-008-2035-7","title":"Priestley configurations and Heyting varieties","year":2008,"lang":"en","type":"article","venue":"Algebra Universalis","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Manitoba","funders":"","keywords":"Dual polyhedron; Mathematics; Variety (cybernetics); Heyting algebra; Pure mathematics; Finitely-generated abelian group; Algebra over a field","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001224673,0.0005539704,0.0009222917,0.002092036,0.003852998,0.004482478,0.001005449,0.001261031,0.01091387],"category_scores_gemma":[0.003752704,0.0006731674,0.0005764493,0.003302003,0.00660378,0.01070538,0.002994198,0.003729698,0.0009977462],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001426656,"about_ca_system_score_gemma":0.000579535,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001185274,"about_ca_topic_score_gemma":0.001355741,"domain_scores_codex":[0.9990929,0.0002671967,0.00005531776,0.000207975,0.0001781981,0.0001984418],"domain_scores_gemma":[0.998713,0.000533566,0.0001270858,0.0002324011,0.0001693517,0.0002247256],"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.00001665575,0.000006230207,0.000118078,0.000007273424,0.000002627265,0.00003485428,0.0002200345,0.0001202038,0.0001116399,0.9967344,0.0004580786,0.002169903],"study_design_scores_gemma":[0.000004826108,0.000002913252,0.00007638116,0.000003282196,0.000002292776,0.00002538798,0.00006695242,0.0001564374,0.00009233646,0.9981803,0.001384998,0.000004068411],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5605527,0.006153513,0.1269229,0.006320308,0.0009426585,0.0000700388,0.0005770421,0.0005847702,0.2978761],"genre_scores_gemma":[0.9719124,0.0008271983,0.005170562,0.0002671657,0.0002818953,0.00002618407,0.0001810732,0.00006891652,0.02126465],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.01091387,"threshold_uncertainty_score":0.03651059,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0156212807733944,"score_gpt":0.1962270519175924,"score_spread":0.180605771144198,"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."}}