{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.000111739,0.00007862718,0.0002162789,0.00006616209,0.0000294063,0.00002014217,0.00006160764,0.00003916213,0.00003204067],"category_scores_gemma":[0.00001283112,0.00006001188,0.00002606866,0.00006347502,0.00001543618,0.0001010393,0.00001276127,0.00009244836,0.000002070444],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003551425,"about_ca_system_score_gemma":0.00001824052,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000002882754,"about_ca_topic_score_gemma":5.964872e-7,"domain_scores_codex":[0.9995415,0.000007944544,0.0002082864,0.00004395255,0.0000818908,0.0001164047],"domain_scores_gemma":[0.9997711,0.00003036673,0.00004905254,0.00005295482,0.00004820627,0.00004829016],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"bench_or_experimental","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.0001124404,0.00008785006,0.0002103488,0.0003528531,0.00024267,0.00009232757,0.0002043281,0.141247,0.7598262,0.08402282,0.007925729,0.005675453],"study_design_scores_gemma":[0.0102651,0.0007968608,0.01868879,0.001806604,0.0005502792,0.001975002,0.0008632185,0.02276408,0.5284823,0.3565141,0.05568077,0.001612851],"study_design_candidate":"bench_or_experimental","study_design_consensus":"bench_or_experimental","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9865363,0.001098984,0.009969883,0.0001444316,0.001550555,0.00004275668,0.000005458772,0.00002920212,0.0006223874],"genre_scores_gemma":[0.9973799,0.0003523026,0.00191085,0.000194443,0.00008294809,6.326468e-7,8.077558e-7,0.000006874505,0.00007124757],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.2724913,"threshold_uncertainty_score":0.2447213,"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."}}