{"id":"W4399358029","doi":"10.1016/j.apal.2024.103484","title":"Around definable types in p-adically closed fields","year":2024,"lang":"en","type":"article","venue":"Annals of Pure and Applied Logic","topic":"Advanced Topology and Set Theory","field":"Mathematics","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"","funders":"Engineering and Physical Sciences Research Council; National Natural Science Foundation of China; Fields Institute for Research in Mathematical Sciences","keywords":"Mathematics; Pure mathematics; Discrete mathematics; 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.001699045,0.0006679247,0.0009062682,0.002641387,0.002950366,0.005054212,0.001273538,0.001384954,0.004929995],"category_scores_gemma":[0.003413999,0.0008512959,0.0009732929,0.002007467,0.005390802,0.01332944,0.003514578,0.003468569,0.0006483328],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001926069,"about_ca_system_score_gemma":0.0006285036,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0009016378,"about_ca_topic_score_gemma":0.0008213776,"domain_scores_codex":[0.9990138,0.0003027175,0.00007691207,0.0002499875,0.0001905328,0.0001660309],"domain_scores_gemma":[0.9979761,0.0009588686,0.0002571479,0.0002845195,0.0002701778,0.0002532213],"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.00004557573,0.000009577512,0.0001097743,0.00002039305,0.000004790901,0.00006057257,0.0001882459,0.0002401836,0.0002350767,0.9969668,0.0002100134,0.001909008],"study_design_scores_gemma":[0.00002381863,0.00001073059,0.0000516594,0.00001280755,0.000007968119,0.00006946946,0.0001147687,0.0004920375,0.0002671983,0.9968938,0.002051482,0.000004304939],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3532641,0.005835606,0.3925308,0.004355265,0.00151876,0.0001789661,0.0007325425,0.0008296188,0.2407544],"genre_scores_gemma":[0.9391466,0.001178577,0.03333982,0.000419117,0.0004482787,0.00009871631,0.0002525027,0.000142668,0.02497364],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005054212,"threshold_uncertainty_score":0.01649249,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07503355616375781,"score_gpt":0.3515309681905321,"score_spread":0.2764974120267742,"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."}}