{"id":"W2610878223","doi":"10.1007/s11856-019-1886-2","title":"There are no P-points in Silver extensions","year":2019,"lang":"en","type":"preprint","venue":"Israel Journal of Mathematics","topic":"Advanced Topology and Set Theory","field":"Mathematics","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"Canada Research Chairs; University of Toronto","funders":"","keywords":"Ultrafilter; Extension (predicate logic); Forcing (mathematics); Construct (python library); Mathematics; Argument (complex analysis); Product (mathematics); Point (geometry); Property (philosophy); Combinatorics; Pure mathematics; Computer science; Mathematical analysis; Epistemology; Geometry; Philosophy","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.0009564643,0.001048945,0.001532197,0.002192543,0.003842223,0.004497148,0.001424408,0.002233771,0.009687668],"category_scores_gemma":[0.003195606,0.0009725421,0.001715125,0.001347857,0.005127865,0.009063208,0.004766971,0.00476978,0.001780322],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001033011,"about_ca_system_score_gemma":0.0004721376,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0006117714,"about_ca_topic_score_gemma":0.0008284205,"domain_scores_codex":[0.9991236,0.0001204764,0.00006358686,0.0002793666,0.0001846055,0.0002282604],"domain_scores_gemma":[0.9982573,0.0006197262,0.0002009785,0.0002654591,0.0002379864,0.0004184736],"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.0004044076,0.00006846124,0.001092519,0.00008700712,0.00003334091,0.0006630057,0.000543597,0.0003695012,0.002231441,0.987483,0.001373651,0.005650108],"study_design_scores_gemma":[0.00004902443,0.00003635922,0.0004469553,0.00002421113,0.00002484309,0.0003201609,0.0003800596,0.0008927276,0.0008381355,0.9947925,0.002181536,0.00001339359],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7281396,0.0007249968,0.07465398,0.002394549,0.0007291996,0.0000766369,0.0004198307,0.0006307802,0.1922304],"genre_scores_gemma":[0.9568562,0.0002682466,0.0117356,0.0003741009,0.0001743147,0.00007373617,0.0003288145,0.000175405,0.03001355],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.009687668,"threshold_uncertainty_score":0.03240848,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05420897922650328,"score_gpt":0.3397342230388629,"score_spread":0.2855252438123597,"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."}}