{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001755747,0.0007623342,0.001084422,0.003216712,0.003779539,0.01131882,0.001467258,0.001775946,0.02027921],"category_scores_gemma":[0.00509789,0.0006314718,0.0008700888,0.003544276,0.01014324,0.02392025,0.004352613,0.004976276,0.002616384],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002103536,"about_ca_system_score_gemma":0.0007696691,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0009423915,"about_ca_topic_score_gemma":0.001013631,"domain_scores_codex":[0.9978704,0.000747951,0.0001664083,0.0004974068,0.0005414413,0.0001763222],"domain_scores_gemma":[0.9973139,0.001204494,0.0001973749,0.0006503079,0.0003631957,0.0002706851],"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.000002527083,0.000001966522,0.00002456872,0.000008128076,0.00000156443,0.000003246603,0.0001102479,0.00002537391,0.00001873338,0.9975483,0.0006149922,0.001640339],"study_design_scores_gemma":[0.000003695113,0.00000201619,0.00003519067,0.000007006056,0.00000423071,0.00003008468,0.0000983838,0.0001293086,0.0000377251,0.9848887,0.01476117,0.000002610714],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.05765561,0.02402552,0.2095072,0.03954105,0.004197856,0.0001076048,0.001171252,0.0007698569,0.6630241],"genre_scores_gemma":[0.8266801,0.006713225,0.04964854,0.003034566,0.002986117,0.0002764317,0.0006645351,0.0002564869,0.10974],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.02027921,"threshold_uncertainty_score":0.0678407,"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."}}