{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0002148631,0.0003167321,0.0004756968,0.0001100078,0.00008693581,0.0001203851,0.00077489,0.000314094,0.00007372783],"category_scores_gemma":[0.00002138423,0.0002689864,0.0001015143,0.0001372699,0.0001060405,0.0001563923,0.001010593,0.0002469873,0.00004280014],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000006751338,"about_ca_system_score_gemma":0.00005736389,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00006113788,"about_ca_topic_score_gemma":0.00001620115,"domain_scores_codex":[0.998287,0.00004274649,0.0004115151,0.0006696525,0.000290097,0.0002990048],"domain_scores_gemma":[0.9985207,0.0001293952,0.0004086279,0.0007160557,0.00009748585,0.0001277289],"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.00004036992,0.00007352747,0.00005516593,0.0001824881,0.0001154944,0.000007745634,0.002035171,0.0002806621,0.00399715,0.8593176,0.01067463,0.12322],"study_design_scores_gemma":[0.0001461371,0.0001140132,0.001116345,0.0000509709,0.00001414681,0.000003615065,0.00005863903,0.0005333378,0.007699628,0.9887173,0.001219926,0.0003259364],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.103272,0.002046291,0.8841723,0.002287452,0.0005024734,0.0004189514,0.00003878757,0.0002300436,0.007031669],"genre_scores_gemma":[0.9387851,0.0003538753,0.05798822,0.001861404,0.0005694552,0.00003292301,0.00007883263,0.00001566285,0.0003145251],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8355131,"threshold_uncertainty_score":0.9999762,"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."}}