{"id":"W1831390059","doi":"10.1016/j.aim.2018.03.012","title":"Scott ranks of models of a theory","year":2018,"lang":"en","type":"preprint","venue":"Advances in Mathematics","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Countable set; Mathematics; Combinatorics; Omega; Bounded function; Rank (graph theory); Isomorphism (crystallography); Model theory; Discrete mathematics; Measure (data warehouse); Spectrum (functional analysis); Set theory; Set (abstract data type); Philosophy; Physics","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002717131,0.001069158,0.001698728,0.005945363,0.00379895,0.009461416,0.001558228,0.001859459,0.01615751],"category_scores_gemma":[0.01156861,0.001101093,0.001462543,0.003435276,0.005718715,0.01564052,0.005072564,0.004314952,0.001915256],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002283879,"about_ca_system_score_gemma":0.001400664,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00143645,"about_ca_topic_score_gemma":0.001910742,"domain_scores_codex":[0.9953967,0.001288524,0.0003214335,0.0006246712,0.00157966,0.000789093],"domain_scores_gemma":[0.9928675,0.003770689,0.0007049005,0.0007893036,0.0008375477,0.001030137],"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.00003918366,0.00001368771,0.0002612966,0.00002737812,0.000009783583,0.00003669587,0.0002029654,0.0004343512,0.000175507,0.9953499,0.0007071376,0.002742194],"study_design_scores_gemma":[0.00001198519,0.00001117289,0.0001367467,0.00001138848,0.000009881355,0.00003778718,0.00008069217,0.00163221,0.0001667932,0.9957685,0.002121897,0.00001099558],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.4317652,0.003041451,0.3486012,0.008796131,0.0009300933,0.0001362627,0.001641497,0.001621761,0.2034664],"genre_scores_gemma":[0.9625517,0.0006097424,0.01277321,0.000481876,0.0006709706,0.00008545709,0.0005423145,0.0001842241,0.02210059],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.01615751,"threshold_uncertainty_score":0.05405223,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02706178459283569,"score_gpt":0.2989693452877062,"score_spread":0.2719075606948705,"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."}}