{"id":"W2955383720","doi":"10.3233/com-190289","title":"Degrees of bi-embeddable categoricity","year":2020,"lang":"en","type":"article","venue":"Computability","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Degree (music); Successor cardinal; Spectrum (functional analysis); Limit (mathematics); Turing; Set (abstract data type)","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.0009029175,0.0004330647,0.0004743908,0.002116908,0.001092544,0.003118964,0.0009995165,0.0008910639,0.005796717],"category_scores_gemma":[0.006501124,0.0004854352,0.0007403924,0.001143782,0.003286656,0.008901904,0.004046795,0.002277565,0.0004841517],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001369326,"about_ca_system_score_gemma":0.0003518721,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0007065891,"about_ca_topic_score_gemma":0.0007476553,"domain_scores_codex":[0.9984424,0.0001972896,0.0001116336,0.0004330629,0.0005527798,0.0002629436],"domain_scores_gemma":[0.993983,0.002788075,0.0008297267,0.0009113148,0.0006595881,0.0008283036],"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.0002067202,0.00007960666,0.008472817,0.0001855116,0.00004500673,0.000382966,0.00230023,0.01077176,0.01413027,0.9493333,0.0007225525,0.01336924],"study_design_scores_gemma":[0.00003713554,0.0001001379,0.004840965,0.00005404777,0.00004600266,0.0006184307,0.001300848,0.03368416,0.01206055,0.9419944,0.005202474,0.00006088035],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8781422,0.0003820566,0.1048848,0.0006317795,0.0000359006,0.00005638119,0.000386174,0.0003224568,0.01515813],"genre_scores_gemma":[0.9881788,0.00008752832,0.009258955,0.00004264118,0.00001936162,0.00002969417,0.0002091196,0.00003523547,0.002138725],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.005796717,"threshold_uncertainty_score":0.01939201,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04294599199195734,"score_gpt":0.2437251270631677,"score_spread":0.2007791350712104,"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."}}