{"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":"codex-gemma-dda1882f352a","candidate_categories":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.000743238,0.0002496673,0.0004170919,0.0001276932,0.0001631464,0.00002449085,0.0002513617,0.0001968211,0.0003963181],"category_scores_gemma":[0.0006134385,0.0001897382,0.0001404045,0.0002729651,0.0002294792,0.00007172184,0.00002934196,0.0003017457,0.0111585],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003022003,"about_ca_system_score_gemma":0.00001757211,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":1.450946e-7,"about_ca_topic_score_gemma":0.000001474012,"domain_scores_codex":[0.9983159,0.0001761394,0.0003970733,0.000332241,0.0002783499,0.0005003124],"domain_scores_gemma":[0.9970502,0.002215859,0.00009765068,0.0004746966,0.00004055269,0.0001210979],"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.00006166145,0.0001917488,0.0000029876,0.0001025661,0.00003126278,0.0001003779,0.0007500946,0.00000391605,0.001699466,0.9865311,0.003692781,0.006832039],"study_design_scores_gemma":[0.0002932472,0.0007833809,0.0000407914,0.00005795512,0.00003090557,0.00003824107,0.0004297817,0.0005248837,0.002422885,0.9949318,0.0002198292,0.0002263319],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8895639,0.00002334833,0.04991554,0.001895749,0.0003700524,0.0005257425,0.00002204318,0.001480969,0.05620264],"genre_scores_gemma":[0.9932807,0.000004709055,0.004476667,0.0004715963,0.0001582205,0.00007547371,0.00001173011,0.00004867082,0.001472252],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.1037168,"threshold_uncertainty_score":0.9896114,"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."}}