{"id":"W3091121767","doi":"10.1090/bproc/78","title":"Loeb extension and Loeb equivalence","year":2021,"lang":"en","type":"preprint","venue":"Proceedings of the American Mathematical Society Series B","topic":"Mathematical and Theoretical Analysis","field":"Mathematics","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Extension (predicate logic); Equivalence (formal languages); Algebra over a field; Mathematics; Pure mathematics; Computer science; Programming language","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.001313251,0.0003904694,0.0005323823,0.001231656,0.00160585,0.002367017,0.0005229134,0.001048328,0.009781197],"category_scores_gemma":[0.004739272,0.0002875852,0.0006740456,0.001080832,0.004679168,0.008841478,0.002413181,0.003633257,0.0007846903],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00102,"about_ca_system_score_gemma":0.0003706054,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0003975902,"about_ca_topic_score_gemma":0.0002585331,"domain_scores_codex":[0.9989612,0.0002846663,0.00004905609,0.0002677356,0.0002731503,0.000164121],"domain_scores_gemma":[0.9988343,0.0005047846,0.0001357872,0.0001588118,0.0002281334,0.0001381727],"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.000006935656,0.000006507788,0.0001173656,0.00001310799,0.000003771577,0.00002614213,0.0001246933,0.00009508308,0.0001121585,0.9953235,0.0009574327,0.003213343],"study_design_scores_gemma":[0.000002733106,0.000005845279,0.0001816085,0.000005296328,0.000002469417,0.00007004738,0.00005454136,0.0005646377,0.0001367197,0.9928862,0.006085852,0.000003973953],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.1772582,0.01525968,0.3460393,0.01588335,0.001192782,0.00008026176,0.0002975664,0.0003260284,0.4436629],"genre_scores_gemma":[0.9398529,0.002574632,0.02562168,0.001426934,0.001300884,0.00006414521,0.0002523564,0.0001015632,0.02880496],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.009781197,"threshold_uncertainty_score":0.0327214,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02477720358144931,"score_gpt":0.2816645209034997,"score_spread":0.2568873173220504,"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."}}