{"id":"W4247058261","doi":"10.4171/owr/2014/02","title":"Set Theory","year":2014,"lang":"en","type":"article","venue":"Oberwolfach Reports","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"York University","funders":"","keywords":"Set theory; Forcing (mathematics); Set (abstract data type); Universal set; Selection (genetic algorithm); Computer science; Mathematics; Mathematical economics; Artificial intelligence; Programming language","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.001495749,0.0006526224,0.000870825,0.001341038,0.002198474,0.004681058,0.001052976,0.001107957,0.02565263],"category_scores_gemma":[0.002125016,0.0004009043,0.00102417,0.001504741,0.003716731,0.005199254,0.002491805,0.004024232,0.006570032],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002872203,"about_ca_system_score_gemma":0.0008581448,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001038604,"about_ca_topic_score_gemma":0.001194132,"domain_scores_codex":[0.9985794,0.0004330984,0.00008824423,0.0003707419,0.0004224854,0.0001060926],"domain_scores_gemma":[0.9990631,0.0004328571,0.00003402533,0.0001990612,0.0001905888,0.00008042224],"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.000006411032,0.000004114832,0.00005003272,0.00005296456,0.000006185312,0.00001363146,0.00009526232,0.0001476351,0.0001365389,0.9624528,0.02465283,0.01238146],"study_design_scores_gemma":[0.000004596771,0.000007132116,0.0001046238,0.00003905315,0.000003901017,0.00006893668,0.00004761112,0.0003668656,0.0001474503,0.7874192,0.2117854,0.000005208179],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.005826775,0.06173408,0.134931,0.03007989,0.006558295,0.00008900799,0.001652787,0.0005533934,0.7585747],"genre_scores_gemma":[0.4249909,0.04186976,0.1003013,0.01408634,0.01300892,0.0004533311,0.003836734,0.0007000976,0.4007527],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.02565263,"threshold_uncertainty_score":0,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01116804140802554,"score_gpt":0.2309009964670829,"score_spread":0.2197329550590574,"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."}}