{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow","scholarly_communication"],"consensus_categories":[],"category_scores_codex":[0.001112238,0.001016539,0.001242874,0.0003688753,0.001081657,0.00138954,0.004023498,0.000672858,0.0001753723],"category_scores_gemma":[0.002732093,0.0007057367,0.0005155075,0.0007608627,0.001845912,0.001526328,0.0009320763,0.0007073706,0.0003322889],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0004214337,"about_ca_system_score_gemma":0.00112785,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00006463573,"about_ca_topic_score_gemma":0.00020042,"domain_scores_codex":[0.9943657,0.00006790128,0.0009652984,0.001891326,0.001470478,0.001239304],"domain_scores_gemma":[0.9942128,0.003206347,0.0004849465,0.001421265,0.0003135532,0.0003610899],"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.000009608596,0.0001183182,0.000001216121,0.0004790349,0.00004458589,0.00001194103,0.0005188929,0.003395812,0.00003458293,0.9507834,0.001093345,0.04350927],"study_design_scores_gemma":[0.0002177185,0.001047985,0.000005464091,0.0004599431,0.00003950169,0.00009012313,0.000004021121,0.05545416,0.0008507264,0.8888065,0.05207428,0.0009495756],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00006414716,0.000258593,0.9370506,0.006071028,0.002112279,0.001947975,0.00005424734,0.0006168218,0.05182431],"genre_scores_gemma":[0.009875407,0.00004093847,0.9637428,0.002356138,0.00211416,0.0005718747,0.0001096449,0.000117941,0.02107112],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.06197688,"threshold_uncertainty_score":0.9996471,"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."}}