{"id":"W2096827029","doi":"10.1142/s1793042108001705","title":"UNDECIDABILITY OF FAMILIES OF RINGS OF TOTALLY REAL INTEGERS","year":2008,"lang":"en","type":"article","venue":"International Journal of Number Theory","topic":"Algebraic Geometry and Number Theory","field":"Mathematics","cited_by":6,"is_retracted":false,"has_abstract":true,"ca_institutions":"Royal College of Physicians and Surgeons of Canada; Mount Royal University","funders":"Tel Aviv University; Minerva Foundation; American Institute of Mathematics","keywords":"Mathematics; Undecidable problem; Integer (computer science); Ring (chemistry); Combinatorics; Order (exchange); Ring of integers; Group ring; Discrete mathematics; Pure mathematics; Group (periodic table); Algebraic number field","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":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.001629976,0.000141286,0.0005095637,0.0002185243,0.00002156332,0.000003725286,0.0006606786,0.00009112721,0.002009382],"category_scores_gemma":[0.001887316,0.0001184001,0.000372038,0.0001628597,0.000581384,0.000215757,0.000116196,0.0002285344,0.00000629764],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00007411974,"about_ca_system_score_gemma":0.0001604906,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003010031,"about_ca_topic_score_gemma":0.000003006925,"domain_scores_codex":[0.9975207,0.0002237137,0.001234117,0.0001093917,0.0007893204,0.0001226834],"domain_scores_gemma":[0.994657,0.002321651,0.001485411,0.0002295234,0.001243461,0.00006291806],"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.003246108,0.001619044,0.04188346,0.0002553161,0.001813996,0.00009452874,0.008547757,0.00005346107,0.01008029,0.9265733,0.002020067,0.003812614],"study_design_scores_gemma":[0.001010202,0.0001824647,0.01753018,0.000343475,0.00007278949,0.0005911633,0.002422563,0.000006385527,0.04879888,0.9287008,0.000207918,0.0001331917],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9596218,0.0000337133,0.002285594,0.00005358826,0.0004168324,0.00006069825,0.00006482029,0.000007430367,0.0374555],"genre_scores_gemma":[0.9956114,0.0001014869,0.003654315,0.00002206829,0.0001128114,0.000001093582,0.000002642928,0.00001602962,0.0004781521],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.03871859,"threshold_uncertainty_score":0.9989029,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03054806702177713,"score_gpt":0.3155135458909842,"score_spread":0.2849654788692071,"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."}}