{"id":"W2053347360","doi":"10.1016/s0166-8641(98)00095-9","title":"Oxtoby's pseudocompleteness revisited","year":2000,"lang":"en","type":"article","venue":"Topology and its Applications","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Manitoba","funders":"","keywords":"Mathematics; Baire space; Baire category theorem; Baire measure; Unification; Property (philosophy); Inheritance (genetic algorithm); Class (philosophy); Relation (database); Pure mathematics; Discrete mathematics; Artificial intelligence; Computer science","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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00005023386,0.00006697393,0.00009135722,0.00002936601,0.0002231864,0.0000183138,0.000294767,0.00004628103,0.0002971975],"category_scores_gemma":[0.000004200528,0.00005910947,0.00001651902,0.0002054287,0.00005967681,0.0001416752,0.00004746233,0.0000688022,0.0003170893],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000004474831,"about_ca_system_score_gemma":0.000008978154,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000001994502,"about_ca_topic_score_gemma":8.842605e-7,"domain_scores_codex":[0.9994444,0.00002418714,0.0001025846,0.0002466247,0.00003728242,0.0001448963],"domain_scores_gemma":[0.9995525,0.00005566046,0.00002330024,0.0002910426,0.0000237271,0.00005371621],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.000001184121,0.00002061858,0.00003149479,0.000002874071,0.000002759489,7.430796e-7,0.00003783248,0.000007020323,0.0002039816,0.8794177,0.0001280411,0.1201457],"study_design_scores_gemma":[0.0003785146,0.0000667085,0.006135439,0.000004679065,0.000009782874,0.0001250065,0.00001475261,0.004237257,0.0005286526,0.3749165,0.6133237,0.0002590166],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.047138,0.002430913,0.8745977,0.0113333,0.00005614899,0.0007062591,0.000009111483,0.000502746,0.06322588],"genre_scores_gemma":[0.9856972,0.0005525465,0.009676186,0.001699198,0.00007346771,0.0001773329,0.000007252361,0.000004336383,0.002112504],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9385592,"threshold_uncertainty_score":0.4075647,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01398774349026535,"score_gpt":0.2636724377177124,"score_spread":0.2496846942274471,"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."}}