{"id":"W4411345232","doi":"10.28924/2291-8639-23-2025-145","title":"On the Discrete Extension and Neighborhood Assignments","year":2025,"lang":"en","type":"article","venue":"International Journal of Analysis and Applications","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Mathematics; Extension (predicate logic); Pure mathematics; Algebra over a field; Calculus (dental); Computer science; Medicine; Programming language","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":true,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0001497918,0.00004752771,0.00008775236,0.0001838154,0.00009295299,0.0001104992,0.0003570155,0.00001376771,0.00000740792],"category_scores_gemma":[0.00002759829,0.00002763499,0.0000642283,0.000321869,0.00003184647,0.0001234435,0.00008956304,0.00007401688,0.000001132318],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001324466,"about_ca_system_score_gemma":0.00001354091,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000001596268,"about_ca_topic_score_gemma":0.000001249986,"domain_scores_codex":[0.9994746,0.00002176041,0.0001731918,0.0001100082,0.0001757081,0.00004473092],"domain_scores_gemma":[0.9993765,0.0001795418,0.0001401849,0.0001344749,0.0001405559,0.00002878933],"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.000003983434,0.00003283858,0.001489522,4.638703e-7,0.0003546416,0.000001523748,0.00002717983,0.0002539242,0.0003650511,0.954968,0.0001096906,0.04239322],"study_design_scores_gemma":[0.0003702788,0.00006017381,0.09282558,0.00003252433,0.0002838688,0.00001910712,0.000100679,0.03046149,0.00055689,0.869134,0.006047574,0.0001078086],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.011226,0.0001803779,0.9782416,0.009028342,0.00004156143,0.00003933286,0.000001531017,0.00000418229,0.001237077],"genre_scores_gemma":[0.9969206,0.0001837946,0.001834638,0.0009120672,0.00003353621,0.000005775854,8.590031e-7,9.262959e-7,0.0001078148],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9856946,"threshold_uncertainty_score":0.1126922,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.007268531354564154,"score_gpt":0.2816971610908978,"score_spread":0.2744286297363336,"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."}}