{"id":"W2963167591","doi":"10.1016/j.topol.2017.09.033","title":"PFA(S)[S] for the masses","year":2017,"lang":"en","type":"article","venue":"Topology and its Applications","topic":"Advanced Topology and Set Theory","field":"Mathematics","cited_by":4,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Mathematics; USable; Forcing (mathematics); Axiom; Wish; Tree (set theory); Calculus (dental); Mathematical economics; Combinatorics; Mathematical analysis; Geometry; Computer science; Sociology","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":["sts"],"consensus_categories":[],"category_scores_codex":[0.0001645961,0.00006116832,0.0000932141,0.00001146138,0.001685666,0.00001390206,0.0002496213,0.00008188753,0.00007279764],"category_scores_gemma":[0.0003096381,0.00004122759,0.00002630679,0.00001070752,0.0004019364,0.00005540671,0.00005801251,0.00008124138,0.00002001679],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000003259,"about_ca_system_score_gemma":0.00001062646,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000001955249,"about_ca_topic_score_gemma":0.00002093485,"domain_scores_codex":[0.9996281,0.00001497771,0.00008888839,0.0001265555,0.00001910368,0.0001223282],"domain_scores_gemma":[0.9982994,0.001134136,0.00008786202,0.0004219078,0.00003336159,0.00002336863],"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.000009096389,0.00001710246,0.00007072886,0.000008288226,0.00001873158,1.145629e-7,0.00006863727,2.537682e-7,0.00007143667,0.9930956,0.0008829781,0.005757051],"study_design_scores_gemma":[0.0001441751,0.0000140166,0.0004511864,0.000001102795,0.0000345218,0.000008689058,0.0001245081,0.00005711171,0.0004567713,0.8308271,0.1678344,0.00004647753],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03557955,0.004070804,0.8372059,0.06467362,0.0004783441,0.003113676,0.0001136873,0.0002217054,0.05454274],"genre_scores_gemma":[0.9854226,0.0003565085,0.005136169,0.0004021791,0.0001993288,0.0009629827,0.000003519396,0.00001048511,0.007506265],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.949843,"threshold_uncertainty_score":0.999614,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.08385954456224345,"score_gpt":0.4131691824844792,"score_spread":0.3293096379222358,"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."}}