{"id":"W2268439824","doi":"10.1016/j.apal.2018.02.005","title":"New-from-old full dualities via axiomatisation","year":2018,"lang":"en","type":"preprint","venue":"Annals of Pure and Applied Logic","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Duality (order theory); Dual (grammatical number); Algebra over a field; Mathematics; French horn; Pure mathematics; Natural (archaeology); Physics; Linguistics","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.005498878,0.0009935063,0.00138677,0.002115461,0.002438762,0.00616549,0.002499386,0.00183424,0.01136368],"category_scores_gemma":[0.01158669,0.001124964,0.002697452,0.001467738,0.008865772,0.02288886,0.009701872,0.01067211,0.002728681],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00152807,"about_ca_system_score_gemma":0.001434864,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0004542689,"about_ca_topic_score_gemma":0.0007461285,"domain_scores_codex":[0.9955528,0.001400942,0.0004053436,0.001055138,0.001249944,0.0003358353],"domain_scores_gemma":[0.9917328,0.002708445,0.000218494,0.003307763,0.001612326,0.0004201606],"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.00003182557,0.00002410621,0.00009670075,0.00004983946,0.00001762024,0.00003346995,0.0001556568,0.0003100914,0.000329275,0.9871839,0.002053439,0.009714132],"study_design_scores_gemma":[0.000007791368,0.000003903511,0.00002094517,0.00001033476,0.00000938851,0.00003681458,0.00001857555,0.00109657,0.0002573158,0.9941115,0.004419128,0.000007655783],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.02551917,0.001819555,0.8569147,0.007663209,0.001960907,0.0001114334,0.0007732779,0.001870415,0.1033673],"genre_scores_gemma":[0.5718663,0.002357666,0.3811129,0.004390546,0.002662087,0.0002549154,0.001713531,0.001522664,0.03411942],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01136368,"threshold_uncertainty_score":0.03801531,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05508357663907007,"score_gpt":0.2942486047000005,"score_spread":0.2391650280609304,"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."}}