{"id":"W907704857","doi":"10.1007/978-3-319-16655-1_8","title":"A Remark on a Relational Version of Robinson’s Arithmetic Q","year":2015,"lang":"en","type":"book-chapter","venue":"Boston studies in the philosophy of science","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Arithmetic; Simple (philosophy); Interpretation (philosophy); Mathematics; Computer science; Philosophy; Epistemology; Linguistics","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.002685316,0.0005418729,0.000702317,0.001035585,0.00282206,0.003999894,0.001612854,0.002520922,0.02784494],"category_scores_gemma":[0.006380985,0.000501241,0.001138003,0.00104492,0.0118474,0.01097488,0.00248238,0.005841254,0.005284549],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001798842,"about_ca_system_score_gemma":0.0009206386,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004251364,"about_ca_topic_score_gemma":0.00205375,"domain_scores_codex":[0.9979903,0.000694345,0.00009909717,0.0006075805,0.0004470029,0.0001617582],"domain_scores_gemma":[0.9981239,0.001074537,0.00007191149,0.0003402511,0.0003345103,0.00005489689],"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.000003673727,0.000001424639,0.00001091824,0.00001044669,0.000001713284,0.000009520239,0.0001359523,0.0000246726,0.00005179553,0.9963726,0.002419877,0.0009575383],"study_design_scores_gemma":[0.00001250279,0.00001047929,0.0001169733,0.00002114873,0.00000535818,0.00006909112,0.00007992598,0.0001757494,0.0001326376,0.9416129,0.05775238,0.00001086005],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.01044889,0.007664139,0.1121191,0.04343667,0.00441415,0.00004476564,0.0005814029,0.0004272555,0.8208637],"genre_scores_gemma":[0.6130612,0.006073474,0.06690676,0.02899515,0.008851009,0.0003151312,0.0004739843,0.000655369,0.2746679],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.02784494,"threshold_uncertainty_score":0.09315062,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1320174039024006,"score_gpt":0.3242946798486808,"score_spread":0.1922772759462801,"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."}}