{"id":"W2049735587","doi":"10.1023/a:1026564222011","title":"Sets and Classes as Many","year":2000,"lang":"en","type":"article","venue":"Journal of Philosophical Logic","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":false,"ca_institutions":"Western University","funders":"","keywords":"Set (abstract data type); Labelling; Computer science; Set theory; Class (philosophy); Theoretical computer science; Mathematics; Algebra over a field; Discrete mathematics; Artificial intelligence; Pure mathematics; Programming language; Biology","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.00020233,0.0001195041,0.000234042,0.00007537311,0.00008133027,0.00007269029,0.0005048481,0.00008147655,0.000223681],"category_scores_gemma":[0.00007044396,0.00008113439,0.00008814217,0.00017654,0.00008794669,0.0004840241,0.000073405,0.0003360242,0.00009030725],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001806292,"about_ca_system_score_gemma":0.00003542497,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":4.265136e-7,"about_ca_topic_score_gemma":1.039757e-7,"domain_scores_codex":[0.9989547,0.00006510194,0.0003219357,0.0001746692,0.00028883,0.0001948032],"domain_scores_gemma":[0.9992902,0.0001231604,0.0001396487,0.0001806498,0.00007001739,0.000196296],"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.00003891462,0.0001200639,0.0001673811,0.000008532973,0.00001969014,0.00068098,0.00006530232,0.0001172798,0.0004008819,0.9315221,0.0001964403,0.06666248],"study_design_scores_gemma":[0.0003449911,0.0005679019,0.002707978,0.00001805402,0.000007685874,0.001559479,0.000003310272,0.0005592805,0.00008029178,0.99028,0.003762154,0.0001088551],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7604781,0.003639446,0.04520182,0.1436025,0.0005786902,0.0001748702,0.00000192801,0.0001329095,0.04618978],"genre_scores_gemma":[0.9815034,0.0003562564,0.01450376,0.003253059,0.0002877813,5.996574e-7,1.292688e-7,0.000004694571,0.00009033542],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.2210253,"threshold_uncertainty_score":0.3308564,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0239217590449745,"score_gpt":0.2814064645425275,"score_spread":0.257484705497553,"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."}}