{"id":"W4293729083","doi":"10.2478/disp-2022-0003","title":"Higher-Order Skolem’s Paradoxes and the Practice of Mathematics: a Note","year":2022,"lang":"en","type":"article","venue":"Disputatio","topic":"Philosophy and History of Science","field":"Arts and Humanities","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Calgary","funders":"","keywords":"Generalizability theory; Order (exchange); Mathematical practice; Mathematics; Epistemology; Calculus (dental); Philosophy; Statistics; Economics","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.0002933544,0.00005150717,0.00009507657,0.00002852455,0.0005919622,0.00004174616,0.0001281296,0.000005230465,0.000755342],"category_scores_gemma":[0.00004110624,0.00003537127,0.00002763796,0.00003481915,0.0006843019,0.0001895928,0.00005129385,0.00007828341,0.00001130432],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001035969,"about_ca_system_score_gemma":0.00002007636,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001317201,"about_ca_topic_score_gemma":0.00002468617,"domain_scores_codex":[0.9994466,0.00005411063,0.0001326498,0.00008815002,0.000208024,0.00007048955],"domain_scores_gemma":[0.9994507,0.0002586815,0.0001264869,0.00009723676,0.00005045798,0.0000164563],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00002344373,0.00005819,0.000002509451,0.00001595882,0.000008979137,0.000001345006,0.1024928,0.00002844653,0.000005863339,0.8961486,0.0005985771,0.0006153062],"study_design_scores_gemma":[0.0005284309,0.00007411507,0.00005323553,0.000004973437,0.0000437263,0.000005131209,0.0262105,0.0005709543,0.000003184625,0.1638507,0.8085688,0.00008625035],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.05082727,0.003125156,0.0002575883,0.04223927,0.001707892,0.0005415668,0.0001277119,0.00007561085,0.901098],"genre_scores_gemma":[0.9960041,0.00001183227,0.0005195066,0.0009849749,0.0001245585,0.00003708786,0.000002553054,0.000005185478,0.002310225],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9451768,"threshold_uncertainty_score":0.8270465,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02187084511120652,"score_gpt":0.2473128817295287,"score_spread":0.2254420366183222,"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."}}