{"id":"W2949332140","doi":"10.48550/arxiv.1203.1235","title":"Forcing consequences of PFA together with the continuum large","year":2012,"lang":"en","type":"preprint","venue":"arXiv (Cornell University)","topic":"Advanced Topology and Set Theory","field":"Mathematics","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Forcing (mathematics); Axiom; Mathematics; Pure mathematics; Class (philosophy); Computer science; Calculus (dental); Mathematical analysis; Geometry; Artificial intelligence","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.002953823,0.000497923,0.0007915738,0.001361016,0.002434674,0.002244029,0.001099318,0.0009910568,0.008791391],"category_scores_gemma":[0.005185783,0.0005767703,0.001561905,0.0005426074,0.00439547,0.006778616,0.005031124,0.00438408,0.001085043],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001022826,"about_ca_system_score_gemma":0.001241045,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0004650071,"about_ca_topic_score_gemma":0.0008803596,"domain_scores_codex":[0.9978654,0.0005523812,0.0001337282,0.0004796813,0.0007101271,0.0002587478],"domain_scores_gemma":[0.9957326,0.00197617,0.0002337474,0.0009651444,0.0006107794,0.0004815215],"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.00001773471,0.00001531476,0.0002892234,0.00001856994,0.000004771094,0.00008518079,0.0001525557,0.0008396017,0.001568064,0.9931311,0.0003150504,0.003562912],"study_design_scores_gemma":[0.00001611134,0.00003589631,0.0002915972,0.00001609009,0.00001063325,0.0001743962,0.00007559899,0.009225423,0.003679244,0.9802514,0.006205075,0.00001872204],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.09787831,0.0001957004,0.8236211,0.00118743,0.0002159107,0.0001237264,0.0002186137,0.0008172063,0.07574195],"genre_scores_gemma":[0.802523,0.0001273425,0.1814424,0.0004607022,0.0002037472,0.0002669938,0.000233805,0.0003150626,0.01442682],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.008791391,"threshold_uncertainty_score":0.02941012,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.09132361075451514,"score_gpt":0.229728424196146,"score_spread":0.1384048134416309,"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."}}