{"id":"W2070821880","doi":"10.1016/j.apal.2011.08.002","title":"Cofinal types of ultrafilters","year":2011,"lang":"en","type":"article","venue":"Annals of Pure and Applied Logic","topic":"Advanced Topology and Set Theory","field":"Mathematics","cited_by":32,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Ultrafilter; Mathematics; Class (philosophy); Equivalence (formal languages); Tukey's range test; Counterexample; Combinatorics; Pure mathematics; Statistics; Computer science; Artificial intelligence","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":[],"consensus_categories":[],"category_scores_codex":[0.0001525867,0.00007073492,0.0001978175,0.00002960689,0.00002285938,7.205758e-7,0.00007615889,0.00006990488,0.0001592865],"category_scores_gemma":[0.00003014165,0.00005421814,0.00003383121,0.00004017035,0.0001989269,0.00002052557,0.00001944431,0.00006101232,0.000004676887],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":4.819723e-7,"about_ca_system_score_gemma":0.000005474836,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000001046974,"about_ca_topic_score_gemma":0.000001738335,"domain_scores_codex":[0.9995878,0.00001515779,0.0001547734,0.00009031649,0.00004624081,0.0001057594],"domain_scores_gemma":[0.9996256,0.0001022011,0.0001046173,0.000113789,0.00002776692,0.0000260895],"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.0001344591,0.00007739446,0.00008830267,0.00005908535,0.00003202696,0.000001610725,0.0007525216,9.976047e-7,0.002360677,0.9943487,0.0004495466,0.00169468],"study_design_scores_gemma":[0.0001187452,0.0001230937,0.0003825086,0.000008636462,0.00001681732,0.000003334734,0.0003626165,7.528022e-7,0.07409975,0.9246764,0.0001496653,0.00005764042],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8762546,0.0004288591,0.002708024,0.0001336492,0.00003903987,0.0001422922,0.00001283736,0.00002991828,0.1202507],"genre_scores_gemma":[0.9949741,0.00008176424,0.00456086,0.0002190304,0.00001404192,0.000003588118,0.000001392817,0.000005041726,0.0001401592],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.1201106,"threshold_uncertainty_score":0.2210952,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1596725945252372,"score_gpt":0.3416737533701869,"score_spread":0.1820011588449497,"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."}}