{"id":"W2014139076","doi":"10.1016/j.jalgebra.2014.02.027","title":"Infinite dimensional proper subspaces of computable vector spaces","year":2014,"lang":"en","type":"article","venue":"Journal of Algebra","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":8,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Linear subspace; Mathematics; Subspace topology; Vector space; Discrete mathematics; Halting problem; Turing machine; Combinatorics; Pure mathematics; Algorithm; Mathematical analysis; Computation","routes":{"ca_aff":true,"ca_fund":true,"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.001314424,0.0001963728,0.0005302784,0.0002523538,0.00008095398,0.0001479822,0.001104301,0.00007609095,0.00004847573],"category_scores_gemma":[0.0002547686,0.0001420682,0.0002030647,0.0004860595,0.0001356593,0.0006867645,0.000423615,0.0003009087,0.00001903559],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004854927,"about_ca_system_score_gemma":0.0001994328,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001955937,"about_ca_topic_score_gemma":0.000004899877,"domain_scores_codex":[0.9977005,0.0002293491,0.0007003724,0.0002570715,0.0008084393,0.0003042781],"domain_scores_gemma":[0.9974647,0.0005079397,0.0007240861,0.0004461532,0.00066698,0.000190144],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0007895894,0.007530194,0.1572896,0.001211753,0.001855562,0.0004637185,0.01583253,0.1365215,0.09107358,0.2903171,0.05428242,0.2428324],"study_design_scores_gemma":[0.004958951,0.006562426,0.2130777,0.0006573428,0.0001390179,0.001593839,0.0001466547,0.6093569,0.03467761,0.08633689,0.04094373,0.001548931],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.875217,0.000414116,0.119133,0.003241398,0.001281424,0.0001284853,0.000001388585,0.00004684037,0.00053641],"genre_scores_gemma":[0.9037104,0.000008502528,0.09570912,0.0001827147,0.0003119296,8.028629e-7,3.325283e-7,0.00001074079,0.0000654602],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.4728354,"threshold_uncertainty_score":0.5793374,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01173103183963514,"score_gpt":0.2234816384005497,"score_spread":0.2117506065609146,"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."}}