{"id":"W7132917202","doi":"","title":"Representation Theorems for Mereologies","year":2022,"lang":"","type":"dissertation","venue":"TSpace","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Extensional definition; Representation (politics); Mereology; Representation theorem; Conjecture; Set (abstract data type); Algebra over a field","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":["metaepi_narrow","insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0004555709,0.0004819058,0.0005757932,0.0002261347,0.0009411645,0.0002145652,0.001539426,0.0002333375,0.001251606],"category_scores_gemma":[0.000564069,0.0004838138,0.0003766507,0.000862394,0.0001127304,0.0004490911,0.0003336717,0.0004700252,0.00005668231],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001289929,"about_ca_system_score_gemma":0.0002330515,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00009246039,"about_ca_topic_score_gemma":0.00003576163,"domain_scores_codex":[0.9968072,0.0002442852,0.0004900453,0.00128339,0.000547435,0.0006276443],"domain_scores_gemma":[0.9969411,0.0009249726,0.0007138709,0.001070326,0.0002463238,0.0001033602],"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.0004138767,0.0001719833,0.0001170256,0.0002509635,0.0001474125,0.00002601504,0.06204383,0.005234768,0.002723867,0.7837608,0.003085021,0.1420244],"study_design_scores_gemma":[0.002284673,0.001953202,0.002823284,0.0001323728,0.0002984342,0.00004016613,0.1448168,0.05745783,0.02281349,0.6893219,0.0754922,0.002565554],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.05638917,0.005108817,0.8900083,0.002700599,0.00989591,0.003175127,0.00002616102,0.0006046618,0.03209122],"genre_scores_gemma":[0.7158216,0.001609839,0.07641288,0.0008821104,0.0008193088,0.00275924,0.002178086,0.00017274,0.1993442],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8135955,"threshold_uncertainty_score":0.9997613,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04970749076568156,"score_gpt":0.4076554078396519,"score_spread":0.3579479170739704,"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."}}