{"id":"W2314560663","doi":"10.1017/bsl.2015.2","title":"EXISTENTIAL-IMPORT MATHEMATICS","year":2015,"lang":"en","type":"article","venue":"Bulletin of Symbolic Logic","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Alberta","funders":"","keywords":"Predicate (mathematical logic); Existentialism; Mathematics; Combinatorics; Discrete mathematics; Philosophy; Computer science; Epistemology","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.001901455,0.0006041097,0.0005896074,0.00147053,0.001374923,0.00311013,0.0008230531,0.0007158236,0.007686604],"category_scores_gemma":[0.002701359,0.0003667164,0.001208587,0.0009359715,0.006584452,0.007202934,0.003203281,0.003219245,0.001225674],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002979154,"about_ca_system_score_gemma":0.0008645814,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001131421,"about_ca_topic_score_gemma":0.0008684989,"domain_scores_codex":[0.9984394,0.0003820152,0.0001451967,0.0003378179,0.0005129416,0.0001825651],"domain_scores_gemma":[0.9980258,0.0008839753,0.0001635461,0.0004140249,0.000413249,0.00009945519],"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.000003878653,0.000004422992,0.00007587008,0.0000283181,0.000004914729,0.00005872461,0.0001646329,0.0002246865,0.0002817505,0.9964885,0.0007612318,0.001903212],"study_design_scores_gemma":[0.000005896221,0.000006046924,0.0001044998,0.00001726444,0.000008683388,0.000104488,0.00006058986,0.001146002,0.0006376241,0.9808751,0.01702785,0.000005742468],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.07660914,0.005953057,0.3741466,0.009703416,0.0008044767,0.00008126573,0.0008368467,0.001038832,0.5308264],"genre_scores_gemma":[0.922511,0.002391708,0.0409417,0.001718813,0.0008215242,0.00008151353,0.0005702135,0.0001965573,0.03076714],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007686604,"threshold_uncertainty_score":0.02571428,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04302634368714552,"score_gpt":0.2582334533429406,"score_spread":0.215207109655795,"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."}}