{"id":"W1524602408","doi":"10.1007/3-540-45554-x_11","title":"Approximation Spaces of Type-Free Sets","year":2001,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Advanced Topology and Set Theory","field":"Mathematics","cited_by":9,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Type (biology); Domain (mathematical analysis); Universe; Space (punctuation); Combinatorics; Mathematics; Relation (database); Discrete mathematics; Physics; Computer science; Mathematical analysis; Quantum mechanics","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.0007796754,0.0005211344,0.0006999082,0.001511544,0.001018371,0.003263869,0.001132635,0.0005856686,0.005462162],"category_scores_gemma":[0.002421864,0.0004563388,0.0008349976,0.001977092,0.002077201,0.005747082,0.001843468,0.003419749,0.000835105],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001191608,"about_ca_system_score_gemma":0.0004097176,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0005318408,"about_ca_topic_score_gemma":0.000417495,"domain_scores_codex":[0.9992123,0.0001861238,0.0000410496,0.0001139791,0.0003733485,0.00007321192],"domain_scores_gemma":[0.9990183,0.0005123315,0.00005689254,0.0001794404,0.0001380326,0.00009489947],"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.00001557011,0.000005949353,0.00005447532,0.00002952983,0.000005834349,0.00001294585,0.0001158161,0.0007796924,0.000275107,0.9884293,0.001123966,0.009151777],"study_design_scores_gemma":[0.000005604933,0.00001191083,0.0001063322,0.000011785,0.000007181292,0.00008771529,0.00006824866,0.003430719,0.0003234934,0.9855347,0.01040708,0.000005235344],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1091586,0.01116656,0.5994946,0.002328396,0.0009890363,0.00007834563,0.0006163502,0.0006358504,0.2755324],"genre_scores_gemma":[0.797304,0.00657873,0.0957557,0.0004024374,0.0009073013,0.0001893234,0.0009384984,0.0002161795,0.09770789],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005462162,"threshold_uncertainty_score":0.01827276,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0309637209609463,"score_gpt":0.2967711236019178,"score_spread":0.2658074026409715,"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."}}