{"id":"W623267829","doi":"10.1142/9013","title":"Notes on Forcing Axioms","year":2013,"lang":"en","type":"book","venue":"Lecture notes series, Institute For Mathematical Sciences","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":9,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Forcing (mathematics); Axiom; Mathematical economics; Mathematics; Computer science; Geometry; Mathematical analysis","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.001051372,0.0004085182,0.0005333064,0.001257232,0.001930051,0.002069992,0.0006417879,0.0009955415,0.03096774],"category_scores_gemma":[0.002177982,0.0003287804,0.0007003887,0.001270653,0.004047364,0.006233695,0.001501744,0.003106076,0.005173478],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002870091,"about_ca_system_score_gemma":0.001156147,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002626152,"about_ca_topic_score_gemma":0.002820017,"domain_scores_codex":[0.9995537,0.00009968262,0.00003363851,0.00008160235,0.0001881247,0.00004322191],"domain_scores_gemma":[0.9992496,0.0004497768,0.00002172199,0.0001081157,0.0001381589,0.00003260564],"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.000002839162,0.000002268933,0.00001329803,0.0000172805,7.765903e-7,0.00001237451,0.00008011892,0.00007798045,0.00006759867,0.9886172,0.007863353,0.003244886],"study_design_scores_gemma":[0.000004008683,0.000004793732,0.0001386691,0.00004614567,0.000001690205,0.0000553569,0.00007477863,0.0001855332,0.0001201145,0.842001,0.1573617,0.00000612833],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"methods","genre_scores_codex":[0.004552808,0.005071411,0.01939814,0.006517079,0.001530132,0.00003716265,0.0005847153,0.0001513477,0.9621572],"genre_scores_gemma":[0.3223913,0.01437338,0.03228198,0.009658981,0.004547005,0.0003415492,0.001805218,0.000415549,0.6141851],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.03096774,"threshold_uncertainty_score":0.1035974,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04155757746760199,"score_gpt":0.2703388827787761,"score_spread":0.2287813053111741,"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."}}