{"id":"W4413813760","doi":"10.4171/owr/2025/2","title":"Set Theory","year":2025,"lang":"en","type":"article","venue":"Oberwolfach Reports","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"York University","funders":"","keywords":"Forcing (mathematics); Set (abstract data type); Set theory; Universal set; Field (mathematics); Mathematics; Computer science; Algebra over a field; Pure 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.001781938,0.0008278775,0.001163211,0.002757009,0.003038393,0.006544028,0.001523981,0.001483331,0.02504683],"category_scores_gemma":[0.003374341,0.000424445,0.001095896,0.002427101,0.00692664,0.006830777,0.003658576,0.00379845,0.00868225],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003520525,"about_ca_system_score_gemma":0.001119928,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001834798,"about_ca_topic_score_gemma":0.001229134,"domain_scores_codex":[0.9973354,0.0006424371,0.0002201672,0.0007742527,0.0008500714,0.0001776905],"domain_scores_gemma":[0.998421,0.0006867921,0.00008805975,0.0003351933,0.0003646736,0.0001042549],"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.000003741957,0.000003532507,0.00005803901,0.00004804862,0.000005201891,0.00001926416,0.000102654,0.0001618335,0.00007653671,0.9826621,0.007072265,0.009786778],"study_design_scores_gemma":[0.000004290725,0.000006710291,0.0001218528,0.00006103689,0.000004424952,0.0001082707,0.00005672409,0.0004399646,0.0001537957,0.8253332,0.1737021,0.000007689557],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.006115186,0.04384414,0.1930874,0.01687897,0.002988882,0.0001552798,0.002320638,0.0006184913,0.7339911],"genre_scores_gemma":[0.5263543,0.04175024,0.165852,0.01073915,0.007727714,0.0006879726,0.005652676,0.0005840674,0.2406518],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.02504683,"threshold_uncertainty_score":0,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01177603001502554,"score_gpt":0.2620725169809206,"score_spread":0.2502964869658951,"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."}}