{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0004855165,0.0002252102,0.0003810422,0.00006349958,0.0001460274,0.000006930351,0.0004978971,0.0002580711,0.0002170524],"category_scores_gemma":[0.00007314682,0.0001590632,0.0001300801,0.0001201537,0.00074879,0.00009587074,0.0003596466,0.0005131944,0.00001541737],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004027944,"about_ca_system_score_gemma":0.00007975758,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002367258,"about_ca_topic_score_gemma":0.0002149466,"domain_scores_codex":[0.9989368,0.00021808,0.0001528507,0.0003219867,0.00005400461,0.0003162188],"domain_scores_gemma":[0.998183,0.0006186989,0.0003960255,0.0006351895,0.000110483,0.00005656651],"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.0001567903,0.00008214102,0.004106922,0.0001294148,0.0002308974,0.00004782091,0.001238522,0.0005585048,0.0001262163,0.9930039,0.0002904194,0.00002843773],"study_design_scores_gemma":[0.0006611506,0.00004840065,0.0001991275,0.0001580076,0.0004110105,0.00001182794,0.003080683,0.0002400965,0.002550913,0.9911806,0.001118407,0.0003397655],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8455494,0.0001584072,0.1401808,0.0001310076,0.0001962253,0.0003504118,0.00003954732,0.00007419315,0.01331996],"genre_scores_gemma":[0.9940165,0.00003706717,0.0007095408,0.00007010769,0.00005612741,0.000001186135,0.000004921399,0.00002267187,0.00508182],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.1484672,"threshold_uncertainty_score":0.6486408,"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."}}