{"id":"W7036428435","doi":"","title":"Basic model theory of finitary and infinitary languages of first-order logic with dependent sorts (FOLDS)","year":2006,"lang":"en","type":"dissertation","venue":"eScholarship@McGill (McGill)","topic":"Freshwater macroinvertebrate diversity and ecology","field":"Environmental Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University; Library and Archives Canada","funders":"","keywords":"Finitary; Model theory; Unitary state; Transcendental number","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":true,"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.001130402,0.0006703776,0.0005536384,0.001191458,0.001182476,0.003652933,0.0015957,0.001482459,0.01423285],"category_scores_gemma":[0.001593657,0.0005193717,0.00203351,0.001337696,0.00330104,0.00747764,0.001600654,0.001869693,0.002164287],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0031855,"about_ca_system_score_gemma":0.001744896,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004853841,"about_ca_topic_score_gemma":0.00399633,"domain_scores_codex":[0.9994281,0.0001551024,0.00005590223,0.0001056386,0.000156373,0.00009884259],"domain_scores_gemma":[0.9994216,0.0002688766,0.00003925775,0.00009055977,0.0001275772,0.00005204588],"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.000005473592,0.000004387288,0.0000497267,0.00001696087,0.000002509418,0.00002491663,0.0001056234,0.0009864209,0.0001608148,0.9963013,0.0005723448,0.001769519],"study_design_scores_gemma":[0.000008575813,0.000009990368,0.00005411114,0.00001635255,0.000004769382,0.00005535501,0.00004634043,0.007885118,0.0002448715,0.980378,0.01129025,0.000006294948],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03190888,0.002306149,0.7888381,0.004809427,0.0003104555,0.0001575764,0.001393514,0.001337815,0.168938],"genre_scores_gemma":[0.6757883,0.001781463,0.2293635,0.001456794,0.0003948879,0.0005226205,0.001607538,0.0003841416,0.0887007],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01423285,"threshold_uncertainty_score":0.04761362,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.00979317895775383,"score_gpt":0.1915166485479595,"score_spread":0.1817234695902057,"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."}}