{"id":"W2111056284","doi":"10.1016/j.apal.2013.11.006","title":"Omitting types for infinitary<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" altimg=\"si1.gif\" overflow=\"scroll\"><mml:mo stretchy=\"false\">[</mml:mo><mml:mn>0</mml:mn><mml:mo>,</mml:mo><mml:mn>1</mml:mn><mml:mo stretchy=\"false\">]</mml:mo></mml:math>-valued logic","year":2013,"lang":"lv","type":"article","venue":"Annals of Pure and Applied Logic","topic":"Advanced Topology and Set Theory","field":"Mathematics","cited_by":15,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Finitary; Countable set; Mathematics; Separable space; Discrete mathematics; Quotient; Pure mathematics; Mathematical analysis","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.005915013,0.001545224,0.001155223,0.001827769,0.003177391,0.00723485,0.003196557,0.001827044,0.03415681],"category_scores_gemma":[0.01755996,0.001677791,0.002036953,0.002099882,0.003603891,0.01731466,0.00424262,0.007137509,0.01860544],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002315021,"about_ca_system_score_gemma":0.002223416,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001759305,"about_ca_topic_score_gemma":0.002984091,"domain_scores_codex":[0.9956921,0.001354443,0.0006769316,0.0007248384,0.001052752,0.0004989867],"domain_scores_gemma":[0.9892218,0.004408727,0.0004522439,0.003310439,0.002356347,0.0002504148],"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.0001312164,0.00002602653,0.0003439359,0.0003064291,0.00001640901,0.0002418424,0.0005987161,0.0005078697,0.001327934,0.9341355,0.03400988,0.02835412],"study_design_scores_gemma":[0.00004445455,0.00003297337,0.0002210058,0.0002563712,0.0000600333,0.000570611,0.0002713572,0.004118618,0.008112191,0.6665876,0.3196568,0.00006786297],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.008034651,0.001187554,0.8422709,0.00340048,0.006607504,0.0001479976,0.003523012,0.006949049,0.1278789],"genre_scores_gemma":[0.2902155,0.002212535,0.5065764,0.003733251,0.00220658,0.0006118801,0.007837164,0.01437272,0.172234],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.03415681,"threshold_uncertainty_score":0.1142659,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03643875998669305,"score_gpt":0.2794287398301802,"score_spread":0.2429899798434871,"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."}}