{"id":"W2120203109","doi":"10.1023/a:1026744827863","title":"A Set Theory with Support for Partial Functions","year":2000,"lang":"en","type":"article","venue":"Studia Logica","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":23,"is_retracted":false,"has_abstract":false,"ca_institutions":"McMaster University","funders":"","keywords":"Computational linguistics; Mathematics; Linguistics; Philosophy","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.0003454202,0.0001210061,0.0001600314,0.00002537405,0.0002665677,0.00009192157,0.0003364263,0.0000454542,0.0003174551],"category_scores_gemma":[0.00001514675,0.00007545255,0.00006740654,0.0001906913,0.00006650278,0.0001273784,0.0000474596,0.00006317673,0.0003601147],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001446834,"about_ca_system_score_gemma":0.00007523828,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001069492,"about_ca_topic_score_gemma":0.00001701826,"domain_scores_codex":[0.9989923,0.00006085422,0.0001412172,0.0003412777,0.0001485122,0.0003158257],"domain_scores_gemma":[0.9993916,0.00008966162,0.00004506599,0.0003469067,0.00005313552,0.00007361099],"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.00009361216,0.0001486946,0.001478088,0.00001525494,0.0001057551,0.00003092354,0.00216408,0.00004409176,0.00001097288,0.9128996,0.01443071,0.06857828],"study_design_scores_gemma":[0.0008375739,0.00150875,0.001714181,0.000001781363,0.00003206329,0.00004338247,0.0003052198,0.0001853294,0.00004272288,0.03644136,0.9586132,0.0002744982],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.002967567,0.0001356038,0.837765,0.0004468295,0.0004858696,0.0008146385,0.000007803194,0.0004296033,0.1569471],"genre_scores_gemma":[0.9886197,0.000006517583,0.001763056,0.0002597417,0.0001894034,0.0002448371,0.000008412341,0.000006744574,0.008901576],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9856521,"threshold_uncertainty_score":0.4628667,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03266808631290268,"score_gpt":0.2589154110501019,"score_spread":0.2262473247371992,"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."}}