{"id":"W4379010621","doi":"10.1002/malq.202200021","title":"Cofinal types on ω<sub>2</sub>","year":2023,"lang":"en","type":"article","venue":"Mathematical logic quarterly","topic":"Advanced Topology and Set Theory","field":"Mathematics","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"Science Fund of the Republic of Serbia","keywords":"Successor cardinal; Mathematics; Cofinality; Class (philosophy); Simple (philosophy); Type (biology); Discrete mathematics; Countable set; Uncountable set; Computer science; Artificial intelligence; Mathematical analysis; Epistemology","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.001188281,0.0002899313,0.0006215812,0.00195276,0.001854597,0.003392816,0.0005628424,0.0004904037,0.004267969],"category_scores_gemma":[0.002632309,0.0004255644,0.0005466127,0.001134855,0.002740314,0.002748844,0.001329051,0.001206967,0.0005601184],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001974563,"about_ca_system_score_gemma":0.0007175574,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002101264,"about_ca_topic_score_gemma":0.00273122,"domain_scores_codex":[0.9988241,0.0002066974,0.00009019251,0.0002280316,0.000390088,0.0002609568],"domain_scores_gemma":[0.9967213,0.001276708,0.0004635057,0.0004706793,0.0006969761,0.0003707887],"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.0001912836,0.00002907601,0.003875937,0.0000535801,0.00001676548,0.0001796951,0.001057619,0.001384123,0.004006406,0.9818109,0.0006944379,0.006700286],"study_design_scores_gemma":[0.00005135567,0.00009994292,0.008087849,0.00007542462,0.00005547336,0.0009781717,0.001844779,0.009176791,0.01767765,0.9190928,0.04279544,0.00006426907],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8075573,0.0007765687,0.1269548,0.0002898632,0.0001427274,0.00006084703,0.0004217273,0.0004007911,0.0633952],"genre_scores_gemma":[0.9778986,0.0001361666,0.01079428,0.00008155155,0.00006591662,0.00003904443,0.0002615692,0.00007080944,0.01065208],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.004267969,"threshold_uncertainty_score":0.01432657,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04692441027446455,"score_gpt":0.3196051752839065,"score_spread":0.272680765009442,"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."}}