{"id":"W1924161485","doi":"10.1142/s0218196704001748","title":"DETERMINING WHETHER ${\\mathsf V}({\\bf A})$ HAS A MODEL COMPANION IS UNDECIDABLE","year":2004,"lang":"en","type":"article","venue":"International Journal of Algebra and Computation","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Undecidable problem; Mathematics; Variety (cybernetics); Class (philosophy); Algebra over a field; Discrete mathematics; Pure mathematics; Combinatorics; Decidability; Computer science","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.0001861831,0.0001278017,0.0001716147,0.0002137327,0.0001060103,0.0003360026,0.0005137777,0.0000496036,0.000005397049],"category_scores_gemma":[0.00002329574,0.0001120715,0.00008330504,0.0001235797,0.00005035643,0.001149694,0.000118995,0.0001538691,0.000009805704],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00009492644,"about_ca_system_score_gemma":0.0001431441,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000004397898,"about_ca_topic_score_gemma":0.000001537348,"domain_scores_codex":[0.998748,0.00002595889,0.0004084469,0.000186528,0.0004880035,0.0001430383],"domain_scores_gemma":[0.998989,0.00006489542,0.0003721508,0.00008950927,0.0003944945,0.00008993193],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00007088573,0.0003282946,0.001194113,0.00001639196,0.0002261926,0.0001947804,0.007915664,0.5817773,0.002784339,0.2234651,0.0004892665,0.1815376],"study_design_scores_gemma":[0.001436714,0.0001650973,0.002197131,0.00009783977,0.00001088977,0.0005537694,0.00008825016,0.4292016,0.001109928,0.5647756,0.0001989362,0.0001641505],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2670023,0.0001124948,0.729772,0.002462131,0.0003867013,0.00003965849,9.310222e-7,0.00002485713,0.0001988989],"genre_scores_gemma":[0.8894073,0.00003333409,0.1093554,0.001050801,0.0001197458,0.000001210694,0.000001409881,0.000007627611,0.00002313839],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.6224051,"threshold_uncertainty_score":0.4570142,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03398034821250422,"score_gpt":0.2914113694340271,"score_spread":0.2574310212215228,"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."}}