{"id":"W4409203108","doi":"10.1017/jsl.2025.27","title":"HIGH DIMENSIONAL COUNTABLE COMPACTNESS AND ULTRAFILTERS","year":2025,"lang":"en","type":"article","venue":"Journal of Symbolic Logic","topic":"Advanced Materials and Mechanics","field":"Engineering","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"York University","funders":"","keywords":"Countable set; Compact space; Mathematics; Pure mathematics; Discrete mathematics","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.001011713,0.0002575665,0.0003882587,0.00119908,0.0007937166,0.001502972,0.0005249089,0.0005827931,0.002166924],"category_scores_gemma":[0.003081214,0.0002182633,0.0003851118,0.0005442789,0.003186142,0.003890452,0.002125064,0.0009961075,0.0001352612],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007599305,"about_ca_system_score_gemma":0.0001981162,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0004715792,"about_ca_topic_score_gemma":0.0003664999,"domain_scores_codex":[0.9992969,0.0002099228,0.00004804886,0.0001385811,0.0002087808,0.00009772508],"domain_scores_gemma":[0.9976278,0.001231756,0.0003187425,0.0002573444,0.0002860423,0.0002783523],"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.00004792327,0.00002225978,0.0015209,0.00005265018,0.00001360863,0.0001776517,0.0006189044,0.002348077,0.004839467,0.9859304,0.0002602361,0.004167803],"study_design_scores_gemma":[0.00002005398,0.0001325672,0.005246216,0.00005871324,0.00001608504,0.0006617006,0.0006486379,0.03390695,0.006667717,0.9467759,0.005826023,0.00003931257],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.822696,0.001279293,0.1516156,0.0006525748,0.00004756224,0.00002142443,0.0001253961,0.0001313653,0.02343087],"genre_scores_gemma":[0.9890785,0.0001392991,0.008961397,0.00005404073,0.00003189629,0.00002206235,0.00004317873,0.000006655392,0.001662935],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.002166924,"threshold_uncertainty_score":0.007249117,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.005389454022544315,"score_gpt":0.2153050431628279,"score_spread":0.2099155891402836,"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."}}