{"id":"W1981909162","doi":"10.1215/00294527-2143889","title":"Lattices in Locally Definable Subgroups of 〈Rn,+〉","year":2013,"lang":"en","type":"article","venue":"Notre Dame Journal of Formal Logic","topic":"Advanced Topology and Set Theory","field":"Mathematics","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Mathematics; Lattice (music); Combinatorics; Complete lattice; Pure mathematics; Discrete mathematics; Physics; Condensed matter physics","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.0006931307,0.0005783496,0.0004323109,0.0007030847,0.0009704118,0.001794472,0.0006327616,0.0003903946,0.003322055],"category_scores_gemma":[0.0007939806,0.0002403885,0.0006012084,0.0003473994,0.003098518,0.003181027,0.00229388,0.0009317816,0.0003503858],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008502375,"about_ca_system_score_gemma":0.0003540547,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0007645794,"about_ca_topic_score_gemma":0.0009935962,"domain_scores_codex":[0.9994641,0.0001469673,0.00003435952,0.0001403552,0.00009826595,0.0001159255],"domain_scores_gemma":[0.9995475,0.0001449575,0.0001066292,0.00004616677,0.00004197371,0.0001127227],"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.0001482534,0.00004763593,0.0008559162,0.0000685414,0.00001180079,0.0003523515,0.001566147,0.0009200425,0.01083349,0.9797863,0.0003890556,0.005020365],"study_design_scores_gemma":[0.0001545796,0.0002367044,0.001419723,0.00004771522,0.00002941691,0.0005980759,0.002134406,0.007309115,0.0139561,0.9561853,0.01789472,0.00003403987],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7946281,0.0005988104,0.1392761,0.0009709231,0.00007690832,0.000142066,0.0002934942,0.0004810485,0.06353261],"genre_scores_gemma":[0.9634677,0.000146264,0.02797689,0.0001452937,0.00006438473,0.0001099234,0.0003297701,0.0000415531,0.007718219],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.003322055,"threshold_uncertainty_score":0.01111341,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03305867257580116,"score_gpt":0.2996571829116664,"score_spread":0.2665985103358653,"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."}}