{"id":"W2209145560","doi":"10.1017/cbo9780511756306.013","title":"Multiverse set theory and absolutely undecidable propositions","year":2014,"lang":"en","type":"book-chapter","venue":"Cambridge University Press eBooks","topic":"Advanced Topology and Set Theory","field":"Mathematics","cited_by":24,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Universiteit van Amsterdam; York University","keywords":"Undecidable problem; Set (abstract data type); Mathematics; Computer science; Epistemology; Mathematical economics; Discrete mathematics; Philosophy; Programming language; Decidability","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002082672,0.0008170451,0.0005920404,0.0009313391,0.001781921,0.003925303,0.001204695,0.00151102,0.008153665],"category_scores_gemma":[0.003406127,0.0005768041,0.001010827,0.0008898642,0.008497805,0.008218111,0.001855293,0.005014394,0.001404192],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003902897,"about_ca_system_score_gemma":0.001394933,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001940863,"about_ca_topic_score_gemma":0.001748484,"domain_scores_codex":[0.9989583,0.000361291,0.00006024819,0.000213824,0.0002991157,0.0001071436],"domain_scores_gemma":[0.9978924,0.001540938,0.00007021544,0.0002197107,0.0002233705,0.00005339855],"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.000004000934,0.00000272955,0.00001787972,0.00002166373,0.000002348016,0.00001458589,0.00007513835,0.000215952,0.0000445149,0.9951473,0.002290556,0.00216339],"study_design_scores_gemma":[0.000002690452,0.000001899498,0.00002571883,0.00002170113,0.000001922924,0.00001960166,0.00002074921,0.0004857072,0.00008106062,0.9889274,0.01040938,0.000002268325],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.02493264,0.0274803,0.1958205,0.02031221,0.001767387,0.00006988759,0.0006751035,0.0005584887,0.7283835],"genre_scores_gemma":[0.7031986,0.01176926,0.0735546,0.003901799,0.001794142,0.0003148317,0.001148222,0.0003693587,0.2039492],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.008153665,"threshold_uncertainty_score":0.02831763,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03831415182221972,"score_gpt":0.2550636344372422,"score_spread":0.2167494826150224,"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."}}