{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaresearch"],"consensus_categories":[],"category_scores_codex":[0.00248955,0.0003212723,0.001526546,0.0005942825,0.0000367108,0.00001589584,0.0006985599,0.0006154323,0.0006846389],"category_scores_gemma":[0.009764117,0.0002133216,0.0003896113,0.0002507828,0.000370959,0.00006892402,0.0004113079,0.001363093,0.00001913787],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00008869837,"about_ca_system_score_gemma":0.000118017,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":6.947596e-7,"about_ca_topic_score_gemma":0.000001222717,"domain_scores_codex":[0.9968585,0.0003700505,0.001797783,0.0002257934,0.000437436,0.0003103719],"domain_scores_gemma":[0.9939587,0.003139425,0.002132534,0.0004277048,0.0002480177,0.00009367739],"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.0001695458,0.0004658691,0.0001793228,0.001670879,0.0002341971,0.0001449386,0.0007206471,0.0002498545,0.0001325609,0.9948298,0.0004030636,0.0007993046],"study_design_scores_gemma":[0.0003975421,0.0002356465,0.0001839456,0.0006019032,0.0001691939,0.0002103343,0.0002174785,0.0001915722,0.0007609383,0.9968224,0.00002040292,0.0001886453],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7846289,0.003476325,0.1861001,0.0007427387,0.001376985,0.0007404872,0.00002084944,0.0000625512,0.02285104],"genre_scores_gemma":[0.7555147,0.00008644713,0.2438384,0.00007777471,0.0003241846,0.000003490232,0.000001057468,0.00003100198,0.0001229859],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.05773827,"threshold_uncertainty_score":0.9985771,"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."}}