{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.008007186,0.0007970816,0.001370645,0.002319571,0.003800394,0.006317214,0.003617874,0.002629071,0.003103546],"category_scores_gemma":[0.03054631,0.001462414,0.002826039,0.001543485,0.006899325,0.0125089,0.003160205,0.00440113,0.0002907238],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.005213697,"about_ca_system_score_gemma":0.004508376,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005450019,"about_ca_topic_score_gemma":0.003328204,"domain_scores_codex":[0.9933862,0.001653408,0.0005385976,0.001637173,0.001664604,0.001119984],"domain_scores_gemma":[0.9145441,0.07061694,0.00411175,0.003508996,0.004394655,0.002823581],"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.001202854,0.0004960878,0.01823608,0.0008425394,0.0003812395,0.001611491,0.003880219,0.06887316,0.005033377,0.8550738,0.008562968,0.03580616],"study_design_scores_gemma":[0.0003006858,0.0001238407,0.001896145,0.0001171421,0.0002153891,0.0007282906,0.001078488,0.08007391,0.007121176,0.9014704,0.006769344,0.0001051299],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8316429,0.001859753,0.1394625,0.00930893,0.0001611479,0.00022641,0.002202669,0.001680882,0.01345476],"genre_scores_gemma":[0.9598283,0.0007687061,0.03135561,0.0008813007,0.000222016,0.0002114254,0.002736196,0.0001629279,0.003833621],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.008007186,"threshold_uncertainty_score":0.04234654,"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."}}