{"id":"W2798864197","doi":"10.1017/jsl.2020.64","title":"STATIONARY REFLECTION","year":2020,"lang":"en","type":"article","venue":"Journal of Symbolic Logic","topic":"Advanced Topology and Set Theory","field":"Mathematics","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Reflection (computer programming); Consistency (knowledge bases); Mathematics; Upper and lower bounds; Mathematical analysis; Computer science; Geometry","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.01281286,0.001030206,0.002929424,0.003140574,0.002742682,0.00561778,0.005615407,0.002920602,0.009731444],"category_scores_gemma":[0.06270158,0.001614356,0.003186758,0.001998634,0.009798253,0.01423059,0.0111362,0.009268841,0.001839269],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001664367,"about_ca_system_score_gemma":0.002071277,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001182567,"about_ca_topic_score_gemma":0.0009031998,"domain_scores_codex":[0.9828377,0.004668583,0.0009155703,0.004264078,0.004980313,0.002333912],"domain_scores_gemma":[0.9144796,0.0409815,0.004628252,0.02356835,0.01271444,0.00362791],"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.000856357,0.0001522934,0.005746612,0.0003671891,0.0001855578,0.0006960051,0.0009680825,0.01205582,0.01519152,0.9370957,0.003208809,0.02347621],"study_design_scores_gemma":[0.0001223604,0.0003113388,0.001402613,0.0001597838,0.0001826796,0.000730377,0.0004585013,0.07954776,0.01975802,0.8915712,0.005640026,0.0001153568],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2988385,0.0008769303,0.6397983,0.002574761,0.0007666014,0.0002107979,0.0004366176,0.002066236,0.05443129],"genre_scores_gemma":[0.9398577,0.0002059312,0.05282637,0.0007174919,0.000393912,0.0001142971,0.0003417002,0.0005021053,0.005040468],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01281286,"threshold_uncertainty_score":0.06776166,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.135059711700596,"score_gpt":0.3842291565934014,"score_spread":0.2491694448928054,"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."}}