{"id":"W2176914256","doi":"10.5539/jmr.v7n4p137","title":"An Embedding into a Substructure of the r.e. Turing Degrees","year":2015,"lang":"en","type":"article","venue":"Journal of Mathematics Research","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Mathematics; Embedding; Combinatorics; Turing; Substructure; Lattice (music); Discrete mathematics; Computer science; Artificial intelligence","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":true,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.006966086,0.0001095796,0.0003001174,0.0002903429,0.0001271097,0.0002138624,0.003197514,0.00007246966,0.000007991119],"category_scores_gemma":[0.001442399,0.00006437371,0.0001272265,0.0007274842,0.0001778366,0.000477499,0.0008486936,0.0006991908,0.000003761773],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001788827,"about_ca_system_score_gemma":0.0004337346,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001885679,"about_ca_topic_score_gemma":0.00001574188,"domain_scores_codex":[0.9964095,0.0004342377,0.0006129477,0.0001597556,0.002077026,0.0003065564],"domain_scores_gemma":[0.9963417,0.0006070173,0.0003702383,0.0008806775,0.001566743,0.000233611],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"qualitative","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0001558472,0.005730708,0.02670134,0.003162881,0.0006242274,0.0005463644,0.3873134,0.1336806,0.07686302,0.1687343,0.007259856,0.1892275],"study_design_scores_gemma":[0.0005237875,0.000472998,0.003009539,0.0002530743,0.000009686605,0.0005527941,0.003090234,0.569748,0.01414088,0.4078724,0.0001729816,0.0001535975],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8084183,0.0002358021,0.1898425,0.000670113,0.0003458029,0.0001519574,4.252203e-7,0.00001429541,0.0003207692],"genre_scores_gemma":[0.6993374,0.000004730068,0.3004986,0.000006051176,0.0001253323,9.32694e-7,3.104154e-8,0.000007557261,0.00001940013],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.4360674,"threshold_uncertainty_score":0.594183,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1623023943485037,"score_gpt":0.4290372230338224,"score_spread":0.2667348286853187,"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."}}