{"id":"W1499331102","doi":"10.1142/s021906131850006x","title":"Omitting types in logic of metric structures","year":2018,"lang":"en","type":"preprint","venue":"Journal of Mathematical Logic","topic":"Advanced Topology and Set Theory","field":"Mathematics","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"York University","funders":"","keywords":"Countable set; Mathematics; Set (abstract data type); Set theory; Type (biology); Metric (unit); Discrete mathematics; Infinite set; Computer science","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.005217044,0.001049782,0.001472388,0.002537311,0.003361629,0.005177168,0.002279367,0.001693709,0.001901521],"category_scores_gemma":[0.01040673,0.00102695,0.002043184,0.003418873,0.009207826,0.01529312,0.005684153,0.006032696,0.0003856718],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.004162519,"about_ca_system_score_gemma":0.001560456,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001241187,"about_ca_topic_score_gemma":0.0009122494,"domain_scores_codex":[0.9928367,0.003075129,0.0005174526,0.000967772,0.001979588,0.0006233957],"domain_scores_gemma":[0.9927726,0.003873791,0.0008471949,0.001158982,0.0008871484,0.0004602645],"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.00002872898,0.000009355977,0.0004667786,0.00007784497,0.00001283813,0.00009334717,0.000471794,0.0008240044,0.000353993,0.993471,0.0004271315,0.003763104],"study_design_scores_gemma":[0.00001076624,0.00003304674,0.0002177819,0.00003884799,0.00002262231,0.0001618097,0.000137344,0.002674028,0.0005510876,0.990079,0.006060924,0.00001275853],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.234561,0.01635326,0.6732817,0.01032721,0.00134645,0.00009126682,0.0005685629,0.0006844427,0.0627861],"genre_scores_gemma":[0.9147515,0.003323798,0.07233539,0.001169702,0.0008979555,0.0001398337,0.0004389278,0.00022597,0.006716906],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005217044,"threshold_uncertainty_score":0.03020132,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.08096050138831734,"score_gpt":0.3796880900861431,"score_spread":0.2987275886978258,"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."}}