{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002993972,0.0007318388,0.001662593,0.001898645,0.003338368,0.003537758,0.001470947,0.002263694,0.01783188],"category_scores_gemma":[0.007543759,0.000696232,0.001058028,0.002473017,0.01047171,0.0211053,0.004566486,0.006416163,0.00115892],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001859329,"about_ca_system_score_gemma":0.001272565,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001357961,"about_ca_topic_score_gemma":0.00115709,"domain_scores_codex":[0.9984614,0.0005303996,0.00009556019,0.0003660096,0.000387346,0.0001593985],"domain_scores_gemma":[0.9955162,0.002620626,0.0002151488,0.0007735498,0.0005986349,0.0002758135],"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.00001172061,0.000003585961,0.00002476809,0.00001831802,0.000002137038,0.00001498324,0.00007940655,0.00008163354,0.00003982787,0.9966304,0.00128086,0.001812406],"study_design_scores_gemma":[0.000007968762,0.000005328354,0.00005639153,0.000007541405,0.000002946702,0.00003719334,0.0000539243,0.0003470013,0.00007797781,0.9947526,0.004646584,0.000004419239],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.1097706,0.009970402,0.2341211,0.0481215,0.003406149,0.0001052284,0.0009704049,0.0004999181,0.5930347],"genre_scores_gemma":[0.864912,0.005246113,0.03662752,0.004773074,0.002536657,0.000167036,0.0004514128,0.0003596215,0.08492656],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01783188,"threshold_uncertainty_score":0.05965364,"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."}}